BOWEN, JONATHAN / Computer science / Researchers

International Center for Scientific Research


Computer science / BOWEN, JONATHAN


Professor of Computing at the School of Computing, Information Systems and Mathematics (SCISM), South Bank University, United Kingdom.

Chair of the British Computer Society (BCS) FACS Specialist Group on Formal Aspects of Computing Science, 2002.

Research interests

Formal methods;
Provably correct systems;
Hardware compilation;
Safety-critical systems;
Hardware/software co-design;
Logic programming;
Software testing;
The Z notation;
History of computing;
Online museums;
Web accessibility.



Online: Web-based discussion forums. New Heritage, 02.03:36-37, April 2003.

Computer Science entry. In J. L. Heilbron (ed.), The Oxford Companion to the History of Modern Science, Oxford University Press, New York, USA, 2003, pages 171-174. ISBN 0195112296.

Online Museum Discussion Forums; What do we have? What do we need?, Jonathan Bowen, Michael Houghton and Roxane Bernier (Université de Montréal). In David Bearman and Jennifer Trant (eds.), Proc. MW2003: Museums and the Web 2003, Charlotte, USA, 19-22 March 2002.

Online: Museum Computer Network & Museums Computer Group. New Heritage, 01.03:34-36, February 2003.

Online: MUREX National Museum Resources Exhibition. New Heritage, 01.03:35, February 2003.


Automatic Revelation at a Price. The Times Higher Education Supplement, 1566:24, 29 November 2002. Review of A New Kind of ScienceTM, CD-ROM, Stephen Wolfram, Wolfram Research, 2002.

Online: Electronic imaging, the visual arts and beyond. New Heritage, 05.02:7, October 2002.

Weaving the Museum Web: The Virtual Library museums pages. Program: Electronic Library and Information Systems, 36(4):236-252, 2002.

Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog based on Denotational Semantics. Zhu Huibiao, Jonathan P. Bowen and He Jifeng. In Chris George and Huaikou Miao (eds.), Formal Methods and Software Engineering, ICFEM 2002: 4th International Conference on Formal Engineering Methods, Shanghai, China, 21-25 October 2002. Springer-Verlag, LNCS 2495, pages 600-612, 2002.

Maverick Star of Stage and Screen. The Times Higher Education Supplement, 1559:33, 11 October 2002. Review of Free as in Freedom: Richard Stallman's Crusade for Free Software, Sam Williams, O'Reilly, 2002.

Legal notice - Contact

Copyright © 2013 - - All rights reserved