Jonathan Bowen
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.
Jonathan P. Bowen FBCS FRSA | |
---|---|
Born | 1956 (age 67–68) Oxford, England |
Nationality | British |
Citizenship | United Kingdom |
Alma mater | University College, Oxford |
Known for | Formal methods, Virtual Library museums pages, Virtual Museum of Computing |
Awards | IEE Charles Babbage Premium (1994)[1] |
Scientific career | |
Fields | Computer science, Information Technology, Museum informatics |
Institutions | London South Bank University, University of Oxford, Imperial College London |
Influences | Mike Gordon, Tony Hoare, Alan Turing |
Influenced | Sergiy Vilkomir |
Website | www.jpbowen.com |
Early life
changeBowen 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
changeIn 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- 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- ↑ "Charles Babbage Premium Award winners". Software Engineering Journal. 10 (1): 2. 1995. doi:10.1049/sej.1995.0001.
- ↑ "Centre for Applied Formal Methods". Archived from the original on 12 January 2008. Retrieved 1 December 2012.
- ↑ 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.
- ↑ "Virtual Library museums pages". International Council of Museums. Archived from the original on 12 December 2012. Retrieved 1 December 2012.
- ↑ 5.0 5.1 Fenton, Norman (13 September 1996). "Critical burden of being correct". Times Higher Education Supplement.
- ↑ 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.0 7.1 Robinson, Andrew (4 January 2017). "The Turing Guide: Last words on an enigmatic codebreaker?". New Scientist.
- ↑ 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.