University | A to Z | Departments
Formal methods applied to safety-critical and secure systems. Heuristics for formally developing systems.
BSc Mathematics (Hull)MSc Computation (Oxon)DPhil (Oxon)
10 years postgraduate/RA experienceLecturer since 1992, and since 1993 at York.
Phone: +44 (0)1904 325667
E-mail: Send e-mail using web formPersonal Homepage: http://www-users.cs.york.ac.uk/~jeremy/
Department of Computer Science
University of York,
© University of York | Modify | Direct Edit