John Fitzgerald

About

John is an Emeritus Professor in the School of Computing, where he works on the rigorous model-based engineering of software and cyber-physical systems. He studied formal proof in Computing (PhD, Manchester University), before joining Newcastle, where he worked on design techniques for avionic systems with British Aerospace in the 1990s. He went on to study the potential for industrial application of such techniques as a SERC Fellow and later as a Lecturer at Newcastle. He established the design and validation team at Transitive, a successful SME in the embedded processor market, before returning to the University in 2003 as Reader and later Professor. John was the academic lead for Computing on the design of the Urban Sciences Building - the first major university building at Newcastle He

Education

• PhD Computing, Manchester University

Selected publications

• Modelling the impacts of crowds on occupants in the built environment—A static, rule-based approach to human perception and movement
• Systems of Systems Engineering: Basic Concepts, Model-Based Techniques, and Research Directions
• Detecting insider threats using ben-ware: Beneficial intelligent software for identifying anomalous human behaviour
• A formal approach to collaborative modelling and co-simulation for embedded systems
• The Overture Initiative Integrating Tools for VDM
• Practice-oriented courses in formal methods using VDM++
• Methods for the Development of Distributed Real-Time Embedded Systems using VDM
• Formal Methods: Practice and Experience
• VDMTools: advances in support for formal modeling in VDM
• The connection between two ways of reasoning about partial functions