Aktuelle Lehrveranstaltungen
Plenumsübung zur Linearen Algebra II (2 SWS)
Lehramt-Plenumsübung zur Linearen Algebra II (2 SWS)
Vergangene Lehrveranstaltungen
Wintersemester 2023/2024
Plenumsübung zur Linearen Algebra I (2 SWS)
Lehramt-Plenumsübung zur Linearen Algebra I (2 SWS)
Wintersemester 2022/2023
Seminar Grundlagen Künstlicher Intelligenz und ihre Vermittlung in allen Fächern
Workshop Grundlagen der Künstlichen Intelligenz und ihre Anwendung in allen Schulfächern an der Justus-Liebig-Universität Gießen (November 2022)
Sommersemester 2022
Vorlesung Reell abgeschlossen Körper und ganzzahlige Anteile (auf Englisch)
Wintersemester 2021/2022
Fachseminar über Algebra und Logik (auf Englisch und Deutsch)
Übungen zur Algorithmischen Algebraischen Geometrie
Seminar Grundlagen Künstlicher Intelligenz und ihre Anwendung in allen Schulfächern
Sommersemester 2021
Pro-/Fachseminar zur Zahlentheorie (auf Englisch und Deutsch)
Plenumsübung zur Algebra II
Plenumsübung zur algebraischen Zahlentheorie
Wintersemester 2020/2021
Proseminar zur Linearen Algebra (auf Englisch und Deutsch)
Plenumsübung und Übungen zur Algebra I
Sommersemester 2020
Plenumsübung und Übungen zur Analysis II
Fachlektorat für Lehrmittel zu weiterführender Mathematik an der IUBH Internationalen Hochschule (April bis Juli 2020)
Wintersemester 2019/2020
Plenumsübung zur Linearen Algebra I
Vorlesung Mathematik 1 an der HTWG Konstanz
Vorlesung Mathematik (WMKE19A) an der DHBW Ravensburg (Oktober bis Dezember 2019)
Vorlesung Mathematik (WMKE19B) an der DHBW Ravensburg (Januar bis März 2020)
Mathewerkstatt
Sommersemester 2019
Übungen zur reellen algebraischen Geometrie II (auf Englisch)
Autor für Lehrmittel zu Statistik an der Allensbach Hochschule Konstanz (Juli bis Oktober 2019)
Wintersemester 2018/2019
Übungen zur reellen algebraischen Geometrie I (auf Englisch)
Sommersemester 2018
Tutorium zur Modelltheorie
Arbeitsgruppe Können Computer denken? Automatisches Beweisen und künstliche Intelligenz auf der Sommerakademie Leysin (Studienstiftung des deutschen Volkes, August 2018)
Wintersemester 2017/2018
Vorlesung Wirtschaftsmathematik (W MS 17 A) an der DHBW Ravensburg (Oktober bis Dezember 2017)
Vorlesung Wirtschaftsmathematik (W MS 17 B) an der DHBW Ravensburg (Januar bis März 2018)
Sommersemester 2017
Tutorium zur Modelltheorie
Wintersemester 2016/2017
Proseminar zur Linearen Algebra (auf Englisch und Deutsch)
Sommersemester 2016
Übungen und Plenumsübung zur Linearen Algebra (B2)
Wintersemester 2015/2016
Übungen und Tutorium zur Algebra (B3)
Wintersemester 2014/2015
Grundlagenübungen (Mathematik) an der Albert-Ludwigs-Universität Freiburg (Dezember 2014 bis Januar 2015)
Übungen zur Vorlesung Logik für Informatiker an der Albert-Ludwigs-Universität Freiburg (Dezember 2014 bis Januar 2015)
Seminare
Seminar Grundlagen Künstlicher Intelligenz und ihre Vermittlung in allen Fächern – März 2023
Fachseminar über Algebra und Logik (auf Englisch und Deutsch) – Wintersemester 2021/2022
Seminar Grundlagen Künstlicher Intelligenz und ihre Anwendung in allen Schulfächern – März 2022
Pro-/Fachseminar zur Zahlentheorie (auf Englisch und Deutsch) – Sommersemester 2021
Proseminar zur Linearen Algebra (auf Englisch und Deutsch) – Wintersemester 2020/2021
Proseminar zur Linearen Algebra (auf Englisch und Deutsch) – Wintersemester 2016/2017