The Mathematical Institute at the University of Freiburg has been home to the AG Pfaffelhuber since 2008. We like interdisciplinary research with applications in the life sciences, in particular we work in the fields of population genetics, forensic genetics, and neuroscience. Recently, there are also activities of formalizing probability using the Lean Theorem Prover.

Here are some upcoming and recent news and activities:

• [May 2026] The first paper written with great help of AI is out.
• [May 2026] Brownian motion has been formalized in Lean, in collaboration with Remy Degenne. See the paper on arXiv.
• [September 2025] Dynamics of interacting populations and beyond.
  Workshop, co-organized with Cornelia Pokalyuk (University of Lübeck) from September 9 to 12, 2025 at the Theodor-Schwartz-Haus at the Baltic Sea, Travemünde.
  There are still a few spots available, please drop us a line if you want to participate.
• [June 2025] Every Friday at 11:00, starting June 27, 2025, we meet in SR 232 in order to discuss formalization of mathematics. This meeting is open to everyone.
• [June 2025] In a collaboration with Remy Degenne, there is a formalization project of Brownian Motion.