Jonathan Bowen

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.