Teaching
| 2025S | Algebra für InformatikerInnen (Exercises, JKU) |
| Mathematik 1 – Algebra (Lecture, FHH) | |
| 2024W | Logische und formale Grundlagen der Informatik (Lecture, FHH) |
| 2024S | Algebra für InformatikerInnen (Lecture, JKU) |
| Mathematik 1 – Algebra (Lecture, FHH) | |
| 2023W | Logische und formale Grundlagen der Informatik (Lecture, FHH) |
| 2023S | Algebra für InformatikerInnen (Lecture, JKU) |
| Mathematik 1 – Algebra (Lecture, FHH) | |
| 2022W | Logische und formale Grundlagen der Informatik (Lecture, FHH) |
| 2022S | Algebra für InformatikerInnen (Lecture, JKU) |
| Mathematik 1 – Algebra (Lecture, FHH) | |
| 2021W | Mathematik 1 für Mechatronik, Kunststofftechnik, Elektronik und Informationstechnik, Medical Engineering, Maschinenbau (Lecture, JKU) |
| Logische und formale Grundlagen der Informatik (Lecture, FHH) | |
| 2021S | Algebra für InformatikerInnen (Lecture, JKU) |
| Mathematik 1 – Algebra (Lecture, FHH) | |
| 2020W | Logische und formale Grundlagen der Informatik (Lecture, FHH) |
| 2020S | Algebra für InformatikerInnen (Lecture, JKU) |
| Mathematik 1 – Algebra (Lecture, FHH) | |
| 2019W | Logische und formale Grundlagen der Informatik (Lecture, FHH) |
| Mathematik und Logik (Exercises, JKU) | |
| 2019S | Algebra für InformatikerInnen (Exercises, JKU) |
| Mathematik 1 – Algebra (Lecture, FHH) | |
| 2018W | Logische und formale Grundlagen der Informatik (Lecture, FHH) |
| 2018S | Mathematik 2 für Mechatronik, Kunststofftechnik, Elektronik und Informationstechnik (Lecture, JKU) |
| Mathematik 1 – Algebra (Lecture, FHH) | |
| 2017W | Mathematik 1 für Mechatronik, Kunststofftechnik, Elektronik und Informationstechnik (Lecture, JKU) |
| Logische und formale Grundlagen der Informatik (Lecture, FHH) | |
| 2017S | Algebra für InformatikerInnen (Exercises, JKU) |
| Mathematik 1 – Algebra (Lecture, FHH) | |
| 2016W | Logische und formale Grundlagen der Informatik (Lecture, FHH) |
| 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