Summer Semester 2016:

  • UE Theoretische Informatik, University of Vienna. Course evaluation here and here.
  • VU Computability Theory, Vienna University of Technology. Course evaluation here.
  • VU Advanced Mathematical Logic, Vienna University of Technology

Winter Semester 2015-2016:

  • UE Discrete and geometric algorithms, Vienna University of Technology
  • VO Propädeutikum für Informatik, Vienna University of Technology

Summer Semester 2015:

Summer Semester 2014:

Summer Semester 2013:

In 2010 and 2011 I taught the following courses at the Department of Mathematics and Geoinformation of the Vienna University of Technology:

  • VU Application Areas of Logic;
  • VU Theoretical Computer Science,
both joint with Matthias Baaz.

From 2004 till 2008 I was an assistant at the Chair of Discrete Mathematics and Informatics at the Novosibirsk State Univerisity. I taught the courses Theory of Algorithms and Mathematical Logic I and II.