Teaching
- Tutorial: How to write a research paper, CNAM, Paris, France, 8. July (CICM 2010 Doctoral Programme)
- Course (4+2): Artificial Intelligence, Building E1.3, HS 002, Tu 14-16, Th 14-16 (WS 2006/2007)
- Course (2+4): Einführung in die Informatik für Hörer aller Fakultäten II, E2.5, HS 001, Do 16-18 (WS 2006/2007)
- Seminar: Mathematical Assistant Systems Shootout, Blockseminar (SS 2006)
- Course (2+4): Einführung in die Informatik für Hörer aller Fakultäten II, SR 015, Geb. E1.3, Do 14-16 (WS 2005/2006)
- Seminar: Mathematical Assistant Systems Shootout, Blockseminar (SS 2005)
- Course (4+2): Artificial Intelligence, Geb 45, HS 002, Mo 14-16, We 14-16 (SS 2005)
- Course (4+2): Mathematical Assistant Systems, Lecture Hall 003, Building 45, Mondays 9-11 and Thursdays 11-13 (WS 2004/2005)
- Course (4+2): Human-Oriented Theorem Proving, Lecture Hall 003, Building 45, Tuesday 11-13 and Thursday 14-16 (WS 2003/2004)
- Assistant: Artificial Intelligence, Tu Geb 45 HS 001, Th Geb 45 HS 002, Tu 9-11, Th 9-11 (SS 2003)
- Proseminar: Tutorielle Systeme, Blockseminar (WS 2000/2001)
- Assistant: Informatik IV, Geb 45, HS 003, Tu 14-16, Th 14-16 (WS 1999/2000)
- Assistant: Artificial Intelligence, Tu Geb 45 HS 001, Th Geb 45 HS 002, Tu 9-11, Th 9-11 (SS 1997)