John Fitzgerald is a specialist in the engineering of resilient computing systems, particularly using rigorous analysis and design tools. He is currently seconded from his roles as Director of the Centre for Software Reliability and Director of Research in the School of Computing Science while he leads for the School on the design of the first university building at Newcastle Science Central - a new home for all our research and teaching activities from autumn 2017.
In his research, he develops model-based methods and tools to help in the design of particularly challenging types of product, especially systems that require collaboration between engineering teams of differing backgrounds and disciplines. He leads Newcastle's research into co-modelling and co-simulation in the design of trustworthy embedded systems (in the DESTECS project and in our EPSRC platform grant on Trustworthy Ambient Systems). In 2011-2014 he led the international COMPASS project, developing technology for engineering complex "Systems-of-Systems" that are built from pre-existing systems that might never have been designed with collaboration in mind. These strands of work come together in the work that he leads on multi-modelling methods in the INTO-CPS project.
The impact of John's research has been felt in the development of model-based engineering methods that have been successfully applied in areas as diverse as options trading and firmware design. He led work in the Deploy project on achieving and demonstrating dependability through the deployment of formal methods in four industry sectors.
John studied formal proof (PhD, Manchester Univ.), before joining Computing Science at Newcastle, where he worked on formal design techniques for avionic systems with British Aerospace in the 1990s. He went on to study the potential for industrial application of formal modelling (specifically VDM) as a SERC Fellow and later as a Lecturer at Newcastle. He returned to the University in 2003, having established the design and validation team at Transitive, a successful SME in the embedded processor market.
John recently completed a term as Chair of FME, the main European body bringing together researchers and practitioners in rigorous methods of systems development. He is a Fellow of the BCS, and a member of the EPSRC College. He is a member of the ACM and IEEE.
1. Chairman of Formal Methods Europe
2. Program Committee memberships: FM, ICTAC, IFM, ICFEM, ABZ, SEFM
3. Editorial Board Membership: The Journal of Aplied Logic (Elsevier)
4. Fellow of the BCS
5. Member of EPSRC College
6. Guest Editorships:, “The Industrialization of Formal Methods” - Special Section of International Journal of Software Tools for Technology Transfer, 2006; Special Issue of Information Processing Letters on Formal techniques in Industrial Applications 2006
John founded the MSc in Computer Security and Resilience. Within the programme, he contributes to the following modules:
John currently teaches on: