 | This article is an autobiography or has been extensively edited by the subject or by someone connected to the subject. (June 2024) |
Jonathan P. Bowen | |
|---|---|
 | |
| Born | 1956 (age 67–68) 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)[1] |
| Scientific career | |
| Fields | Computer science, Information Technology, Museum informatics |
| Institutions | Museophile Limited, Southwest University, 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.[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]
- ^ "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.
- ^ "Jonathan Bowen". China: RISE, Southwest University. 6 March 2024. Retrieved 4 June 2024.
- ^ "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) - ^ "CREST members". Archived from the original on 22 October 2007. Retrieved 1 December 2012.
- ^ "Jonathan Bowen home page". Archived from the original on 21 August 2007. Retrieved 1 December 2012.