http://www.dirc.org.uk/  
 
   
   
Overview
Research
Sites
People
    Listing
    Fellows
Publications
Events
Related Projects
   
 

Cliff Jones

School of Computing Science , Newcastle University

Cliff is a Professor of Computing Science at Newcastle. His past work has been on formal description of systems and ways of showing rigorously that a design (or program) satisfies a specification. He is now the overall Project Director of the IRC.


Publications


A list of publications by Cliff Jones is available.

Telephone:
+44 (0191) 222 8183/ 8973
Fax:
+44 (0191) 222 8232
Homepage:
Cliff Jones
Email:
cliff.jones@ncl.ac.uk
 
Page Maintainer: webmaster@dirc.org.uk Credits      Project Members only Last Modified: 12 August, 2005