Teaching

2016S Lineare Algebra und Analytische Geometrie 2 (Exercises, JKU)
Mathematik 1 – Algebra (Lecture, FHH)
2015W Lineare Algebra und Analytische Geometrie 1 (Exercises, JKU)
Mathematik und Logik für Wirtschaftsinformatiker (Exercises, JKU)
Logische und formale Grundlagen der Informatik (Lecture, FHH)
2015S Mathematik 1 – Algebra (Lecture, FHH)
2014W Logische und formale Grundlagen der Informatik (Lecture, FHH)
2013W Knot Theory and Computer Algebra (Lecture, JKU)
Analysis (Mathematik 2 für Informatiker) (Exercises, JKU)
Logische und formale Grundlagen der Informatik (Lecture, FHH)
2012W Analysis (Mathematik 2 für Informatiker) (Exercises, JKU)
Logische und formale Grundlagen der Informatik (Lecture, FHH)
2011W Logische und formale Grundlagen der Informatik (Lecture, FHH)
2010W Computer Algebra Systems (Lecture, JKU)
Analysis (Mathematik 2 für Informatiker) (Exercises, JKU)
Logische und formale Grundlagen der Informatik (Exercises, FHH)
2008W Computer Algebra Systems (Lecture, JKU)
Analysis für Informatiker (Exercises, JKU)
2007W Berechenbarkeit und Komplexität (Exercises, JKU)
2007S Analysis für Informatiker (Exercises, JKU)
2006W Formale Grundlagen 2 (Exercises, JKU)
2005S Einführung in die Theoretische Informatik II (Exercises, FAU)
2004S Einführung in die Theoretische Informatik III (Exercises, FAU)
2003W Einführung in die Theoretische Informatik II (Exercises, FAU)
Mathematik für Ingenieure I (Exercises, FAU)
2003S Einführung in die Theoretische Informatik III (Exercises, FAU)
2002W Mathematik für Ingenieure III (Exercises, FAU)
Organisation und Technologie von Rechensystemen I (Exercises, FAU)
2002S Mathematik für Ingenieure II (Exercises, FAU)
2001W    Mathematik für Ingenieure I (Exercises, FAU)

Acronyms:
FAU = Friedrich-Alexander-Universität Erlangen-Nürnberg
FHH = Fachhochschule Hagenberg
JKU = Johannes Kepler Universität Linz