John S. Fitzgerald (born 1965) is a British computer scientist and Chair of Formal Methods Europe. He is a Reader in the School of Computing Science at Newcastle University, UK, where he works as a member of theCentre for Software Reliability. His research interests are in the area of dependable computer systems and formal methods, with a background in the VDM. He is a committee member of BCS-FACS.

This author page uses material from the Wikipedia article "John Fitzgerald", which is released under the Creative Commons Attribution-Share-Alike License 3.0