Jonathan Bowen
![Formal Methods: Whence and Whither? [Martin Fränzle Festkolloquium, 2025]](https://cdn.slidesharecdn.com/ss_thumbnails/mf2025-250305164811-a0930761-thumbnail.jpg?width=640&height=640&fit=bounds)
Persönliche Informationen
Unternehmen / Arbeitsplatz
EVA LondonStandort
Oxford, United Kingdom, England United KingdomBeruf
Emeritus Professor of Computing at London South Bank University & Chairman of Museophile LimitedBranche
Technology / Software / Internet
Webseite
www.jpbowen.comInfo
Jonathan Bowen is Chairman of Museophile Limited, a company supporting museums, especially online. He is also Professor of Computer Science at Birmingham City University from 2013 and an Emeritus Professor at London South Bank University where he has headed the Centre for Applied Formal Methods and a visiting academic at University College London (2006-07). He was a Visiting Professor at King's College London (2007-2009). He is currently a Visiting Professor at the University of Westminster from 2010. He became a Liveryman of the Worshipful Company of Information Technologists (WCIT) in 2011. From 1995 to March 2000, Bowen was a lecturer in the Department of Computer Science at Reading U...