Professor of Computing at South
Bank University, London
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.
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).
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.
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.
photo of Jonathan Bowen is from the 'Museums
and the Web' conference taken in the Boston
Museum of Fine Arts, 17-20 April 2002.
for a detailed curriculum vitae of Jonathan Bowen: http://www.jpbowen.com
list of publications)
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.
design & Advice on accessible website design, Museums Journal
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.
Museum Web: Past Present and Future. Proc. SSGRR 2000 Computer &
Ebusiness Conference, L'Aquila, Italy, 31 July - 6 August 2000.
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.
the Internet (2), Museum International 205, 52 (1):3-41. Guest editor.
See: The Virtual Museum, pages 4-7.
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.
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.
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.
Web, Jonathan P. Bowen, Jim Bennett and Ian Morrison. Museums Journal
97(11):28-29, November 1997.
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.
Revue: Informatique et Statistique dans les Sciences Humaines 32
(1-4):29-44, 1996. CIPL-LASLA, Université de Liège,
The World Wide
Web Virtual Library of Museums. Information Services & Use 15
Library of Museums. In G. Day (ed.), Proc. Museum Collections and
the Information Superhighway, pages 37-39, Science Museum, London,
UK, 10 May 1995.
of Collections. Museums Journal 95 (8):24-25, August 1995. See also
Unravelling the Web, page 23.
in the Ether. The Times Higher Education Supplement, Multimedia
features, page xii, 10 March 1995.