Jonathana Bowena

Jonathana P. Bowena FBCS FRSA
Urodzić się	1956 (66-67 lat) Oksford , Anglia
Alma Mater	Kolegium Uniwersyteckie w Oksfordzie
Znany z	Metody formalne , notacja Z , strony muzeów Wirtualnej Biblioteki , Wirtualne Muzeum Informatyki
Nagrody	IEE Charles Babbage Premium (1994)
Kariera naukowa
Pola	Informatyka , Informatyka, Informatyka muzealna
Instytucje	Museophile Limited , Birmingham City University , London South Bank University , University of Reading , University of Oxford , Imperial College, Londyn
Wpływy	David Bearman , Dines Bjørner , Jack Copeland , Mike Gordon , Jifeng He , James Hemsley , Tony Hoare , Cliff Jones , Alan Turing
Pod wpływem	Mike Hinchey , Kevin Lano , Sergiy Vilkomir
Strona internetowa	www.jpbowen.com

Jonathan P. Bowen FBCS FRSA (ur. 1956) to brytyjski informatyk i emerytowany profesor na London South Bank University , gdzie kierował Centrum Stosowanych Metod Formalnych. Prof. Bowen jest także prezesem Museophile Limited i był profesorem informatyki na Birmingham City University , profesorem wizytującym w Pratt Institute (Nowy Jork), University of Westminster i King's College w Londynie oraz wizytującym pracownikiem naukowym w University College Londyn .

Wczesne życie i edukacja

Bowen urodził się w Oksfordzie , syn Humphry'ego Bowena i kształcił się w Dragon School , Bryanston School , zanim zapisał się na University College w Oksfordzie ( Uniwersytet Oksfordzki ), gdzie uzyskał tytuł magistra inżynierii .

Kariera

Bowen później pracował w Imperial College w Londynie , Oxford University Computing Laboratory (obecnie Wydział Informatyki Uniwersytetu Oksfordzkiego ), University of Reading i London South Bank University . Jego wczesne prace dotyczyły ogólnie metod formalnych , a później w szczególności notacji Z. Był przewodniczącym Z User Group od wczesnych lat 90. do 2011 r. W 2002 r. Bowen został wybrany na przewodniczącego British Computer Society FACS Specialist Group on Formalne aspekty informatyki . Od 2005 roku Bowen jest zastępcą redaktora naczelnego czasopisma Innovations in Systems and Software Engineering . Jest także zastępcą redaktora w zespole redakcyjnym czasopisma ACM Computing Surveys , zajmującego się inżynierią oprogramowania i metodami formalnymi . W latach 2008-9 był Associate w Praxis High Integrity Systems , pracując nad dużym projektem przemysłowym wykorzystującym notację Z.

Innym ważnym zainteresowaniem Bowena jest obszar muzeów internetowych . W 1994 roku założył strony muzeów Biblioteki Wirtualnej (VLmp), internetowy katalog muzeów, który wkrótce został przyjęty przez Międzynarodową Radę Muzeów (ICOM). W tym samym roku uruchomił także Wirtualne Muzeum Informatyki. W 2002 roku założył Museophile Limited , aby pomagać muzeom, zwłaszcza online, na przykład poprzez fora dyskusyjne. Pracował również w przemyśle w Oxford Instruments , Marconi Instruments , Logica , Silicon Graphics i Altran Praxis .

Bowen został wybrany członkiem Królewskiego Towarzystwa Wspierania Sztuki, Produkcji i Handlu (RSA) w 2002 r. oraz Brytyjskiego Towarzystwa Komputerowego (BCS) w 2004 r. Jest członkiem Worshipful Company of Information Technologists i Freeman of City of London .

Wybrane książki

Jonathan Bowen napisał i zredagował wiele książek, w tym:

•   Bowen, JP, redaktor, Towards Verified Systems . Elsevier Science, seria Real-Time Safety Critical Systems, tom 2, 1994. ISBN 0-444-89901-4 .
•   Hinchey, MG i Bowen, JP, redaktorzy, Zastosowania metod formalnych . Prentice Hall International Series in Computer Science, 1995. ISBN 0-13-366949-1 .
•   Bowen, JP, Specyfikacja formalna i dokumentacja przy użyciu Z: podejście do studium przypadku . International Thomson Computer Press, International Thomson Publishing , 1996. ISBN 1-85032-230-9 .
•   Bowen, JP i Hinchey, MG, redaktorzy, Specyfikacja i projektowanie systemu o wysokiej integralności . Springer-Verlag , Londyn, seria FACIT, 1999. ISBN 3-540-76226-4 .
•   Hinchey, MG i Bowen, JP, redaktorzy, Industrial-Strength Formal Methods in Practice . Springer-Verlag, Londyn, seria FACIT, 1999. ISBN 1-85233-640-4 .
•   Hierons, R., Bowen, JP i Harman, M. , redaktorzy, Formal Methods and Testing . Springer-Verlag, LNCS , tom 4949, 2008. ISBN 978-3-540-78916-1 .
•   Börger, E. , Butler, M. , Bowen, JP i Boca, P., redaktorzy, Abstract State Machines, B and Z. Springer-Verlag, LNCS, tom 5238, 2008. ISBN 978-3-540-87602-1 .
•     Boca, PP, Bowen, JP i Siddiqi, JI , redaktorzy, Metody formalne: stan techniki i nowe kierunki . 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. i Ng, K., redaktorzy, elektroniczna wizualizacja w sztuce i kulturze . Springer Series on Cultural Computing, Springer, 2013. ISBN 978-1-4471-5406-8 .
•     Copeland, J. , Bowen, JP, Sprevak, M., Wilson, R. i in., The Turing Guide . Oxford University Press , 2017. ISBN 978-0198747826 (oprawa twarda), ISBN 978-0198747833 (oprawa miękka).
•   Hinchey, MG, Bowen, JP, Olderog, E.-R. , redaktorzy, Provably Correct Systems . Springer International Publishing, NASA Monographs in Systems and Software Engineering, 2017. ISBN 978-3-319-48627-7 , doi : 10.1007/978-3-319-48628-4 .
•     Giannini, T. i Bowen, JP, redaktorzy, Muzea i kultura cyfrowa: nowe perspektywy i badania . Springer Series on Cultural Computing, Springer, 2019. ISBN 978-3-319-97456-9 , e- ISBN 978-3-319-97457-6 , doi : 10.1007/978-3-319-97457-6 .

Linki zewnętrzne

• Osobista strona internetowa
• Jonathan P. Bowen na serwerze bibliograficznym DBLP
• Jonathana Bowena indeksowane przez Google Scholar
• Jonathan P. Bowen o Microsoft Academic
• Jonathan Bowen z Mathematics Genealogy Project