Page "Jonathan Bowen" Paragraph 2

Bowen later worked at Imperial College, London, the Oxford University Computing Laboratory, and the University of Reading.

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.

From 2008 – 09, he was an Associate at Praxis High Integrity Systems, working on a large industrial project using the Z notation.