Research Students

Tom Sterkenburg University of Amsterdam (MSc, February 2011) Thesis: Sequences with trivial initial segment complexity Format: PDF

Charlotte Vlek University of Amsterdam (MSc, September 2010) Thesis: Definability in the degrees of randomness Format: PDF

Anthony Morphett University of Leeds, PhD (co-supervised with S.B. Cooper) 2009 Thesis: Degrees of Computability and Randomness Format: PDF

Taught Courses

Year: 2010-2011 Fall Institution: University of Amsterdam Courses: Mathematical Logic (Undergraduate Mathematics) Introduction to Logic in Computer Science (MSc Logic)

Year: 2009-2010 Spring Institution: University of Amsterdam Courses: Project in Randomness and Computability II (MSc Logic) Axiomatic set theory (Undergraduate Mathematics and MSc Logic) Model theory (National Dutch Mastermath and MSc Logic) Seminar on Mathematical Logic (MSc Logic)

Year: 2009-2010 Fall Institution: University of Amsterdam Courses: Project in Randomness and Computability (MSc Logic) Descriptive set theory (MSc Logic) Basics of Computational Complexity (MSc Logic)

Year: 2008-2009 Institution: Victoria University of Wellington Courses: Algebra and Discrete Mathematics MATH 114 and Theory of computation MATH 435 (honors course)

Year: 2007-2008 Institution: Victoria University of Wellington Courses: Theory of computation MATH 435 (honors course)

Year: 2006-2007 Institution: University of Leeds Courses: Algorithmic Randomness (graduate course) Lecture notes: PDF

Year: 2005-2006 Institution: University of Leeds Courses: Introduction to Randomness via Measure (graduate course) Lecture notes: PDF

Year: 2003-2005 Institution: University of Leeds Courses: Tutorials on Discrete Mathematics, Linear Algebra, Real analysis, Group Theory, Calculus