At the **Computing Laboratory**, I have a special teaching interest in the
**MSc
in Mathematics and Foundations of Computer Science**.

**Lecture Courses**:
Models of Computation (2003, 1st year
undergraduate)
Automata, Logic and Games (2004, MSc)
Lambda Calculus (1997, final year
undergraduate / MSc)
Computational Complexity (1999, final
year undergraduate)
Functional
Programming (2004, 1st year undergraduate)

At **Merton College**
(and St. John's College,
1994 - 2004) I direct the studies of undergraduates reading Computer
Science, and Mathematics
and Computer Science, and give tutorials on core subjects in
Computer Science, covering all first-year and about half of the
second-year syllabus. (Optional courses in the second and third years
are taught by classes organized by the Computing Laboratory.) I would
be very happy to talk to anyone thinking of applying to read Computer
Science or Mathematics and Computer Science at Merton College.

**Projects for MSc in Computer Science, FHS (Part C) in MCS/CS 2007-2008 **