Jonathan Bowen

Bowen was born in Oxford, the son of Humphry Bowen,{{cite book| title=The Changing Faces of North Oxford: Book One |publisher=Robert Boyd Publications | last=Spokes Symonds | first=Ann | author-link=Ann Spokes Symonds | chapter=Families: The Bowens |year=1997 | pages=81–83 | isbn=978-1-899536-25-2 }} 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.

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.{{Cite web |date=2004-08-03 |title=Jonathan Bowen |url=http://www.cirs-tm.org/researchers/researchers.php?id=31 |archive-url=https://web.archive.org/web/20040803230623/http://www.cirs-tm.org/researchers/researchers.php?id=31 |archive-date=2004-08-03 |access-date= |website=cirs-tm.org |url-status=usurped |publisher=International Center for Scientific Research}} 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.{{cite web| url=http://www.bcs.org/category/12471 | title=Committee and Contact Details | work=BCS-FACS | publisher=BCS | location=UK | access-date=1 December 2012 }} From 2005, Bowen was an Associate Editor-in-Chief of the journal Innovations in Systems and Software Engineering.{{cite web | url=https://www.springer.com/uk/home/computer/programming?SGWID=3-40007-70-36204355-detailsPage=journal%7ceditorialBoard | archive-url=https://archive.today/20130806235830/http://www.springer.com/uk/home/computer/programming?SGWID=3-40007-70-36204355-detailsPage=journal%7CeditorialBoard | url-status=dead | archive-date=6 August 2013 | title=Editorial Board | work=Innovations in Systems and Software Engineering | publisher=Springer | access-date=1 December 2012 }} He was also an associate editor on the editorial board for the ACM Computing Surveys journal, covering software engineering and formal methods.{{cite web | url=http://csur.acm.org/editorial.cfm | title=Editorial board | work=ACM Computing Surveys | publisher=Association for Computing Machinery | access-date=19 December 2016 | archive-url=https://web.archive.org/web/20191019205855/http://csur.acm.org/editorial.cfm | archive-date=19 October 2019 | url-status=dead }} From 2008 to 2009, he was an Associate at Praxis High Integrity Systems, working on a large industrial project using the Z notation.{{Cite book |url=https://www.worldcat.org/oclc/40267699 |title=High-integrity system specification and design |date=1999 |publisher=Springer |others=J. P. Bowen, Michael G. Hinchey |isbn=3-540-76226-4 |location=London |oclc=40267699}}

Bowen's other major interest is the area of online museums.{{Cite web |date=2003-10-23 |title=Member of H-MUSEUM Advisory Board: Prof. Jonathan Bowen |url=https://www.h-net.org/~museum/bowen.html |archive-url=https://web.archive.org/web/20031023132034/https://www.h-net.org/~museum/bowen.html |archive-date=2003-10-23 |access-date= |website=h-museum.net}}{{Cite web |date=2010 |title=Speaker Biography: Jonathan Bowen |url=https://www.archimuse.com/mw2010/bios/au_3817.html |access-date=2023-02-19 |website=www.archimuse.com |publisher=Archives & Museum Informatics: Museums and the Web 2010 (MW2010)}} 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).{{cite web | url=http://archives.icom.museum/vlmp/ | title=Virtual Library museums pages | publisher=International Council of Museums | access-date=1 December 2012 | url-status=dead | archive-url=https://web.archive.org/web/20121212063856/http://archives.icom.museum/vlmp/ | archive-date=12 December 2012 | df=dmy-all }}{{Cite web |date=2005 |title=Film on the Web Conference 2005 |url=http://www.nmpft.org.uk/film/webcon05/speakers.asp#Bowen |archive-url=https://web.archive.org/web/20060926103223/http://www.nmpft.org.uk/film/webcon05/speakers.asp#Bowen |archive-date=2006-09-26 |access-date= |website=nmpft.org.uk |publisher=The National Museum of Photography, Film & Television}} Shortly after, he also started the Virtual Museum of Computing. In 2002, he founded Museophile Limited{{cite web | url=http://www.museophile.com/ | title=Museophile Limited | location=UK | access-date=1 December 2012 | archive-url=https://web.archive.org/web/20140517171030/http://museophile.com/ | archive-date=17 May 2014 | url-status=dead }} to help museums, especially online, for example with discussion forums.{{cite web|first=Jon |last=Pratty | url=http://www.24hourmuseum.org.uk/etc/formuseums/TXT18198_gfx_en.html |title=Information about our newsfeed |date=26 September 2003 |access-date=1 December 2012 |url-status=dead |archive-url=https://web.archive.org/web/20040404215235/http://www.24hourmuseum.org.uk/etc/formuseums/TXT18198_gfx_en.html |archive-date= 4 April 2004 }} He has also worked in industry at Oxford Instruments, Marconi Instruments, Logica, Silicon Graphics, and Altran Praxis.{{Cite web |date=2019 |title=Speaker Biography: Jonathan Bowen |url=https://www.bcs.org/events-calendar/2019/november/alan-turing-the-founder-of-computer-science-bcs-berkshire/ |access-date=2023-02-19 |website=www.bcs.org |publisher=British Computer Society, Berkshire}}

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.{{Cite web |date=2004 |title=Jonathan Bowen |url=https://istcolloq.gsfc.nasa.gov/jonathan-bowen/ |access-date=2023-02-19 |website=istcolloq.gsfc.nasa.gov |publisher=Information Science and Technology Colloquium Series |language=en-US}}

Jonathan Bowen has written and edited a number of books, including:{{cite web| url=https://www.amazon.com/Jonathan-Bowen/e/B0848DGZ72 | title=Books By Jonathan Bowen | publisher=Amazon.com | access-date=20 February 2020 }}

• 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}}.{{cite news| author-link=Norman Fenton | last=Fenton | first=Norman | title=Critical burden of being correct | newspaper=Times Higher Education Supplement | date=13 September 1996 }}
• 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}}.{{cite journal| first=Chris | last=Johnson | author-link=Christopher W. Johnson | title=Book Review – Formal Specification and Documentation using Z: A Case Study Approach | journal=The Computer Journal | date=1996 | volume=39 | number=7 | page=643 | doi=10.1093/comjnl/39.7.643-a }}
• 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).{{cite journal| author-link=W. Andrew Robinson | last=Robinson | first=Andrew | url=https://www.newscientist.com/article/mg23331072-700-the-turing-guide-last-words-on-an-enigmatic-codebreaker/ | title=The Turing Guide: Last words on an enigmatic codebreaker? | journal=New Scientist | date=4 January 2017 }}
• 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}}.{{cite journal| last=Koslow | first=Jennifer | title=Book Review – Museums and digital culture: new perspectives and research | journal=Museum Management and Curatorship | volume=34 | number=5 | pages=537–539 | date=4 September 2019 | doi=10.1080/09647775.2019.1661098 | s2cid=203059899 }}
• 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}}{{cite web| title=The Arts and Computational Culture, 2024 | publisher=DBLP | url=https://dblp.org/db/books/collections/GB2024.html | access-date=20 July 2024 }}

{{Reflist}}

{{commons category|Jonathan Bowen}}

{{scholia|author}}

• [http://jpbowen.com/ Personal website]
• {{DBLP|name=Jonathan P. Bowen}}
• {{GoogleScholar|L-7d2uUAAAAJ}}

• [https://web.archive.org/web/20160316140810/https://academic.microsoft.com/#/detail/2311901225 Jonathan P. Bowen] on Microsoft Academic
• {{MathGenealogy|154523}}

{{Authority control}}

{{DEFAULTSORT:Bowen, Jonathan}}

Category:1956 births

Category:Living people

Category:People educated at The Dragon School

Category:People educated at Bryanston School

Category:Alumni of University College, Oxford

Category:Computer science writers

Category:English computer scientists

Category:English non-fiction writers

Category:English book editors

Category:Formal methods people

Category:Members of the Department of Computer Science, University of Oxford

Category:Academics of Imperial College London

Category:Academics of the University of Reading

Category:Academics of London South Bank University

Category:Academics of University College London

Category:Academics of King's College London

Category:Academics of the University of Westminster

Category:Academics of Birmingham City University

Category:Academic staff of the Southwest University

Category:Silicon Graphics people

Category:British software engineers

Category:Software engineering researchers

Category:British academic journal editors

Category:Fellows of the British Computer Society

Category:English male non-fiction writers