Jonathan Bowen Explained

Jonathan P. Bowen
Birth Place:	Oxford, England
Field:	Computer science, Information Technology, Museum informatics
Known For:	Formal methods, Z notation, Virtual Library museums pages, Virtual Museum of Computing
Awards:	IEE Charles Babbage Premium (1994)^[1]
Work Institution:	Museophile Limited, Southwest University, Birmingham City University, London South Bank University, University of Reading, University of Oxford, Imperial College, London
Alma Mater:	University College, Oxford
Website:	www.jpbowen.com

Jonathan P. Bowen FBCS FRSA (born 1956) is a British computer scientist and an Emeritus Professor at London South Bank University, where he headed the Centre for Applied Formal Methods.^[2] Prof. Bowen is also the Chairman of Museophile Limited and an adjunct professor at Southwest University in Chongqing, China.^[3] He has been a Professor of Computer Science at Birmingham City University,^[4] Visiting Professor at the Pratt Institute (New York City), University of Westminster and King's College London,^[5] and a visiting academic at University College London.^[6]

Early life and education

Bowen was born in Oxford, the son of Humphry Bowen,^[7] and was educated at the Dragon School, Bryanston School, prior to his matriculation at University College, Oxford (Oxford University) where he received the MA degree in Engineering Science.

Career

Bowen later worked at Imperial College, London, the Oxford University Computing Laboratory (now the Oxford University Department of Computer Science), the University of Reading, and London South Bank University. His main research was on formal methods in general and the Z notation in particular.^[8] He was Chair of the Z User Group from the early 2000s until 2011. In 2002, Bowen was elected Chair of the British Computer Society FACS Specialist Group on Formal Aspects of Computing Science.^[9] From 2005, Bowen was an Associate Editor-in-Chief of the journal Innovations in Systems and Software Engineering.^[10] He was also an associate editor on the editorial board for the ACM Computing Surveys journal, covering software engineering and formal methods.^[11] From 2008–9, he was an Associate at Praxis High Integrity Systems, working on a large industrial project using the Z notation.^[12]

Bowen's other major interest is the area of online museums.^{[13] [14]} In 1994, he founded the Virtual Library museums pages (VLmp), an online museums directory that was soon adopted by the International Council of Museums (ICOM).^{[15] [16]} Shortly after, he also started the Virtual Museum of Computing. In 2002, he founded Museophile Limited^[17] to help museums, especially online, for example with discussion forums.^[18] He has also worked in industry at Oxford Instruments, Marconi Instruments, Logica, Silicon Graphics, and Altran Praxis.^[19]

Bowen was elected a Fellow of the Royal Society for the encouragement of Arts, Manufactures and Commerce (RSA) in 2002 and of the British Computer Society (BCS) in 2004. He was a Liveryman of the Worshipful Company of Information Technologists and is a Freeman of the City of London.^[20]

Selected books

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

• Bowen, J.P., editor, Towards Verified Systems. Elsevier Science, Real-Time Safety Critical Systems series, volume 2, 1994. .
• Hinchey, M.G. and Bowen, J.P., editors, Applications of Formal Methods. Prentice Hall International Series in Computer Science, 1995. .^[22]
• Bowen, J.P., Formal Specification and Documentation using Z: A Case Study Approach. International Thomson Computer Press, International Thomson Publishing, 1996. .^[23]
• Bowen, J.P. and Hinchey, M.G., editors, High-Integrity System Specification and Design. Springer-Verlag, London, FACIT series, 1999. .
• Hinchey, M.G. and Bowen, J.P., editors, Industrial-Strength Formal Methods in Practice. Springer-Verlag, London, FACIT series, 1999. .
• Hierons, R., Bowen, J.P., and Harman, M., editors, Formal Methods and Testing. Springer-Verlag, LNCS, Volume 4949, 2008. .
• Börger, E., Butler, M., Bowen, J.P., and Boca, P., editors, Abstract State Machines, B and Z. Springer-Verlag, LNCS, Volume 5238, 2008. .
• Boca, P.P., Bowen, J.P., and Siddiqi, J.I., editors, Formal Methods: State of the Art and New Directions. Springer, 2010., e-, .
• Bowen, J.P., Keene, S., and Ng, K., editors, Electronic Visualisation in Arts and Culture. Springer Series on Cultural Computing, Springer, 2013. .
• Copeland, J., Bowen, J.P., Sprevak, M., Wilson, R., et al., The Turing Guide. Oxford University Press, 2017. (hardcover), (paperback).^[24]
• 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., .
• Giannini, T. and Bowen, J.P., editors, . Springer Series on Cultural Computing, Springer, 2019., e-, .^[25]
• Giannini, T. and Bowen, J.P., editors, The Arts and Computational Culture: Real and Virtual Worlds. Springer Series on Cultural Computing, Springer, 2024., e-, ^[26]

External links

• Personal website

