Centre for Software Reliability
School of Computing Science
Newcastle University
Newcastle upon Tyne
NE1 7RU
United Kingdom
Tel: +44 (0) 191 222 8228
Fax: +44 (0) 191 222 8232
Email: John.Fitzgerald at ncl.ac.uk
Skype: johnfnewcastle
I’m a member of the
Dependability
Group in the School of Computing Science at Newcastle and Director from 2012 of the
Centre for Software Reliability, where I work on formal methods for building and analysing trustworthy computing
systems. I'm currently Principal Investigator on two research projects in this area:
COMPASS, which focuses on the challenges of model-based construction and analysis of ``systems-of-systems'', and
DESTECS, which looks at the ways
in which formal modelling can help make the early stages of design of embedded systems more efficient. I'm also a contributor to
the
DEPLOY project,
leading its work package on Achieving and Demonstrating Dependability
through the deployment of formal methods in four major industry
sectors; and to the TrAmS platform grant on Trustworthy Ambient Systems.