John Fitzgerald

	Position:	Reader
	E-mail:	John.Fitzgerald ncl.ac.uk
	Telephone:
	Alternate Telephone:
	Fax:
	Mail:	School of Computing Science, University of Newcastle upon Tyne, Newcastle upon Tyne, NE1 7RU United Kingdom
	Office:	Room 1018 , Claremont Tower

Brief Biography

John Fitzgerald is a specialist in the engineering of dependable computing systems, particularly in rigorous analysis and design tools. He returned to the University in 2003, having established design and validation activities at Transitive, a successful new SME in the embedded processor market.

John took his BSc (Computing & Information Systems) and his PhD (in modularity and formal proof) at the University of Manchester, before joining the newly-formed BAESYSTEMS Dependable Computing Systems Centre at Newcastle, where he developed specification and design techniques for real-time avionic systems. He went on to study the potential for industrial application of formal modelling (specifically, VDM and its support tools) as an EPSRC Fellow and later as a Lecturer at Newcastle. He has led several EU and industry-supported research projects in the communications, aircraft, software and power sectors. John has worked as a visiting scholar at institutes in Denmark, Japan and Poland and serves on several international program committees. He is Chairman of Formal Methods Europe, the main European body bringing together researchers and practitioners in rigorous methods of systems development. He is a member of the BCS, the ACM and the IEEE Computer Society. He is a member the Committee of the BCS Special Interest group on Formal Aspects of Computing (BCS-FACS).

Publications

A list of publications by John Fitzgerald is available.

Research Groups

John is a member of the [ Dependability ] [ Theoretical Computing Science ] research group(s)

Related Organisations