Jonathan Bowen

Jonathan P. Bowen (* 14. März 1956) ist ein britischer Informatiker und emeritierter Professor an der London South Bank University . Sein Hauptbeitrag liegt im Bereich der formalen Methoden , insbesondere der Z-Notation . ^{[ 2 ]} Darüber hinaus hat er im Bereich der Museumsinformatik gearbeitet [ ^{3 ], unter} anderem an der Entwicklung der Museumsseiten der Virtuellen Bibliothek , einem frühen Webverzeichnis. Zu seinen Beiträgen zählen auch Arbeiten zur Geschichte der Informatik , insbesondere zu Alan Turing . ^{[ 4 ]}

Bowen wurde in Oxford als Sohn von Humphry Bowen geboren [ ^{5 ]} und besuchte die Dragon School und die Bryanston School , bevor er sich am University College, Oxford ( Universität Oxford ) immatrikulierte ^, wo er den Master-Abschluss in Ingenieurwissenschaften erwarb . ^{[ 5 ]}

Nach ersten Tätigkeiten in der Softwareindustrie arbeitete er später am Imperial College London , am Oxford University Computing Laboratory (heute Oxford University Department of Computer Science ), an der University of Reading und an der London South Bank University . ^{[ 6 ]} Sein Forschungsschwerpunkt lag auf formalen Methoden im Allgemeinen und der Z-Notation im Besonderen. ^{[ 7 ]} Von Anfang der 2000er Jahre bis 2011 war er Vorsitzender der Z User Group . 2002 wurde Bowen zum Vorsitzenden der FACS Specialist Group on Formal Aspects of Computing Science der British Computer Society gewählt . ^{[ 8 ]} Ab 2005 war Bowen Mitherausgeber der Fachzeitschrift Innovations in Systems and Software Engineering . ^{[ 9 ]} Er war außerdem Mitherausgeber der Fachzeitschrift ACM Computing Surveys , die sich mit Software Engineering und formalen Methoden befasst . ^{[ 10 ]} Von 2008 bis 2009 war er als Mitarbeiter bei Praxis High Integrity Systems tätig und arbeitete an einem großen Industrieprojekt mit der Z-Notation . ^{[ 11 ]}

Bowens zweites großes Interesse gilt dem Bereich der Online-Museen . ^{[ 12 ] [ 13 ]} 1994 gründete er die Virtual Library Museums Pages (VLmp), ein Online-Museumsverzeichnis, das bald vom Internationalen Museumsrat (ICOM) übernommen wurde. ^{[ 14 ] [ 15 ]} Kurz darauf rief er auch das Virtual Museum of Computing ins Leben . 2002 gründete er Museophile Limited ^{[ 16 ]} , um Museen, insbesondere im Online-Bereich, beispielsweise mit Diskussionsforen, zu unterstützen. ^{[ 17 ]}

Von 2000 bis 2006 leitete Bowen als Professor für Informatik das Centre for Applied Formal Methods an der London South Bank University. ^{[ 18 ]} Seit 2002 ist er zudem Vorsitzender von Museophile Limited und seit 2017 Gastprofessor an der Southwest University in Chongqing , China. ^{[ 19 ]} Er war Professor für Informatik an der Birmingham City University ^{[ 20 ]} , Gastprofessor am Pratt Institute (New York City), an der University of Westminster und am ^King ’s College London [ ^{21 ]} sowie Gastwissenschaftler am University College London . ^{[ 22 ]}

Bowen war außerdem in der Industrie bei Oxford Instruments , Marconi Instruments , Logica , Silicon Graphics und Altran Praxis tätig . ^{[ 6 ]}

1994 erhielt Bowen den IEE Charles Babbage Preis für den besten Artikel im Software Engineering Journal . ^{[ 1 ]} 2002 wurde Bowen zum Fellow der Royal Society for the encouragement of Arts, Manufactures and Commerce (RSA) und 2004 zum Fellow der British Computer Society (BCS) gewählt. ^{[ 6 ]} Er war Mitglied der Worshipful Company of Information Technologists und ist Ehrenbürger der City of London . ^{[ 23 ]}

