Edge Rewrite
restyle Source code View original
// HTMLRewriter · presentation

This page was redesigned at the edge.

Cloudflare fetched the original article and streamed it through HTMLRewriter to apply an entirely new visual system without rebuilding the source page.

Jump to content

Jonathan Bowen

From Wikipedia, the free encyclopedia

Jonathan P. Bowen
FBCS FRSA
Born (1956-03-14) 14 March 1956 (age 70)
Oxford, England
EducationUniversity College, Oxford
Known forFormal methods, Z notation, Virtual Library museums pages, Virtual Museum of Computing
AwardsIEE Charles Babbage Premium (1994)[1]
Scientific career
FieldsComputer science, Information Technology, Museum informatics
WorkplacesMuseophile Limited, Southwest University, Birmingham City University, London South Bank University, University of Reading, University of Oxford, Imperial College, London
Websitejpbowen.com

Jonathan P. Bowen (born March 14, 1956) is a British computer scientist and an Emeritus Professor at London South Bank University. His main contribution has been in formal methods, especially the Z notation.[2] In addition, he has worked in the area of museum informatics,[3] including the creation of the Virtual Library museums pages, an early web directory. His contributions also include works on the history of computing, especially Alan Turing.[4]

Background and education

[edit]

Jonathan Bowen was born in 1956 in Oxford, England.[5] He is the son of Humphry Bowen, a chemist and botanist. Bowen attended the Dragon School and Bryanston School before matriculating at University College, Oxford. He earned a Master of Arts degree in Engineering Science from Oxford University.

Academic career

[edit]

Following his graduation, Bowen initially worked in the software industry before transitioning into academia. He has held academic positions at several institutions, including:[6] Imperial College London; Oxford University Computing Laboratory (now the Department of Computer Science); University of Reading; and London South Bank University (where he is an Emeritus Professor). At London South Bank University, he served as head of the Centre for Applied Formal Methods from 2000 to 2006. Bowen has also been an adjunct professor at Southwest University in Chongqing, China, since 2017. Additionally, he has held visiting positions at the Pratt Institute in New York City, the University of Westminster, King's College London, and University College London.[7]

Research and contributions

[edit]
Formal methods and Z notation

Bowen has been active in formal methods, particularly the Z notation, a formal specification language used in software engineering to describe and model systems precisely. He served as Chair of the Z User Group from the early 2000s until 2011 and was elected Chair of the British Computer Society's FACS (Formal Aspects of Computing Science) Specialist Group in 2002, a position that he held until 2025.[8] From 2005 onwards, he was Associate Editor-in-Chief of Innovations in Systems and Software Engineering,[9] and on the editorial board of ACM Computing Surveys,[10] focusing on formal methods and software engineering.

Museum informatics and digital culture

In addition to his technical work, Bowen has made contributions to museum informatics, virtual museums,[11] and more generally digital culture. He founded the Virtual Library museums pages (VLmp) in 1994, an early online directory of museums that was adopted by the International Council of Museums (ICOM).[12] He also founded Museophile Limited[6] in 2002, a company dedicated to supporting museums and online cultural heritage initiatives.[13]

History of computing

Bowen has also authored works on the history of computing, with particular emphasis on Alan Turing[14][15] and early computer pioneers. He also established the Virtual Museum of Computing, an early virtual museum in the 1990s.[16]

Industry experience

Bowen has worked with several technology companies during his career, including Altran Praxis, Logica, Marconi Instruments, Oxford Instruments, and Silicon Graphics.[17]

Honours and recognition

[edit]

Selected books

[edit]

Jonathan Bowen has written and edited a number of books, including:[18]

  • 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 International Series in Computer Science, 1995. ISBN 0-13-366949-1.[19]
  • 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.[2]
  • 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, 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. Oxford University Press, 2017. ISBN 978-0198747826 (hardcover), ISBN 978-0198747833 (paperback).[4]
  • 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. 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.[3]
  • 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[20]

References

[edit]
  1. 1 2 "Charles Babbage Premium Award winners". Software Engineering Journal. 10 (1): 2. 1995. doi:10.1049/sej.1995.0001.
  2. 1 2 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.
  3. 1 2 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.
  4. 1 2 Robinson, Andrew (4 January 2017). "The Turing Guide: Last words on an enigmatic codebreaker?". New Scientist.
  5. ↑ 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.
  6. 1 2 3 "Jonathan Bowen". Information Science and Technology Colloquium Series. NASA. 2004. Retrieved 17 January 2026.
  7. ↑ "Jonathan Bowen: About the author". Amazon.co.uk. UK: Amazon. Retrieved 17 January 2026.
  8. ↑ Monahan, Brian; Lines, Keith (January 2026). "BCS FACS 2025 Landin Lecture Formal Methods: Whence and Whither?" (PDF). FACS FACTS. Vol. 2026, no. 1. BCS-FACS. pp. 90–95. ISSN 0950-1231.
  9. ↑ "Editorial Board". Innovations in Systems and Software Engineering. Springer. Retrieved 17 January 2026.{{cite web}}: CS1 maint: deprecated archival service (link)
  10. ↑ "Editorial board". ACM Computing Surveys. Association for Computing Machinery. Archived from the original on 19 October 2019. Retrieved 17 January 2026.
  11. ↑ "Member of H-MUSEUM Advisory Board: Prof. Jonathan Bowen". h-museum.net. 23 October 2003. Archived from the original on 23 October 2003. Retrieved 17 January 2026.
  12. ↑ "Virtual Library museums pages". International Council of Museums. Archived from the original on 12 December 2012. Retrieved 1 December 2012.
  13. ↑ Pratty, Jon (26 September 2003). "Information about our newsfeed". Archived from the original on 4 April 2004. Retrieved 17 January 2026.
  14. ↑ Human Cusp (28 November 2022). "Guest: Jonathan Bowen, Professor and Alan Turing expert, part 1". YouTube. Retrieved 17 January 2026.
  15. ↑ "Speakers > Jonathan Bowen". UK: Gresham College. 31 October 2013. Retrieved 17 January 2026.
  16. ↑ Marty, Paul; Jones, Kathy (1 March 2021). "Jonathan Bowen". Oral History of Museum Computing. Florida State University. Retrieved 17 January 2026.
  17. ↑ "Speaker Biography: Jonathan Bowen". bcs.org. BCS. 2019. Retrieved 19 February 2023.
  18. ↑ "Books By Jonathan Bowen". Amazon.com. Retrieved 20 February 2020.
  19. ↑ Fenton, Norman (13 September 1996). "Critical burden of being correct". Times Higher Education Supplement.
  20. ↑ Yavuz, Ozan (2025). "Book Review – Tula Giannini and Jonathan P. Bowen, eds, The Arts and Computational Culture: Real and Virtual Worlds". International Journal of Humanities and Arts Computing. 19 (1). Edinburgh University Press: 85–89. doi:10.3366/ijhac.2025.0346. hdl:11511/116321.
[edit]
Retrieved from "https://en.wikipedia.org/w/index.php?title=Jonathan_Bowen&oldid=1376741826"