Research output per year
Research output per year
Personal profile
Overview
Jonathan Bowen, FBCS FRSA, is Chairman of Museophile Limited (founded in 2002), an Emeritus Professor at London South Bank University, where he was Professor of Computing, establishing and heading the Centre for Applied Formal Methods from 2000 to 2006. From 2017, he has been an Adjunct Professor at Southwest University, Chongqing, China. Between 2013-15, he was Professor of Computer Science at Birmingham City University.
Research Interests
Bowen has been involved with the field of computing in both industry (including Marconi Instruments, Logica, Silicon Graphics Inc., and Altran Praxis) and academia since 1977. His interests have ranged from formal methods, safety-critical systems, the Z notation, provably correct systems, rapid prototyping using logic programming, decompilation, hardware compilation, software/hardware co-design, linking semantics, and software testing, to digital culture, the history of computing, online museums, and virtual communities.
Subjects Taught
Formal methods
World Wide Web
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
Education/Academic qualification
MA Oxon
1977 → 1981
BA Oxon
1974 → 1977
Fingerprint
Dive into the research topics where Jonathan Bowen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
-
Early virtual science museums: when the technology is not mature
Bowen, J., Borda, A., Gaia, G. & Boiano, S., 2 Apr 2024, In: Internet Histories. 8, 1-2, p. 9-33 25 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile2 Citations (Scopus) -
Theoretical and Practical Approach to the Soundness and Completeness of Operational Semantics based on Denotational Semantics for MDESL
Zhao, H., Zhu, H., Sheng, F., He, J. & Bowen, J., 25 Sept 2024, In: Formal Aspects of Computing. 53 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Computational Culture: Transforming Archives Practice and Education for a Post-Covid World
Giannini, T. & Bowen, J. P., 16 Sept 2022, In: Journal on Computing and Cultural Heritage. 15, 3, p. 1-18 18 p., 47.Research output: Contribution to journal › Article › peer-review
Open AccessFile9 Citations (Scopus)1 Downloads (Pure) -
Museums and Digital Culture: From Reality to Digitality in the Age of COVID-19
Giannini, T. & Bowen, J. P., 12 Jan 2022, In: Heritage. 5, 1, p. 192-214 23 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile86 Citations (Scopus)20 Downloads (Pure) -
A Personal View of EVA London: Past, Present, Future
Bowen, J., 6 Jul 2020.Research output: Contribution to conference › Paper