Jonathan Bowen

From Simple English Wikipedia, the free encyclopedia

Jonathan P. Bowen

FBCS FRSA
Born1956 (age 67–68)
Oxford, England
NationalityBritish
CitizenshipUnited Kingdom
Alma materUniversity College, Oxford
Known forFormal methods, Virtual Library museums pages, Virtual Museum of Computing
AwardsIEE Charles Babbage Premium (1994)[1]
Scientific career
FieldsComputer science, Information Technology, Museum informatics
InstitutionsLondon South Bank University, University of Oxford, Imperial College London
InfluencesMike Gordon, Tony Hoare, Alan Turing
InfluencedSergiy Vilkomir
Websitewww.jpbowen.com

Jonathan P. Bowen (born 1956) is a British computer scientist. He is an Emeritus (retired) Professor at London South Bank University.[2] He is known for supporting museums online.

Early life[change | change source]

Bowen was born in Oxford. He was the son of the chemist and botanist, Humphry Bowen.[3] He studied Engineering Science at University College (Oxford University). Bowen later worked at Imperial College London, the Oxford University Computing Laboratory, the University of Reading, and London South Bank University. He worked in the area of formal (mathematical) methods for specifying software.

Works[change | change source]

In 1994, Bowen founded the Virtual Library museums pages. This was an online museums directory that was adopted by the International Council of Museums.[4] In the following year, he also started the Virtual Museum of Computing. He has written and edited a number of reviewed books on software engineering,[5][6] the computer pioneer Alan Turing,[7] and museums and digital culture.[8]

Bowen was elected a Fellow of the Royal Society of Arts in 2002 and of the British Computer Society in 2004. He is a Liveryman of the Worshipful Company of Information Technologists and a Freeman of the City of London.

Books[change | change source]

  • Hinchey, M.G. and Bowen, J.P., editors, Applications of Formal Methods. Prentice Hall International Series in Computer Science, 1995. ISBN 0-13-366949-1.[5]
  • Bowen, J.P., Formal Specification and Documentation using Z: A Case Study Approach. International Thomson Computer Press, International Thomson Publishing, 1996. ISBN 1-85032-230-9.[6]
  • Copeland, J., Bowen, J.P., Sprevak, M., Wilson, R., et al., The Turing Guide. Oxford University Press, 2017. ISBN 978-0198747826 (hardcover), ISBN 978-0198747833 (paperback).[7]
  • Giannini, T. and Bowen, J.P., editors, 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.[8]

References[change | change source]

  1. "Charles Babbage Premium Award winners". Software Engineering Journal. 10 (1): 2. 1995. doi:10.1049/sej.1995.0001.
  2. "Centre for Applied Formal Methods". Archived from the original on 12 January 2008. Retrieved 1 December 2012.
  3. Spokes Symonds, Ann (1997). "Families: The Bowens". The Changing Faces of North Oxford: Book One. Robert Boyd Publications. pp. 81–83. ISBN 978-1-899536-25-2.
  4. "Virtual Library museums pages". International Council of Museums. Archived from the original on 12 December 2012. Retrieved 1 December 2012.
  5. 5.0 5.1 Fenton, Norman (13 September 1996). "Critical burden of being correct". Times Higher Education Supplement.
  6. 6.0 6.1 Johnson, Chris (1996). "Book Review – Formal Specification and Documentation using Z: A Case Study Approach". The Computer Journal. 39 (7): 643. doi:10.1093/comjnl/39.7.643-a.
  7. 7.0 7.1 Robinson, Andrew (4 January 2017). "The Turing Guide: Last words on an enigmatic codebreaker?". New Scientist.
  8. 8.0 8.1 Koslow, Jennifer (4 September 2019). "Book Review – Museums and digital culture: new perspectives and research". Museum Management and Curatorship. 34 (5): 537–539. doi:10.1080/09647775.2019.1661098. S2CID 203059899.

Other websites[change | change source]