John S. Fitzgerald FBCS (born 1965) is a British computer scientist.
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.
Fitzgerald was born in Belfast, Northern Ireland,[citation needed] and was educated at Bangor Grammar School and the Victoria University of Manchester.