At the Computing Laboratory, I have a special teaching interest in the
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