Jon Burton

	Position:	Guest Member of Staff
	E-mail:	j.i.burton ncl.ac.uk
	Telephone:
	Fax:
	Mail:	School of Computing Science, University of Newcastle upon Tyne, Newcastle upon Tyne, NE1 7RU United Kingdom
	Office:	Room 1014 , Claremont Tower
	Disclaimer:	Personal webpages

Brief Biography

Jon Burton has a History degree from Cambridge University and an MSc and PhD in Computing Science from Newcastle University. He is currently employed as an RA in the Centre for Software Reliability in the School of Computing Science at Newcastle.

His research focuses on the formal verification of concurrent systems. The work in his PhD explored the way in which the process algebra CSP may be used to verify correctness when development of an implementation from a specification involves changing the level of abstraction of interface events and also relaxing the atomicity of those events. Although these changes are rather natural during the process of stepwise development, CSP and indeed other process algebras can usually only deal with them AFTER the relevant changes have been hidden.

At the present moment, he is working in the area of "atomicity refinement". The goal is to develop a formal, compositional development method which will allow the introduction of concurrency to a particular process or system in such a way that the behaviour of the original is preserved in any valid context.

Publications

A list of publications by Jon Burton is available.

Research Groups

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

Related Organisations