John Fitzgerald (computer scientist)
From Wikipedia, the free encyclopedia
Dr John Fitzgerald is a British computer scientist and Chair of Formal Methods Europe. He holds a readership at Newcastle University, UK. His research interests are in the area of dependable computer systems and formal methods, with a background in the VDM. He holds BSc and PhD degrees from the University of Manchester. He is a committee member of BCS-FACS.
[edit] See also
Colleagues at Newcastle University:
[edit] External links
- Home page
- Publications
- VDM information maintained by John Fitzgerald
