H-Museum : Kopfzeile

homenewsaboutsearchsite mapcontact us -

Information Subscribe Welcome Editors Advisory Board About H
Your Account
Editorial Staff
Advisory Board
About H-Net

Current focus
News digests


 Mail forms

H-Museum : Prof. Dr. Jonathan Bowen

Member of H-MUSEUM Advisory Board

Prof. Jonathan Bowen
Professor of Computing at South Bank University, London

Jonathan Bowen is Professor of Computing at South Bank University where he heads the Centre for Applied Formal Methods. 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 the summer of 1999 he was a Visiting Research Fellow at the United Nations University International Institute for Software Technology (UNU/IIST), Macau. In September 1999 he was the Publicity Chair of the World Congress on Formal Methods (FM'99, Toulouse, France), attracting over 500 delegates, the largest formal methods conference ever held. He also produced two books in 1999 on High-Integrity System Specification and Design and Industrial-Strength Formal Methods in Practice, both in the Springer-Verlag Formal Approaches to Computing and Information Technology (FACIT) series.

During 1999-2000 he guest edited two special issues of the Museum International journal on Museums and the Internet. In the year 2000 he has served on seven programme committees including a special issue on Dependable Computing of the Theoretical Computer Science journal and as a Chair of the ZB2000 International Conference of B and Z Users. He also contributes an Internet column to the magazine New Heritage. He joined the School of Computing, Information Systems and Mathematics (SCISM) at South Bank University, London as Professor of Computing in March 2000. During 2001 he received the Freedom of The Worshipful Company of Information Technologists, the 100th Livery Company in the City of London. In 2002, Bowen 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.

The photo of Jonathan Bowen is from the 'Museums and the Web' conference taken in the Boston Museum of Fine Arts, 17-20 April 2002.

Please choose for a detailed curriculum vitae of Jonathan Bowen: http://www.jpbowen.com

Selected publications (complete list of publications)

Museophile: A Community for Museum E-commerce, Jonathan P. Bowen. In: David Bearman/Jennifer Trant (eds.), Proc. MW2002: Museums and the Web 2002, Boston, USA, 17-20 April 2002.

Tackling web design & Advice on accessible website design, Museums Journal 101(9):41-43.

On-line Collections Access at the Museum of English Rural Life, Jonathan P. Bowen, Roy Brigden, Mary Dyson and Kevin Moran. In: David Bearman/Jennifer Trant (eds.), Proc. MW2001 Museums and the Web conference, Seattle, USA, 14-17 March 2001.

Weaving the Museum Web: Past Present and Future. Proc. SSGRR 2000 Computer & Ebusiness Conference, L'Aquila, Italy, 31 July - 6 August 2000.

The Website of the UK Museum of the Year, 1999, Jonathan P. Bowen and Jane Bowen. In: David Bearman/Jennifer Trant (eds.), Proc. Museums and the Web 2000, Minneapolis, USA, 16-19 April 2000. Archives & Museum Informatics, Pittsburgh, USA, 2000.

Museums and the Internet (2), Museum International 205, 52 (1):3-41. Guest editor. See: The Virtual Museum, pages 4-7.

Museums and the Internet (1), Museum International 204, 51 (4):3-41, October-December 1999. Guest editor. See: Only Connect!, pages 4-7.

Time for Renovations: A Survey of Museum Web Sites. In: David Bearman/Jennifer Trant (eds.), Museums and the Web 1999: Selected papers from an international conference, New Orleans, USA, 11-14 March 1999, pages 163-172, Archives & Museum Informatics, Pittsburgh, Pennsylvania, USA, 1999.

Virtual Visits to Virtual Museums, Jonathan P. Bowen, Jim Bennett and James Johnson. In: Jennifer Trant/David Bearman (eds.), Proc. Museums and the Web 1998, Toronto, Canada, 22-25 April 1998.

Des enquêtes sur les musées en ligne: Le Virtual Library museums pages, Jonathan P. Bowen, Jim Bennett and James Johnson. Publics et Musées, 13:115-127, January-June 1998.

Working the Web, Jonathan P. Bowen, Jim Bennett and Ian Morrison. Museums Journal 97(11):28-29, November 1997.

The Virtual Library museums pages (VLmp): Whence and Whither? In: David Bearman/Jennifer Trant (eds.), Museums and the Web, 1997: Selected Papers, pages 9-25, Archives & Museum Informatics, 5501 Walnut Street, Suite 203, Pittsburgh, Pennsylvania 15232-2311, USA, 1997.

The World Wide Web and the Virtual Library Museums Pages. European Review: Interdisciplinary Journal of the Academia Europaea 5(1):89-104, January 1997.

On-line Museums. Revue: Informatique et Statistique dans les Sciences Humaines 32 (1-4):29-44, 1996. CIPL-LASLA, Université de Liège, Belgium.

The World Wide Web Virtual Library of Museums. Information Services & Use 15 (4):317-324, 1995.

The Virtual Library of Museums. In G. Day (ed.), Proc. Museum Collections and the Information Superhighway, pages 37-39, Science Museum, London, UK, 10 May 1995.

Collections of Collections. Museums Journal 95 (8):24-25, August 1995. See also Unravelling the Web, page 23.

Exhibitions in the Ether. The Times Higher Education Supplement, Multimedia features, page xii, 10 March 1995.


contact us Copyright

© 2001-2003 H-Museum

ISSN 1618-0534-


Information Subscribe Welcome Editors Advisory Board About H