Tallinn University of Technology, Tallinn, ESTONIA
Autumn 2013 - Advanced programming, graduate course, 6.0 ECP, shared with Juhan Ernits.
Spring 2013 - Advanced algorithms and data structures, graduate course, 6.0 ECP.
Spring 2012 - Type theory, graduate course, 3.0 ECP.
Spring 2012 - Advanced algorithms and data structures, graduate course, 6.0 ECP, shared with Pavel Grigorenko.
Spring 2011 - Advanced algorithms and data structures, graduate course, 6.0 ECP.
The University of Tartu, Tartu, ESTONIA
Autumn 2011 - Type theory, graduate level course, 6.0 ECP, shared with Varmo Vene.
Spring 2010 - Type theory, graduate course, 6.0 ECP, shared with Varmo Vene.