The Charles Babbage Premium, awarded in 1994, marked an early recognition of Jonathan Bowen’s influence on software engineering. Born in 1956 in Oxford, United Kingdom, he established a career spanning academia and industry, focusing on formal methods and the intersection of computing with cultural heritage, eventually contributing to the foundational understanding of systems verification and digital museum informatics.
Formal Methods and Software Verification
Bowen’s academic and professional life centers on formal methods, with a particular emphasis on Z notation. His research addresses the need for provably correct systems in software engineering, a field he advanced through numerous publications including Towards Verified Systems and Applications of Formal Methods. Between 2000 and 2006, he led the Centre for Applied Formal Methods at London South Bank University. His work in this domain extends to the editorial boards of academic journals such as Innovations in Systems and Software Engineering and ACM Computing Surveys, where he focused on the practical application of rigorous mathematical techniques to software design.
Twenty questions, eight minutes on the clock, and a percentile measured against everyone who has taken it. No sign-up.
Take the IQ test →Digital Culture and Museology
Beyond engineering, Bowen holds a significant interest in the application of information technology to museums. In 1994, he created the Virtual Library museums pages, which became an early internet directory adopted by the International Council of Museums. This trajectory continued with the development of the Virtual Museum of Computing. In 2002, he founded Museophile Limited to support digital initiatives within cultural institutions. His recent academic output, including Museums and Digital Culture and The Arts and Computational Culture, examines the shift of traditional collections into digital environments.
Industry Roles and Professional Affiliations
Bowen’s career bridges the divide between university research and commercial implementation. His industry experience includes positions at Marconi Instruments Limited, Oxford Instruments, Silicon Graphics, and Altran Praxis, where he engaged with industrial applications of Z notation. His academic portfolio includes teaching and research roles at London South Bank University, King's College London, the University of Reading, and various visiting positions at University College London and the Pratt Institute. He holds fellowships with the British Computer Society and the Royal Society of Arts, and maintains status as a liveryman.
Fast facts
- Born: 1956, Oxford
- Citizenship: United Kingdom
- Field: Computer science
- Key Interest: Z notation
- Award: Charles Babbage Premium (1994)
- Notable Work: The Turing Guide
- Educational background: University College, Oxford
Questions readers ask
What is Jonathan Bowen's contribution to museum studies?
He developed the Virtual Library museums pages and founded Museophile Limited to facilitate the integration of information technology into museum environments.
What professional recognition has he received?
He received the Charles Babbage Premium in 1994 and is a Fellow of the British Computer Society and the Royal Society of Arts.
Achievements
- Notable work: The Turing Guide
- Notable work: Museums and Digital Culture
- Notable work: Digital Technologies and the Museum Experience
- Notable work: Towards Verified Systems
- Affiliated with University College London, Imperial College London and King's College London
- Educated at Dragon School, University College, Oxford and Bryanston School
- Worked as computer scientist, engineer and writer
