Jonathan Bowen- Jonathan Bowen
Jonathan P. Bowen
| |
---|---|
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
- Bowen, Jonathan Peter. Who's Who in the World , Marquis Who's Who , 18. Auflage, 2001.
- Informationen zum H-Museum
- Museen und Informationen zur Webkonferenz
- "Informationen zur Filmkonferenz im Web" . Archiviert vom Original am 26. September 2006 . Abgerufen am 5. Juni 2006 .CS1-Wartung: Bot: Original-URL-Status unbekannt ( Link )
- Informationen des Internationalen Zentrums für wissenschaftliche Forschung
Externe Links
Scholia hat ein Autorenprofil für Jonathan Bowen . |
- Persönliche Webseite
- Offizielle LSBU-Homepage
- Persönliche Homepage der LSBU und Veröffentlichungen auf Archive.org
- SWU-Homepage
- Jonathan P. Bowen bei DBLP Bibliographie Server
- Jonathan Bowen- Publikationen indiziert von Google Scholar
- Jonathan P. Bowen über Microsoft Academic
- Jonathan Bowen vom Mathematics Genealogy Project