Steve Riddle

	Position:	Lecturer
	E-mail:	steve.riddle ncl.ac.uk
	Telephone:
	Fax:
	Mail:	School of Computing Science, University of Newcastle upon Tyne, Newcastle upon Tyne, NE1 7RU United Kingdom
	Office:	Room 1109 , Claremont Tower
	Disclaimer:	Personal webpages

Brief Biography

Dr Riddle worked as a
Research Associate on the DCSC (1997 - 2001) and on the EU COPERNICUS
project ISAT (Integration of Safety Analysis Techniques for Process
Control Systems) from October 1995 - May 1997. He obtained his BSc in
Computer Software Technology at the University of Bath in 1991, and went
on to complete a PhD at Bath concerning the use of partial
specifications and formal refinement theory to aid the process of
explaining complex systems.

Publications

A list of publications by Steve Riddle is available.

Research Groups

Steve is a member of the [ Dependability ] research group(s)

Related Organisations