Jonathan Bowen- Jonathan Bowen

Jonathan P. Bowen

Jonathan Bowen photograph.jpg
Geboren 1956 (Alter 64–65)
Oxford , England
Staatsangehörigkeit britisch
Staatsbürgerschaft Vereinigtes Königreich
Alma Mater University College , Oxford
Bekannt für Formale Methoden , Z-Notation , Museumsseiten der virtuellen Bibliothek , Virtuelles Computermuseum
Auszeichnungen IEE Charles Babbage Premium (1994)
Wissenschaftlicher Werdegang
Felder Informatik , Informationstechnologie, Museumsinformatik
Institutionen Museophile Limited , Birmingham City University , London South Bank University , University of Reading , University of Oxford , Imperial College, London
Einflüsse David Bearman , Dines Bjørner , Jack Copeland , Mike Gordon , Jifeng He , James Hemsley , Tony Hoare , Cliff Jones , Alan Turing
Beeinflusst Mike Hinchey , Kevin Lano , Sergiy Wilkomir
Webseite www.jpbowen.com

Jonathan P. Bowen FBCS FRSA (* 1956) ist ein britischer Informatiker .

Überblick

Jonathan Bowen ist Chairman von Museophile Limited und emeritierter Professor an der London South Bank University , wo er das Center for Applied Formal Methods leitete. Er war Professor für Informatik an der Birmingham City University , Gastprofessor am Pratt Institute (New York City), University of Westminster und King's College London sowie Gastwissenschaftler am University College London .

Ausbildung

Bowen wurde in Oxford als Sohn von Humphry Bowen geboren und erhielt seine Ausbildung an der Dragon School , Bryanston School , bevor er sich am University College in Oxford ( Universität Oxford ) immatrikulierte , wo er den MA in Ingenieurwissenschaften erhielt .

Karriere

Bowen arbeitete später am Imperial College, London , dem Oxford University Computing Laboratory (jetzt Oxford University Department of Computer Science ), der University of Reading und der London South Bank University . Seine frühen Arbeiten beschäftigten sich mit formalen Methoden im Allgemeinen und später mit der Z-Notation im Besonderen. Von den frühen 1990er Jahren bis 2011 war er Vorsitzender der Z User Group . 2002 wurde Bowen zum Vorsitzenden der British Computer Society FACS Specialist Group on Formal Aspects of Computing Science gewählt . Bowen ist seit 2005 Associate Editor-in-Chief der Zeitschrift Innovations in Systems and Software Engineering . Er ist außerdem Mitherausgeber im Editorial Board der Zeitschrift ACM Computing Surveys , die sich mit Software Engineering und formalen Methoden befasst . Von 2008 bis 2009 war er Associate bei Praxis High Integrity Systems und arbeitete an einem großen Industrieprojekt mit der Z-Notation .

Bowens weiteres Hauptinteresse gilt dem Bereich der Online-Museen . 1994 gründete er die Virtual Library museums Pages (VLmp), ein Online-Museumsverzeichnis, das bald vom International Council of Museums (ICOM) übernommen wurde. Im selben Jahr gründete er auch das Virtual Museum of Computing . 2002 gründete er Museophile Limited , um Museen vor allem online zu helfen, zum Beispiel mit Diskussionsforen. Er hat auch in der Industrie bei Oxford Instruments , Marconi Instruments , Logica , Silicon Graphics und Altran Praxis gearbeitet .

Bowen wurde 2002 zum Fellow der Royal Society zur Förderung von Kunst, Herstellung und Handel (RSA) und 2004 der British Computer Society (BCS) gewählt. Er ist Liveryman der Worshipful Company of Information Technologists und Freeman of die Londoner City .

Ausgewählte Bücher

Jonathan Bowen hat eine Reihe von Büchern geschrieben und herausgegeben, darunter:

  • Bowen, JP, Herausgeber, Towards Verified Systems . Elsevier Science, Reihe Real-Time Safety Critical Systems, Band 2, 1994. ISBN  0-444-89901-4 .
  • Hinchey, MG und Bowen, JP, Herausgeber, Applications of Formal Methods . Prentice Hall International Series in Computer Science, 1995. ISBN  0-13-366949-1 .
  • Bowen, JP, Formale Spezifikation und Dokumentation mit Z: A Case Study Approach . International Thomson Computer Press, International Thomson Publishing , 1996. ISBN  1-85032-230-9 .
  • Bowen, JP und Hinchey, MG, Redakteure, High-Integrity System Specification and Design . Springer-Verlag , London, FACIT-Reihe, 1999. ISBN  3-540-76226-4 .
  • Hinchey, MG und Bowen, JP, Herausgeber, Industrial-Strength Formal Methods in Practice . Springer-Verlag, London, FACIT-Reihe, 1999. ISBN  1-85233-640-4 .
  • Hierons, R., Bowen, JP und Harman, M. , Herausgeber, Formal Methods and Testing . Springer-Verlag, LNCS , Band 4949, 2008. ISBN  978-3-540-78916-1 .
  • 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-1 .
  • Boca, PP, Bowen, JP, und Siddiqi, JI , Herausgeber, Formale Methoden: Stand der Technik und neue Richtungen . 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. und Ng, K., Herausgeber, Elektronische Visualisierung in Kunst und Kultur . Springer Series on Cultural Computing, Springer, 2013. ISBN  978-1-4471-5406-8 .
  • Copeland, J. , Bowen, JP, Sprevak, M., Wilson, R. et al., The Turing Guide . Oxford University Press , 2017. ISBN  978-0198747826 ( Gebundene Ausgabe), ISBN  978-0198747833 (Taschenbuch).
  • Hinchey, MG, Bowen, JP, Olderog, E.-R. , Herausgeber, Nachweislich korrekte Systeme . Springer International Publishing, NASA Monographies 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, Herausgeber, Museums and Digital Culture: New Perspectives and Research . 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 .

Anmerkungen

Verweise

Externe Links