Stephen Paynter

	Position:	Visiting Lecturer
	E-mail:	stephen.paynter mbda.co.uk
	Alternate Telephone:
	Mail:	School of Computing Science, University of Newcastle upon Tyne, Newcastle upon Tyne, NE1 7RU United Kingdom

Brief Biography

Stephen Paynter has worked for MBDA UK Ltd. and predecessor companies (e.g. British Aerospace (Dynamics) Ltd and MBD UK Ltd) since 1980. He obtained a BSc in Electrical and Electronic Engineering in 1986 from Brunel University, and a PhD from the Mathematics Department of the University of Southampton in 1993 for formalising the MASCOT software design notation. He has been an industrial customer for the Dependable Computing Systems Centre (DCSC) at York and Newcastle Universities since 1991. Since 1993, he has been researching formal methods for real-time concurrent systems, and working on software safety engineering. He is an honorary visiting lecturer at the Centre for Software Reliability, University of Newcastle.

He has been involved in developing mode-based abstractions of real-time networks, a real-time state-based specification language for concurrent processes, making RTL a true real-time logic, and in modelling the effects of metastability in asynchronous communication mechanisms. He has also investigated how software development processes should be analysed for their product safety implications.

Publications

A list of publications by Stephen Paynter is available.

Research Groups

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

Related Organisations