Neil Henderson

	Position:	Research Associate
	E-mail:	neil.henderson ncl.ac.uk
	Telephone:
	Fax:
	Mail:	School of Computing Science, University of Newcastle upon Tyne, Newcastle upon Tyne, NE1 7RU United Kingdom
	Office:	Room 1110 , Claremont Tower
	Disclaimer:	Personal webpages

Brief Biography

Neil Henderson worked in a leading British Clearing Bank from 1975 to 1994.

Neil obtained an honours degree in Computing Science at the University of Newcastle upon Tyne in 1998 and completed his PhD on the use of rigorous techniques to verify properties of asynchronous systems in 2005. He is a Senior Research Associate in the BAE SYSTEMS Dependable Computing Systems Centre which is situated in the Centre for Software Reliability, where he has been employedsince June 1998. His work currently involves the development of rigorous techniques for the specification of safety critical real-time systems, and the formal specification of meta-data for system reconfiguration and for recording properties of the development process.

Publications

A list of publications by Neil Henderson is available.

Research Groups

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

Related Organisations