Jonathan Bowen

Jonathan 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. During 2007-09, he was a Visiting Professor at King's College, London. During 2008-09, he was an Associate at Praxis High Integrity Systems. From 2010, he is a Visiting Professor at the University of Westminster. From 1995 to March 2000, Bowen was a lecturer at the Department of Computer Science, University of Reading where he led the Formal Methods and Software Engineering Group. Previously he was a senior researcher at the Oxford University Computing Laboratory Programming Research Group 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. He has been involved with the field of computing in both industry (including Marconi Instruments, Logica and Silicon Graphics Inc.) and academia since 1977. His interests include formal methods, safety-critical systems, the Z notation, provably correct systems, rapid prototyping using logic programming, decompilation, hardware compilation, software/hardware co-design, the history of computing and on-line museums. He holds an MA degree in Engineering Science from Oxford University. Bowen won the 1994 IEE Charles Babbage Premium award and managed the ESPRIT ProCoS-WG Working Group of 25 European partners (1993-1997) on Provably Correct Systems. He has produced over 150 publications and ten books, and has served on about 25 programme committees. He is the Chairman of the Z User Group and a member of the IEEE Computer Society and the ACM. In 1997, he was Conference Chair of the 10th International Conference of Z Users (ZUM'97, University of Reading, UK), Honorary Chair, workshop presenter and invited speaker at the 1st Museums and the Web Conference (MW97, Los Angeles, USA) and an invited speaker at the 3rd International Conference on Reliability, Quality and Safety of Software-Intensive Systems (ENCRESS'97, Athens, Greece). He was Programme Co-chair of ZUM'98 (Berlin, Germany). In February 1999 he gave invited talks at the Institute of Systems & Information Technologies (ISIT), Kyushu, Japan and was the keynote speaker at the 2nd Joint Workshop on Systems Development, Cheju, Korea. During