Interests
Application of mathematics to programming language design, programming and software engineering.
Qualifications
BSc Mathematics (Hull)
MSc Computation (Oxon)
DPhil (Oxon)
Career
10 years postgraduate/RA experience
Lecturer since 1992, and since 1993 at York.