Jonathan P. Bowen FBCS FRSA (born 1956) is a British computer scientist. He is Chairman of Museophile Limited, an Emeritus Professor at London South Bank University where he has headed the Centre for Applied Formal Methods, a Visiting Professor at King's College London and a former 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 and Univers...
more
Jonathan P. Bowen FBCS FRSA (born 1956) is a British computer scientist. He is Chairman of Museophile Limited, an Emeritus Professor at London South Bank University where he has headed the Centre for Applied Formal Methods, a Visiting Professor at King's College London and a former 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 and University College, Oxford. He holds a degree in Engineering Science from Oxford University.
Bowen has previously worked at Imperial College, London, the Oxford University Computing Laboratory and the University of Reading. His main contribution has been in the promulgation of formal methods in general and the Z notation in particular. He has been Chair of the Z User Group since the early 1990s. 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...
less
