Current teaching
Spring 2011: Model Theory
See the
module webpage on blackboard for more details.
Previous teaching
- Lecturer, MAGIC course: Category Theory, Autumn 2010
- Lecturer, UEA course: Computability, Spring 2010
- Lecturer, Category Theory course
for Oxford graduate students, Michaelmas 2008
- Lecturer, UIC course: Multivariable Calculus, Spring 2007
- Lecturer, UIC graduate course: Model Theory I, Fall 2006
- Stipendiary College Lecturer at Exeter College, 2005/06
- Non-stipendiary lecturer at Jesus College, Michaelmas 2004
- Class tutor for the 4th year Model Theory course, 2003/04,
2004/05, 2005/06
- Teaching assistant for b2 Algebraic structures, finite groups and
Galois theory course, 2003/04 and for the 4th year Model Theory and
Intuitionism courses, 2002/03
- College supervisor for first year Numbers and Sets course,
Queens' College, Cambridge, 2000
- Private tutor for Scottish Higher and Standard grade
Mathematics, 1996/97