Cliff Jones

	Position:	Professor, Research Director
	E-mail:	cliff.jones 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 1108 , Claremont Tower
	Disclaimer:	Personal webpages

Brief Biography

Cliff Jones is one of the Professors of Computing Science at Newcastle. Within the School of Computing Science he acts as Research Director.
Currently his own major research project is the five university IRC on "Dependability of Computer-Based Systems" of which he is overall Project Director.

Cliff has actually spent more of his career in industry than academia. Fifteen years in IBM saw among other things the creation with colleagues in Vienna of VDM which is one of the better known "formal methods". After that time he received a (late) Doctorate under Tony Hoare in Oxford in 1981 and immediately moved to a chair at Manchester University where he built a strong Formal Methods group which -among other projects- was the academic partner in the largest Alvey Software Engineering project (IPSE 2.5 created the "mural" theorem proving assistant). During his time at Manchester, Cliff had a 5-year "Senior Fellowship" and spent a sabbatical at Cambridge with the Newton Institute event on "Semantics". Much of his research at this time focused on formal (compositional) development methods for concurrent systems.

In 1996 he moved to Harlequin, directing some 50 developers on Information Management projects and finally became overall Technical Director before leaving to re-join academia in 1999.

Cliff's interests in formal methods have now broadened to reflect wider issues of dependability. Cliff is a Fellow of the Royal Academy of Engineering (FREng), ACM, BCS,
and IEE.

Publications

A list of publications by Cliff Jones is available.

Research Groups

Cliff is a member of the [ Dependability ] [ Data-Intensive Systems Research ] [ Theoretical Computing Science ] research group(s)

Related Organisations