John S. Fitzgerald is a British computer scientist and Chair of Formal Methods Europe.
Education
Fitzgerald was born in Belfast and was educated at Bangor Grammar School and The. He holds the Bachelor of Science in Computing and Information Systems and the Doctor of Philosophy degrees from the Department of Computer Science at Manchester.
Career
His research interests are in the area of dependable computer systems and formal methods, with a background in the VDM. X.
Membership
He is a Reader in the School of Computing Science at Newcastle University, United Kingdom, where he works as a member of the Centre for Software Reliability. He is a committee member of British Computer Society-FACS.