Application of mathematics to programming language design, programming and software engineering.
BSc Mathematics (Hull)
MSc Computation (Oxon)
DPhil (Oxon)
10 years postgraduate/RA experience
Lecturer since 1992, and since 1993 at York.
Phone: +44 (0)1904 325667
Office: CSE/030E-mail: Send e-mail using web form
Research Group: