Seit 2011 Privatdozent, 2007–2010 Lehrbeauftragter, 1996–2007 Wissenschaftlicher Assistent bzw. Angestellter.
- 4-stündige Vorlesung "Algebra und Zahlentheorie": WS 2014/15, 2007/08
- 4-stündige Vorlesung "Diskrete Algebraische Strukturen": SS 2011, 2010, 2009, 1999
- 4-stündige Vorlesung "Mathematik II für Studierende der Informatik": SS 2020, 2019, 2017, 2016, 2015, 2014, 2013, 2012
- 4-stündige Vorlesung "Mathematische Logik": SS 2023
- 4-stündige Vorlesung "Modelltheorie": SS 2021, WS 2018/19, 2015/16; zusammen mit Martin Ziegler: 2012/13
- 2-stündige Vorlesung "Formale Logik" für Studierende der Philosophie: WS 2023/24, 2022/23, 2020/21, 2019/20, 2016/17, 2013/14, 2012/13, 2011/12, 2010/11, 2009/10, 2008/09, 2006/07, 2005/06, 2004/05, 2003/04
- 2-stündige Vorlesung "Gruppentheorie": SS 2002
- 2-stündige Vorlesung "Logik für Studierende der Informatik": WS 2021/22, 2017/18, 2016/17
- 2-stündige Vorlesung "Omega-stabile Gruppen und Cherlins Vermutung": SS 2005
- Proseminar "Kombinatorik": SS 2024, WS 2005/06
- Proseminar "Mathematische Logik": WS 2011/12
- Proseminar "Universelle Algebra": WS 2013/14, SS 2006
- Seminar "Kombinatorische Gruppentheorie": SS 2022
- Seminar "Modelltheorie", zusammen mit Heike Mildenberger: WS 2010/11
- Seminar "Zahlen": WS 2019/20
- Vorkurs Mathematik: WS 2022/23
- Proseminar "Die Idee der Logik bei Aristoteles – Kant – Frege" bzw. "Die Idee der Logik bei Aristoteles und Kant"am Philosophischen Seminar, zusammen mit Roland Muntschicke: SS 2023, 2022
- Seminar "Die Mathematik und das Göttliche", zusammen mit Andreas Henn von der Theologischen Fakultät: SS 2024
- LaTeX-Kurs am Zentrum für Schlüsselqualifikationen: SS 2010, WS 2009/10, 2008/09