Logik und Mengenlehre (Universität Zürich, HS11)
Grundlagen der Mathematik (Universität Zürich, HS09, HS10, HS11, HS12, HS13)
Logik und Mengenlehre (Universität Zürich, HS08/FS09)
Elliptische Kurven und Kryptologie (Universität Bern, FS08)
Logik und Mengenlehre (Universität Zürich, WS05/06)
Linear Algebra (110PMA207, Queen's University Belfast, last 6 weeks of 1st Semester 04/05)
Group Theory (210PMA208, Queen's University Belfast, 2nd Semester 01/02, 02/03, 03/04, and 04/05)
Ancillary Mathematics I (110PMA003/107, Queen's University Belfast, 1st Semester 01/02)
Lineare Algebra I (Universität Basel, WS00/01)
Kombinatorische Algorithmen und Optimierungsprobleme (Universität Bern, WS00/01)