Jonathan Bowen hat eine Reihe von Büchern geschrieben und herausgegeben, darunter: ^{[ 24 ]}

• Bowen, JP (Hrsg.), Towards Verified Systems . Elsevier Science, Reihe Real-Time Safety Critical Systems, Band 2, 1994. ISBN 0-444-89901-4Die
• Hinchey, MG und Bowen, JP (Hrsg.), Anwendungen formaler Methoden . Prentice Hall International Series in Computer Science, 1995. ISBN 0-13-366949-1. ^{[ 25 ]}
• Bowen, J. P., Formale Spezifikation und Dokumentation mit Z: Eine Fallstudienanalyse . International Thomson Computer Press, International Thomson Publishing , 1996. ISBN 1-85032-230-9. ^{[ 2 ]}
• Bowen, JP und Hinchey, MG (Hrsg.), High-Integrity System Specification and Design . Springer-Verlag , London, FACIT-Reihe, 1999. ISBN 3-540-76226-4Die
• Hinchey, MG und Bowen, JP (Hrsg.), Formale Methoden der industriellen Leistungsbewertung in der Praxis . Springer-Verlag, London, FACIT-Reihe, 1999. ISBN 1-85233-640-4Die
• Hierons, R., Bowen, J. P. und Harman, M. (Hrsg.), Formale Methoden und Testverfahren . Springer-Verlag, LNCS , Band 4949, 2008. ISBN 978-3-540-78916-1Die
• Börger, E. , Butler, M. , Bowen, JP und Boca, P., Herausgeber, Abstract State Machines, B und Z. Springer-Verlag, LNCS, Band 5238, 2008. ISBN 978-3-540-87602-1Die
• Boca, PP, Bowen, JP und Siddiqi, JI (Hrsg.), Formale Methoden: Stand der Technik und neue Wege . Springer, 2010. ISBN 978-1-84882-735-6e- ISBN 978-1-84882-736-3, doi : 10.1007/978-1-84882-736-3 .
• Bowen, J. P., Keene, S. und Ng, K. (Hrsg.), Elektronische Visualisierung in Kunst und Kultur . Springer Series on Cultural Computing, Springer, 2013. ISBN 978-1-4471-5406-8Die
• Copeland, J. , Bowen, J. P., Sprevak, M., Wilson, R. et al., The Turing Guide . Oxford University Press , 2017. ISBN 978-0198747826(gebundene Ausgabe), ISBN 978-0198747833(Taschenbuch). ^{[ 4 ]}
• Hinchey, MG, Bowen, JP, Olderog, E.-R. ( Hrsg.), Provably Correct Systems . Springer International Publishing, NASA Monographs in Systems and Software Engineering series, 2017. ISBN 978-3-319-48627-7, doi : 10.1007/978-3-319-48628-4 .
• Giannini, T. und Bowen, JP (Hrsg.), Museen und digitale Kultur: Neue Perspektiven und Forschung . Springer Series on Cultural Computing, Springer, 2019. ISBN 978-3-319-97456-9e- ISBN 978-3-319-97457-6, doi : 10.1007/978-3-319-97457-6 . ^{[ 3 ]}
• Giannini, T. und Bowen, JP (Hrsg.), The Arts and Computational Culture: Real and Virtual Worlds . Springer Series on Cultural Computing, Springer, 2024. ISBN 978-3-031-53864-3e- ISBN 978-3-031-53865-0, doi : 10.1007/978-3-031-53865-0 ^{[ 26 ]}

• Persönliche Website
• Jonathan P. Bowen auf dem DBLP -Bibliographieserver
• Von Google Scholar indexierte Publikationen von Jonathan Bowen
• Jonathan P. Bowen über Microsoft Academic
• Jonathan Bowen beim Mathematik-Genealogie-Projekt