College Lecturer, Magdalen College
Emeritus Fellow, Worcester College
- Computer-based support for Refinement and Proof.
- Formal methods, Abstraction, and Patterns in system design
- Programming language design and implementation
- User Interface Design for Diagnostic and Therapeutic applications of computers
- Instrument Design for Psychometric Experiments
See my personal pages for more details; and see my project pages for a list of suggested M.Sc. and Undergraduate projects.
My current PGP/GPG Public Key is here. Please don't use those I made before 2000.