User:Jonathan Bowen

Jonathan P. Bowen is Chairman of Museophile Limited (founded in 2002) and an Emeritus Professor at London South Bank University, where he established and headed the Centre for Applied Formal Methods in 2000. During 2006–07, he was a visiting academic at University College London. Between 2007 and 2009, he was a Visiting Professor at King's College, London. During 2008–09, he was an Associate at Praxis High Integrity Systems (now Altran). From 2010–12, he was a Visiting Professor at the University of Westminster. He was a Professor of Computer Science at Birmingham City University from 2013–15.

From 1995 to 2000, Bowen was a lecturer at the Department of Computer Science, University of Reading where he led the Formal Methods and Software Engineering Group. During 1999, Bowen was a Visiting Research Fellow at the United Nations University International Institute for Software Technology (UNU/IIST), Macau. Previously he was a senior researcher at the Oxford University Computing Laboratory Programming Research, where he worked under the guidance of Sir Tony Hoare, FRS. Between 1979 and 1984, he worked at Imperial College, London as a research assistant, latterly in the interdepartmental Wolfson Microprocessor Laboratory.

Bowen has been involved with the field of computing in both industry (including Marconi Instruments, Logica, Silicon Graphics Inc., and Praxis) and academia since 1977. His interests have ranged from formal methods, safety-critical systems, the Z notation, provably correct systems, rapid prototyping using logic programming, decompilation, hardware compilation, software/hardware co-design, linking semantics, and software testing, to the history of computing, online museums, and virtual communities. He holds an MA degree in Engineering Science from Oxford University.

In 1994, Bowen won the IEE Charles Babbage Premium award. During 1993–97, he managed the ESPRIT ProCoS-WG Working Group of 25 European partners on Provably Correct Systems. He has produced over 350 publications, including 25 books/proceedings, and has served on over 50 programme committees. According to Google Scholar, he has over 5,000 citations and an h-index of 35. For many years, Bowen was Chairman of the Z User Group and a co-chair of the associated meetings and international conferences. He has also been Chairman of the BCS-FACS Specialist Group on the Formal Aspects of Computing Science and a member of the IEEE Computer Society and the ACM.

Bowen is an academic co-editor of Innovations in Systems and Software Engineering: A NASA Journal and has co-edited special issues of journals such as Formal Aspects of Computing. He has co-edited the proceedings of the EVA London conference series on Electronic Visualisation and the Arts since 2006, with a volume of selected revised papers appearing in 2013, published by Springer. In 2012, he co-organized a celebration of Alan Turing’s centenary, Turing’s Worlds, in Oxford. An associated co-edited book, The Turing Guide, was published by Oxford University Press in 2017.

In 2001, Bowen received the Freedom of the Worshipful Company of Information Technologists, the 100th Livery Company in the City of London, later becoming a Liveryman. In 2002, he was elected Chair of the British Computer Society FACS Specialist Group on Formal Aspects of Computer Science and Fellow of the Royal Society for the encouragement of the Arts, Manufactures and Commerce. Bowen became a Fellow of the British Computer Society in 2004 and is now a Life Fellow.