Tallinn University of Technology, Tallinn, ESTONIA

This semester I am giving a graduate course on advanced algorithms to a mixture of PhD and Master's students.

The University of Tartu, Tartu, ESTONIA

In the Spring of 2010 I gave a graduate course on type theory to an audience of PhD students and Master’s students in Tartu with Varmo Vene.

The University of Nottingham, Ningbo, CHINA

From September 2006 until April 2007 I worked as a teaching fellow at Nottingham University Ningbo, China. I gave a 22 lecture undergraduate course on functional programming and also helped with the Java programming course and the logic course.

The University of Nottingham, Nottingham, UK

Between 2004 and 2008 I was a tutor on the following courses: Computer Aided Formal Reasoning; Functional Programming; Compilers; Mathematics for Computer Scientists; Database Systems.