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 form
Department of Computer Science
University of York,
Legal statements | Privacy | Cookies | Accessibility
© University of York | Modify | Direct Edit