1. Jonathan P Bowen was born on 1956 and is a British computer scientist and an Emeritus Professor at London South Bank University, where he headed the Centre for Applied Formal Methods.

1. Jonathan P Bowen was born on 1956 and is a British computer scientist and an Emeritus Professor at London South Bank University, where he headed the Centre for Applied Formal Methods.
Jonathan Bowen has been a Professor of Computer Science at Birmingham City University, Visiting Professor at the Pratt Institute, University of Westminster and King's College London, and a visiting academic at University College London.
Jonathan Bowen was born in Oxford, the son of Humphry Jonathan Bowen, and was educated at the Dragon School, Bryanston School, prior to his matriculation at University College, Oxford where he received the MA degree in Engineering Science.
Jonathan Bowen later worked at Imperial College, London, the Oxford University Computing Laboratory, the University of Reading, and London South Bank University.
Jonathan Bowen was Chair of the Z User Group from the early 2000s until 2011.
In 2002, Jonathan Bowen was elected Chair of the British Computer Society FACS Specialist Group on Formal Aspects of Computing Science.
From 2005, Jonathan Bowen was an Associate Editor-in-Chief of the journal Innovations in Systems and Software Engineering.
Jonathan Bowen was an associate editor on the editorial board for the ACM Computing Surveys journal, covering software engineering and formal methods.
Jonathan Bowen has worked in industry at Oxford Instruments, Marconi Instruments, Logica, Silicon Graphics, and Altran Praxis.
Jonathan Bowen was elected a Fellow of the Royal Society for the encouragement of Arts, Manufactures and Commerce in 2002 and of the British Computer Society in 2004.
Jonathan Bowen was a Liveryman of the Worshipful Company of Information Technologists and is a Freeman of the City of London.
Jonathan Bowen has written and edited a number of books, including:.