John Fitzgerald

John S. Fitzgerald FBCS (nascido em 1965) é um cientista da computação britânico. Ele é professor na Newcastle University. Ele foi chefe da School of Computing antes de assumir o cargo de Dean of Strategic Projects na Faculty of Science, Agriculture and Engineering da universidade. Seus interesses de pesquisa estão na área de sistemas computacionais confiáveis e métodos formais, com experiência em VDM. Ele é ex-presidente da Formal Methods Europe e membro do comitê da BCS-FACS. Educação Fitzgerald nasceu em Belfast, Northern Ireland, e estudou em Bangor Grammar School e na Victoria University of Manchester. Ele possui os títulos de BSc em Computing and Information Systems e PhD do Department of Computer Science em Manchester. Livros selecionados 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. . Fitzgerald, J.S. and Larsen, P.G., Modelling Systems: Practical Tools and Techniques in Software Engineering. Cambridge University Press, 1998. . (Japanese Edition pub. Iwanami Shoten, 2003. .) Fitzgerald, J.S., Larsen, P.G., Mukherjee, P. et al., Validated Designs for Object-oriented Systems. Springer-Verlag, 2005. . Veja também Colegas na Newcastle University: Cliff Jones Brian Randell