Dr John Fitzgerald is a British computer scientist and Chair of Formal Methods Europe. He holds a readership at Newcastle University, UK. His research interests are in the area of dependable computer systems and formal methods, with a background in the VDM. He holds BSc and PhD degrees from the University of Manchester. He is a committee member of BCS-FACS. Wikipedia
The definitive Wikipedia entry for John Fitzgerald. Wikipedia is the biggest multilingual free-content encyclopedia on the Internet. en.wikipedia.org/wiki/John_Fitzgerald_%28computer_scienti...
John Fitzgerald is a specialist in the engineering of dependable computing systems, particularly in rigorous analysis and design tools. His research concerns the use of formal methods, especially machine-assisted proof, to analyse models of systems in th www.cs.ncl.ac.uk/people/home.php?id=129