Jonathan Bowen

Životopis

Narození	14. března 1956 Oxford
Státní příslušnost	britský
Výcvik	Dragon School University College Bryanston School
Činnosti	Počítačový vědec , inženýr , spisovatel
Táto	Humphrey Bowen ( v )

Jiná informace

Pracoval pro	University College London , Silicon Graphics , Oxford Instruments , Marconi Instruments , Altran Praxis ( in ) , Oxford University , UCE Birmingham , South Bank University of London , Imperial College London , King's College London , University of Reading
Ovlivněno	Archivy a muzejní informatika ( in )
Ocenění	Člen Královské společnosti umění Člen Britské počítačové společnosti Liveryman ( en )

Primární práce

Le Guide de Turing ( d ) , Muzea a digitální kultura ( d ) , Digitální technologie a zážitky z muzeí ( d ) , Směrem k ověřeným systémům ( d ) , Aplikace formálních metod ( d )

Jonathan P. Bowen FBCS FRSA (narozen 1956 ) je britský počítačový vědec a profesor výpočtů na London South Bank University, kde řídí Centrum aplikovaných formálních metod v Ústavu pro výpočetní výzkum.

Bowen byl vzděláván na Dragon School v Oxfordu , Bryanston School a University College v Oxford University . Je držitelem magisterského stupně ve strojírenství z University of Oxford . Mezi jeho zájmy patří formální metody ( softwarové inženýrství ), systémy kritické z hlediska bezpečnosti, notace Z , „prokazatelně správné systémy“, dekompilace, hardwarová kompilace, kódový znak hardware / software, historie výpočtů a online muzea.

V druhé oblasti byl odpovědný, v roce 1994 založil Bowen stránky muzeí virtuální knihovny (VLmp), online adresář muzeí podporovaný Mezinárodní radou muzeí (ICOM). Ve stejném roce také založil Virtual Museum of Computing, jedno z prvních virtuálních muzeí. V roce 2002 založil Museophile Limited na pomoc muzeím, zejména online.

Od 70. let se Bowen angažuje v oblasti výpočetní a elektronické technologie v průmyslu (Oxford Instruments, Marconi Instruments, Logica a Silicon Graphics ) a na akademické půdě. V letech 1979 až 1984 pracoval na Imperial College of London jako asistent výzkumného pracovníka, nedávno mezirezortního laboratorního mikroprocesoru Wolfson. Poté působil jako vedoucí výzkumný pracovník na Oxford University Computing Laboratory Programming Research Group, kde pracoval pod vedením CAR Hoare , Royal Society . V letech 1995 až 2000 Bowen přednášel na Katedře výpočetní techniky na University of Reading, kde vedl skupiny Methods a Formal Methods and Software Engineering Group.

Bowen byl mnoho let předsedou uživatelské skupiny Z. V roce 2001 byl oceněn Bowen svobody ctihodné společnosti informačních technologů, na 100 -tého livrej společnosti v hlavním městě Londýně . V roce 2002 byl Bowen zvolen prezidentem britské počítačové společnosti FACS Computer Group pro formální aspekty výpočetní vědy a členem Královské společnosti umění. V roce 2004 se stal členem Britské počítačové společnosti.

Vybrané knihy

Bowen, JP, editor, Směrem k ověřeným systémům . Elsevier Science, řada bezpečnostních kritických systémů v reálném čase, svazek 2, 1994. ( ISBN 0-444-89901-4 ) .
Hinchey, MG a Bowen, JP, redaktoři, Aplikace formálních metod . Prentice Hall International Series in Computer Science, 1995. ( ISBN 0-13-366949-1 ) .
Bowen, JP, Formální specifikace a dokumentace pomocí Z: Přístup k případové studii . International Thomson Computer Press, International Thomson Publishing , 1996. ( ISBN 1-85032-230-9 ) .
Bowen, JP a Hinchey, MG, redaktoři, specifikace a design systému s vysokou integritou . Springer-Verlag , London, FACIT series, 1999. ( ISBN 3-540-76226-4 ) .
Hinchey, MG a Bowen, JP, redaktoři, Průmyslové formální metody v praxi . Springer-Verlag, London, FACIT series, 1999. ( ISBN 1-85233-640-4 ) .
Hierons, R., Bowen, JP a Harman, M. , redaktoři, Formální metody a testování . Springer-Verlag, LNCS , svazek 4949, 2008. ( ISBN 978-3-540-78916-1 ) .
Börger, E. , Butler, pan Bowen, JP a Boca, P., editoři, Abstract State Machines, B a Z . Springer-Verlag, LNCS, svazek 5238, 2008. ( ISBN 978-3-540-87602-1 ) .
Boca, PP, Bowen, JP a Siddiqi, JI , redaktoři, Formal Methods: State of the Art a New Directions . Springer, 2010. ( ISBN 978-1-84882-735-6 ) , e- ( ISBN 978-1-84882-736-3 ) , DOI : 10,1007 / 978-1-84882-736-3 .
Bowen, JP, Keene, S. a Ng, K., redaktoři, Elektronická vizualizace v umění a kultuře . Springer Series on Cultural Computing, Springer, 2013. ( ISBN 978-1-4471-5406-8 ) .
Copeland, J. , Bowen, JP, Sprevak, M., Wilson, R. a kol., The Turing Guide . Oxford University Press , 2017. ( ISBN 978-0198747826 ) (vázaná kniha), ( ISBN 978-0198747833 ) (brožovaná verze).

Poznámky a odkazy

(in) „ London South Bank University, UK “
(in) „ Centrum aplikovaných formálních metod “ [ archiv12. ledna 2008]
(in) „ Vítejte v Institutu pro výpočetní výzkum na London South Bank University “
(in) „ Stránky muzeí virtuální knihovny “
(in) „ Museophile “
(in) „ Department of Computer Science, University of Oxford “
(en) „ Z User Group “
(in) „ Ctihodná společnost informačních technologů “
(v) " BCS - Statutární institut pro IT "
(in) „ FACS (Formal Aspects of Computing Science) Group - Specializované skupiny - Členské skupiny - Členství - BCS - Chartered Institute for IT “
(in) RSA , „ Home - RSA “
(in) Norman Fenton , „ Kritické břemeno bytí bílé pravice “ ,13. září 1996
(in) Chris Johnson , „ Recenze knihy - formální specifikace a dokumentace využívající Z: přístup k případové studii “1996( DOI 10.1093 / comjnl / 39.7.643-a ) ,s. 643
(in) Andrew Robinson , „ The Turing Guide: Last words are enigmatic codebreaker year? " ,4. ledna 2017

externí odkazy

Autoritní záznamy :
Zdroje výzkumu :
- arXiv
- Google Scholar
- ORCID
- Perseus
- Sémantický učenec
- (en) Digitální bibliografie a projekt knihovny
- (en) Genealogický projekt z matematiky
- (en + ja + zh-Hans + zh-Hant + ru) Scopus
Osobní domovská stránka
Domovská stránka univerzity
Životopis
Publikace a publikace v DBLP