• Jonathan P. Bowen on Microsoft Academic

Notes and References

1. Charles Babbage Premium Award winners . . 10 . 1 . 2 . 1995 . 10.1049/sej.1995.0001 .
2. Web site: Centre for Applied Formal Methods. dead. https://web.archive.org/web/20080112180104/http://www.cafm.lsbu.ac.uk/. 12 January 2008. 1 December 2012.
3. Web site: Jonathan Bowen . . China . en . 6 March 2024 . 4 June 2024 .
4. Web site: 2015. Jonathan Bowen. bot: unknown. https://web.archive.org/web/20151106012644/http://www.bcu.ac.uk/computing/about-us/our-staff/jonathan-bowen. 6 November 2015. 2 September 2016. Birmingham City University.
5. Web site: CREST members. dead. https://web.archive.org/web/20071022101232/http://crest.dcs.kcl.ac.uk/members.php?itemid=2. 22 October 2007. 1 December 2012.
6. Web site: Jonathan Bowen home page. dead. https://web.archive.org/web/20070821093224/http://www.cs.ucl.ac.uk/staff/J.Bowen/. 21 August 2007. 1 December 2012.
7. Book: Spokes Symonds, Ann . The Changing Faces of North Oxford: Book One . Robert Boyd Publications . Ann Spokes Symonds . Families: The Bowens . 1997 . 81–83 . 978-1-899536-25-2 .
8. Web site: 2004-08-03 . Jonathan Bowen . https://web.archive.org/web/20040803230623/http://www.cirs-tm.org/researchers/researchers.php?id=31 . 2004-08-03 . cirs-tm.org . International Center for Scientific Research.
9. Web site: Committee and Contact Details . . . UK . 1 December 2012 .
10. Web site: Editorial Board . https://archive.today/20130806235830/http://www.springer.com/uk/home/computer/programming?SGWID=3-40007-70-36204355-detailsPage=journal%7CeditorialBoard . dead . 6 August 2013 . . . 1 December 2012 .
11. Web site: Editorial board . . . 19 December 2016 . https://web.archive.org/web/20191019205855/http://csur.acm.org/editorial.cfm . 19 October 2019 . dead .
12. Book: High-integrity system specification and design . 1999 . Springer . J. P. Bowen, Michael G. Hinchey . 3-540-76226-4 . London . 40267699.
13. Web site: 2003-10-23 . Member of H-MUSEUM Advisory Board: Prof. Jonathan Bowen . https://web.archive.org/web/20031023132034/https://www.h-net.org/~museum/bowen.html . 2003-10-23 . h-museum.net.
14. Web site: 2010 . Speaker Biography: Jonathan Bowen . 2023-02-19 . www.archimuse.com . Archives & Museum Informatics: Museums and the Web 2010 (MW2010).
15. Web site: Virtual Library museums pages . . 1 December 2012 . dead . https://web.archive.org/web/20121212063856/http://archives.icom.museum/vlmp/ . 12 December 2012 . dmy-all .
16. Web site: 2005 . Film on the Web Conference 2005 . https://web.archive.org/web/20060926103223/http://www.nmpft.org.uk/film/webcon05/speakers.asp#Bowen . 2006-09-26 . nmpft.org.uk . The National Museum of Photography, Film & Television.
17. Web site: Museophile Limited . UK . 1 December 2012 . https://web.archive.org/web/20140517171030/http://museophile.com/ . 17 May 2014 . dead .
18. Web site: Jon . Pratty . Information about our newsfeed . 26 September 2003 . 1 December 2012 . dead . https://web.archive.org/web/20040404215235/http://www.24hourmuseum.org.uk/etc/formuseums/TXT18198_gfx_en.html . 4 April 2004 .
19. Web site: 2019 . Speaker Biography: Jonathan Bowen . 2023-02-19 . www.bcs.org . British Computer Society, Berkshire.
20. Web site: 2004 . Jonathan Bowen . 2023-02-19 . istcolloq.gsfc.nasa.gov . Information Science and Technology Colloquium Series . en-US.
21. Web site: Books By Jonathan Bowen . . 20 February 2020 .
22. News: Norman Fenton . Fenton . Norman . Critical burden of being correct . . 13 September 1996 .
23. Chris . Johnson . Christopher W. Johnson . Book Review – Formal Specification and Documentation using Z: A Case Study Approach . . 1996 . 39 . 7 . 643 . 10.1093/comjnl/39.7.643-a .
24. W. Andrew Robinson . Robinson . Andrew . The Turing Guide: Last words on an enigmatic codebreaker? . . 4 January 2017 .
25. Koslow . Jennifer . Book Review – Museums and digital culture: new perspectives and research . . 34 . 5 . 537–539 . 4 September 2019 . 10.1080/09647775.2019.1661098 . 203059899 .
26. Web site: The Arts and Computational Culture, 2024 . . 20 July 2024 .