Teaching

	Year: 2009-2010 Courses: Axiomatic set theory (Undergraduate Mathematics and MSc Logic) Model theory (National Dutch Mastermath and MSc Logic) Seminar on Mathematical Logic (MSc Logic) Project in Randomness and Computability (MSc Logic) Descriptive set theory (MSc Logic) Basics of Computational Complexity (MSc Logic) Institution: University of Amsterdam
	Year: 2008-2009 Courses: Algebra and Discrete Mathematics MATH 114 and Theory of computation MATH 435 (honors course) Institution: Victoria University of Wellington
	Year: 2007-2008 Courses: Theory of computation MATH 435 (honors course) Institution: Victoria University of Wellington
	Year: 2006-2007 Courses: Algorithmic Randomness (graduate course) Institution: University of Leeds Lecture notes:
	Year: 2005-2006 Courses: Introduction to Randomness via Measure (graduate course) Institution: University of Leeds Lecture notes:
	Year: 2005-2006 Courses: Tutorials on Discrete Mathematics, Linear Algebra, Real analysis, Group Theory, Calculus Institution: University of Leeds