John Fitzgerald (computer scientist)

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 the Centre for Software Reliability.[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 committee member of BCS-FACS.

Education

Fitzgerald was born in Belfast and was educated at Bangor Grammar School and The University of Manchester. He holds the BSc in Computing and Information Systems and the PhD degrees from the Department of Computer Science at Manchester.

Selected books

See also

Colleagues at Newcastle University:

References

External links


This article is issued from Wikipedia - version of the Saturday, May 02, 2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.