Speaker Biographies

Museums and the Web: An International Conference
Los Angeles, CA, March 16 - 19, 1997

Jonathan Bowen

Jonathan Bowen is a lecturer at the Department of Computer Science, University of Reading where he leads the Formal Methods and Software Engineering Group. Previously he was a senior researcher at the Oxford University Computing Laboratory. He has worked in the field of computing in both industry 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 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 currently manages the ESPRIT ProCoS-WG Working Group of 25 European partners. He has produced over a hundred publications and six books, and has served on fifteen programme committees. He is the Chairman of the Z User Group has served on 15 programme committees, and a member of the IEEE Computer Society and the ACM. In 1997 he is an invited speaker at the ENCRESS International Conference on Reliability, Quality and Safety of Software-Intensive Systems.

Copyright Archives & Museum Informatics, 1997

Archives & Museum Informatics Museums and the Web Register Exhibit Sponsor Program

Last modified: February 28, 1997
This file can be found below http://www.archimuse.com
Send questions and comments to info@archimuse.com