Jonathan Bowen

Jonathan P. Bowen FBCS FRSA (född 1956) är en brittisk datavetare och emeritusprofessor vid London South Bank University^(en), där han ledde Center for Applied Formal Methods. Prof. Bowen är också ordförande för Museophile Limited och adjungerad professor vid Southwest University^(en) i Chongqing, Kina. Han har varit professor i datavetenskap vid Birmingham City University^(en), gästprofessor vid Pratt Institute (New York City), University of Westminster och King's College London, och gästakademiker vid University College London.

Tidigt liv och utbildning

Bowen föddes i Oxford, son till Humphry Bowen^(en), och utbildades vid Dragon School^(en), Bryanston School^(en), innan han tog studentexamen vid University College, Oxford (Oxford University) där han fick en MA-examen i ingenjörsvetenskap.

Karriär

Bowen arbetade senare vid Imperial College, London, Oxford University Computing Laboratory (nu Oxford University Department of Computer Science), University of Reading och London South Bank University. Hans huvudsakliga forskning handlade om formella metoder i allmänhet och Z-notationen i synnerhet. Han var ordförande för Z User Group från början av 2000-talet fram till 2011. 2002 valdes Bowen till ordförande för British Computer Society FACS Specialist Group on Formal Aspects of Computing Science. Från 2005 var Bowen en associerad chefredaktör för tidskriften Innovations in Systems and Software Engineering^(en). Han var också biträdande redaktör på redaktionen för tidskriften ACM Computing Surveys, som täckte programvaruteknik och formella metoder. Från 2008–9 var han associerad på Praxis High Integrity Systems och arbetade på ett stort industriellt projekt med hjälp av Z-notationen.

Bowens andra stora intresse är området online-museer. 1994 grundade han Virtual Library museums pages^(en) (VLmp), en online-museerkatalog som snart antogs av International Council of Museums (ICOM). Kort därefter startade han också Virtual Museum of Computing. 2002 grundade han Museophile Limited för att hjälpa museer, särskilt online, till exempel med diskussionsforum. Han har också arbetat inom industrin på Oxford Instruments^(en), Marconi Instruments^(en), Logica, Silicon Graphics, och Altran Praxis^(en).

Bowen valdes 2002 till stipendiat i Royal Society for the stimulering of Arts, Manufactures and Commerce (RSA) och i British Computer Society (BCS) 2004. Han var en Liveryman av Worshipful Company of Information Technologists^(en) och är en Freeman i City of London.

Utvalda böcker

• Bowen, J.P., editor, Towards Verified Systems. Elsevier Science, Real-Time Safety Critical Systems series, volume 2, 1994. ISBN 0-444-89901-4.
• Hinchey, M.G. and Bowen, J.P., editors, Applications of Formal Methods. Prentice Hall^(en) International Series in Computer Science, 1995. ISBN 0-13-366949-1.
• Bowen, J.P., Formal Specification and Documentation using Z: A Case Study Approach. International Thomson Computer Press, International Thomson Publishing^(en), 1996. ISBN 1-85032-230-9.
• Bowen, J.P. and Hinchey, M.G., editors, High-Integrity System Specification and Design. Springer-Verlag, London, FACIT series, 1999. ISBN 3-540-76226-4.
• Hinchey, M.G. and Bowen, J.P., editors, Industrial-Strength Formal Methods in Practice. Springer-Verlag, London, FACIT series, 1999. ISBN 1-85233-640-4.
• Hierons, R., Bowen, J.P., and Harman, M., editors, Formal Methods and Testing. Springer-Verlag, LNCS^(en), Volume 4949, 2008. ISBN 978-3-540-78916-1.
• Börger, E., Butler, M., Bowen, J.P., and Boca, P., editors, Abstract State Machines, B and Z. Springer-Verlag, LNCS, Volume 5238, 2008. ISBN 978-3-540-87602-1.
• Boca, P.P., Bowen, J.P., and Siddiqi, J.I., editors, Formal Methods: State of the Art and 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, J.P., Keene, S., and Ng, K., editors, Electronic Visualisation in Arts and Culture. Springer Series on Cultural Computing, Springer, 2013. ISBN 978-1-4471-5406-8.
• Copeland, J., Bowen, J.P., Sprevak, M., Wilson, R., et al., The Turing Guide^(en). Oxford University Press, 2017. ISBN 978-0198747826 (hardcover), ISBN 978-0198747833 (paperback).
• Hinchey, M.G., Bowen, J.P., Olderog, E.-R., editors, 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. and Bowen, J.P., editors, Museums and Digital Culture: New Perspectives and Research^(en). 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.
• Giannini, T. and Bowen, J.P., editors, The Arts and Computational Culture: Real and Virtual Worlds. Springer Series on Cultural Computing, Springer, 2024. ISBN 978-3-031-53864-3, e-ISBN 978-3-031-53865-0, doi:10.1007/978-3-031-53865-0

Externa länkar

• Wikimedia Commons har media som rör Jonathan Bowen.
  Bilder & media
• Personal website
• Jonathan P. Bowen på Microsoft Academic
• Jonathan Bowen på Mathematics Genealogy Project