Jonathan P. Bowen (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.
[9] From 2005, Bowen was an Associate Editor-in-Chief of the journal Innovations in Systems and Software Engineering.
[10] He was also an associate editor on the editorial board for the ACM Computing Surveys journal, covering software engineering and formal methods.
[11] From 2008–9, he was an Associate at Praxis High Integrity Systems, working on a large industrial project using the Z notation.