Grundstrukturen (ETH Zürich, FS24)
Themen in kombinatorischer Mengenlehre (Seminar, ETH Zürich, FS24)
Mengenlehre ohne Auswahlaxiom (Seminar, ETH Zürich, HS23)
Forcing: Einführung in Unabhängigkeitsbeweise (ETH Zürich, HS15, FS18, FS23)
Axiomatische Mengenlehre (ETH Zürich, FS15, HS17, HS22)
Grundstrukturen (ETH Zürich, FS22)
Algebra II (ETH Zürich, FS22)
Die Gödel'schen Sätze (ETH Zürich, HS14, FS17, HS19, HS21)
Das Auswahlaxiom (zwei Seminare, ETH Zürich, FS19, FS20)
Multilineare Algebra und ihre Anwendungen (ETH Zürich, FS15, FS20)
Die Grundlagen der Analysis aus philosophischer und historischer Sicht (Seminar mit G.Sommaruga, ETH Zürich, FS17, HS18, FS20)
Die Entwicklung der Mengentheorie als Fundament der Analysis und Algebra (Seminar mit G.Sommaruga, ETH Zürich, FS19)
Elliptische Kurven und Kryptographie (ETH Zürich, HS18)
Algebra II (ETH Zürich, FS17)
Das Auswahlaxiom (ETH Zürich, FS16)
Logik: von Aristoteles bis Gödel (Seminar mit G.Sommaruga, ETH Zürich, HS14, FS16)
Das Unendliche in der Philosophie, Mathematik, Logik und Physik (Seminar mit G.Sommaruga, ETH Zürich, HS12, FS13)
Logik und Mengenlehre (Universität Zürich, HS11)
Grundlagen der Mathematik (Universität Zürich, HS09, HS10, HS11, HS12, HS13, HS14, HS15)
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)