School of Computing Science
Newcastle upon Tyne
Tel: +44 (0) 191 222 8228
Fax: +44 (0) 191 222 8232
Email: John.Fitzgerald at ncl.ac.uk
Skype: johnfnewcastle 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.