Mathematical Institute
AG Pfaffelhuber
Research
Publications
People
Peter Pfaffelhuber
Samuel Adeosun
Carola Heinzel
Sebastian Stroppel
Alumni
Lehre/Teaching
Formal Friday (ongoing)
Interactive Theorem Proving using Lean (SS 2025)
Stochastic Processes (WS 2024)
Measure theory for probabilists (WS 2024)
Probability theory (SS 2024)
Alumni
Jakob Stiefel
Timo Enger
Franz Baumdicker
Felix Hermann
Elisabth Huss
Peter Czuppon
Sebastian Bossert
Andrej Depperschmidt
Cornelia Pokalyuk