Misplaced Pages

Revision as of 20:49, 15 January 2023

This article is an autobiography or has been extensively edited by the subject or by someone connected to the subject. It may need editing to conform to Misplaced Pages's neutral point of view policy. There may be relevant discussion on the talk page. (June 2022) (Learn how and when to remove this message)

Jonathan P. BowenFBCS FRSA
Born	1956 (age 68–69) Oxford, England
Alma mater	University College, Oxford
Known for	Formal methods, Z notation, Virtual Library museums pages, Virtual Museum of Computing
Awards	IEE Charles Babbage Premium (1994)
Scientific career
Fields	Computer science, Information Technology, Museum informatics
Institutions	Museophile Limited, Birmingham City University, London South Bank University, University of Reading, University of Oxford, Imperial College, London
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. Prof. Bowen is also the Chairman of Museophile Limited and has been a Professor of Computer Science at Birmingham City University, Visiting Professor at the Pratt Institute (New York City), University of Westminster and King's College London, and a visiting academic at University College London.

Education

Bowen was born in Oxford, the son of Humphry Bowen, 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 early work was on formal methods in general, and later the Z notation in particular. He was Chair of the Z User Group from the early 1990s until 2011. In 2002, Bowen was elected Chair of the British Computer Society FACS Specialist Group on Formal Aspects of Computing Science. Since 2005, Bowen has been an Associate Editor-in-Chief of the journal Innovations in Systems and Software Engineering. He is also an associate editor on the editorial board for the ACM Computing Surveys journal, covering software engineering and formal methods. From 2008–9, he was an Associate at Praxis High Integrity Systems, working on a large industrial project using the Z notation.

Bowen's other major interest is the area of online museums. 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). In the same year he also started the Virtual Museum of Computing. In 2002, he founded Museophile Limited to help museums, especially online, for example with discussion forums. He has also worked in industry at Oxford Instruments, Marconi Instruments, Logica, Silicon Graphics, and Altran Praxis.

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 is a Liveryman of the Worshipful Company of Information Technologists and a Freeman of the City of London.

Selected books

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

• 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.
• 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.
• 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).
• 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.

Notes

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. "Jonathan Bowen". Birmingham City University. 2015. Archived from the original on 6 November 2015. Retrieved 2 September 2016.{{cite web}}: CS1 maint: bot: original URL status unknown (link)
4. "CREST members". Archived from the original on 22 October 2007. Retrieved 1 December 2012.
5. "Jonathan Bowen home page". Archived from the original on 21 August 2007. Retrieved 1 December 2012.
6. 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.
7. "Committee and Contact Details". BCS-FACS. UK: BCS. Retrieved 1 December 2012.
8. "Editorial Board". Innovations in Systems and Software Engineering. Springer. Archived from the original on 6 August 2013. Retrieved 1 December 2012.
9. "Editorial board". ACM Computing Surveys. Association for Computing Machinery. Archived from the original on 19 October 2019. Retrieved 19 December 2016.
10. "Virtual Library museums pages". International Council of Museums. Archived from the original on 12 December 2012. Retrieved 1 December 2012.
11. "Museophile Limited". UK. Archived from the original on 17 May 2014. Retrieved 1 December 2012.
12. Pratty, Jon (26 September 2003). "Information about our newsfeed". Archived from the original on 4 April 2004. Retrieved 1 December 2012.
13. "Books By Jonathan Bowen". Amazon.com. Retrieved 20 February 2020.
14. Fenton, Norman (13 September 1996). "Critical burden of being correct". Times Higher Education Supplement.
15. 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.
16. Robinson, Andrew (4 January 2017). "The Turing Guide: Last words on an enigmatic codebreaker?". New Scientist.
17. 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.

References

• Bowen, Jonathan Peter. Who's Who in the World, Marquis Who's Who, 18th edition, 2001.
• H-museum information
• Museums and the Web conference information
• "Film on the Web conference information". Archived from the original on 26 September 2006. Retrieved 5 June 2006.{{cite web}}: CS1 maint: bot: original URL status unknown (link)
• International Center for Scientific Research information

External links

• Personal website
• LSBU official home page
• LSBU personal home page and publications on Archive.org
• SWU home page
• Jonathan P. Bowen at DBLP Bibliography Server
• Jonathan Bowen publications indexed by Google Scholar
• Jonathan P. Bowen on Microsoft Academic
• Jonathan Bowen at the Mathematics Genealogy Project

• 1956 births
• Living people
• People from Oxford
• People educated at The Dragon School
• People educated at Bryanston School
• Alumni of University College, Oxford
• Computer science writers
• English computer scientists
• English non-fiction writers
• English book editors
• Formal methods people
• Members of the Department of Computer Science, University of Oxford
• Academics of Imperial College London
• Academics of the University of Reading
• Academics of London South Bank University
• Academics of University College London
• Academics of King's College London
• Academics of the University of Westminster
• Academics of Birmingham City University
• Silicon Graphics people
• British software engineers
• Software engineering researchers
• Academic journal editors
• Fellows of the British Computer Society
• English male non-fiction writers