Jonathan Bowen

From Wikipedia, the free encyclopedia
  (Redirected from Jonathan P. Bowen)
Jump to: navigation, search
Jonathan P. Bowen
Jonathan Bowen photograph.jpg
Born 1956 (age 57–58)
Oxford, England
Residence Oxfordshire
Citizenship United Kingdom
Nationality British
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
Alma mater University College, Oxford
Known for Formal methods, Z notation, Virtual Library museums pages

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

Education[edit]

Bowen was born in Oxford, the son of Humphry Bowen,[4] 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[edit]

Bowen later worked at Imperial College, London, the Oxford University Computing Laboratory (now the Oxford University Department of Computer Science), and the University of Reading. 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.[5] Since 2005, Bowen has been an Associate Editor-in-Chief of the journal Innovations in Systems and Software Engineering.[6] 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).[7] In the same year he also started the Virtual Museum of Computing. In 2002, he founded Museophile Limited[8] to help museums, especially online, for example with discussion forums.[9]

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 in the City of London.

Selected books[edit]

Notes[edit]

  1. ^ "Centre for Applied Formal Methods". London South Bank University / Archive.org. Retrieved 1 December 2012. 
  2. ^ "CREST members". King's College London / Archive.org. Retrieved 1 December 2012. 
  3. ^ "Jonathan Bowen home page". University College London / Archive.org. Retrieved 1 December 2012. 
  4. ^ Symonds, Ann Spokes. "Families: The Bowens". The Changing Faces of North Oxford: Book One. Robert Boyd Publications. pp. 81–83. ISBN 1-899536-25-6. 
  5. ^ "Committee and Contact Details". BCS-FACS. UK: BCS. Retrieved 1 December 2012. 
  6. ^ "Editorial Board". Innovations in Systems and Software Engineering. Springer. Retrieved 1 December 2012. 
  7. ^ "Virtual Library museums pages". International Council of Museums. Retrieved 1 December 2012. 
  8. ^ "Museophile Limited". UK. Retrieved 1 December 2012. 
  9. ^ Pratty, Jon (26 September 2003). "Information about our newsfeed". 24 Hour Museum / Archive.org. Retrieved 1 December 2012. 

References[edit]

External links[edit]