John Fitzgerald (computer scientist)
From Wikipedia, the free encyclopedia
John 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. His research interests are in the area of dependable computer systems and formal methods, with a background in the VDM. He is a committee member of BCS-FACS.
Contents |
[edit] Education
Fitzgerald was born in Belfast[citation needed], 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.
[edit] Selected books
- Bicarregui, J.C., Fitzgerald, J.S. and Lindsay, P.A. et al., Proof in VDM: a Practitioner's Guide. Springer Verlag Formal Approaches to Computing and Information Technology (FACIT), 1994. ISBN 3-540-19813-X .
- Fitzgerald, J.S. and Larsen, P.G., Modelling Systems: Practical Tools and Techniques in Software Engineering. Cambridge University Press, 1998 ISBN 0-521-62348-0 (Japanese Edition pub. Iwanami Shoten 2003 ISBN 4-00-005609-3)
- Fitzgerald, J.S., Larsen, P.G., Mukherjee, P. et al., Validated Designs for Object-oriented Systems. Springer Verlag 2005. ISBN 1-85233-881-4
[edit] See also
Colleagues at Newcastle University:
[edit] External links
 |
This article on a computer specialist of the United Kingdom is a stub. You can help Wikipedia by expanding it. |
