Join
our Mailing List.
Published: March 15, 2001. |
![]()
Jonathan Bowen
Jonathan Bowen is Professor of Computing at South Bank University, London where he heads the Centre for Applied Formal Methods. Previously he was a lecturer at the Department of Computer Science, The University of Reading where he led the Formal Methods and Software Engineering Group. Before that 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, hardware/software 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 managed the ESPRIT ProCoS-WG Working Group of 25 European partners (1993-1997) on Provably Correct Systems. He has produced over 160 publications including 11 books, and has served on over 30 program committees. He is the Chairman of the Z User Group and a member of the IEEE Computer Society and the ACM. He was honorary chair, workshop presenter and an invited speaker at the 1st Museums and the Web Conference in 1997 and has participated in all subsequent Museums and the Web conferences. He spent the summer of 1999 as a Visiting Research Fellow at the United Nations University International Institute for Software Technology in Macau. In 1999 and 2000 he acted as guest editor for two special issues of the Museum International journal on Museums and the Internet. More recently he has started to contribute a column on Internet issues to the magazine New Heritage.
Jonathan will present On-line Collections Access at the Museum of English Rural Life |