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