Jonathan Bowen

Professor Jonathan Bowen

    20032025

    Research activity 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):

    • SDG 7 - Affordable and Clean Energy
    • SDG 11 - Sustainable Cities and Communities
    • SDG 13 - Climate Action

    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
    View full fingerprint
    View all 32 research outputs