Phone: +44 (0)1904 325420
Fax: +44 (0)1904 325599
Office: CSE/009
E-mail: Send e-mail using web form
Links
...by name, role, phone number, location and more:
Alternatively, use the selection tool below to find the person that you are looking for:
Formal methods of system specification and development; applications of such methods in industry, especially to safety-critical systems.
Member, University Teaching Committee; VLE Advisory Group; Nominations Committee