Lehre
Master Computational Mathematics
Im Master halte ich im Geometriebereich die Vorlesungen Real Algebra (4V+2Ü) und Real Algebraic Geometry (4V+2Ü).
Im Bereich Logik biete ich die Vorlesungen Model Theory (4V+2Ü) und Advanced Model Theory (2V+2Ü) an.
Bachelor Mathematik
Im Bachelor biete ich wechselnd mit dem Lehrstuhl für Mathematische Logik jährlich die Vorlesung Mathematische Logik (4V+2Ü) an.
Des Weiteren halte ich die Grundlagenvorlesungen sowie Algebra, Geometrie und Funktionentheorie. Diese sind auch für das Lehramt Mathematik Gymnasium.
Zusammen mit dem Lehrstuhl für Mathematische Logik halten wir das Oberseminar Reine Mathematik ab.