Sebastian Stroppel
Currently, I am a PhD student in the probability group within the mathematical institute of the University of Freiburg.
Adress:
Abteilung für Mathematische Stochastik
Albert-Ludwigs University of Freiburg
Ernst-Zermelo-Straße 1
Room 231
D - 79104 Freiburg
- Chemical Reaction Netowrks
- Formalizing probability using Lean
- Simulation-based validation of Bayes factor computation. submitted. 2025.