John S. Fitzgerald FBCS (born 1965) is a British computer scientist. He is a professor at Newcastle University. He was the head of the School of Computing before taking on the role of Dean of Strategic Projects in the university’s Faculty of Science, Agriculture and Engineering.[1] His research interests are in the area of dependable computer systems and formal methods, with a background in the VDM.[2] He is a former Chair of Formal Methods Europe and committee member of BCS-FACS.