## 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.