Jonathan Bowen

Jonathan P. Bowen

Born	1956 (age 60–61) 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, Virtual Museum of Computing

Jonathan P. Bowen FBCS FRSA (born 1956) is a British computer scientist. He is Chairman of Museophile Limited and an Emeritus Professor at London South Bank University, where he headed the Centre for Applied Formal Methods. He 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.

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.

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.