Teaching

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:

• UE Theoretische Informatik, University of Vienna
• VU Computability Theory, Vienna University of Technology

Summer Semester 2014:

• UE Theoretische Informatik, University of Vienna. Course evaluation here and here.
• UE Grundbegriffe der mathematischen Logik, University of Vienna. Course evaluation here and here.

Summer Semester 2013:

• UE Theoretische Informatik, University of Vienna

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.