My group is dealing with applications of probability theory in the life sciences. Recently, we started projects in formalization of probability using the Lean interactive Theorem prover.
I am one of three professors at the probability group within the mathematical institute of the University of Freiburg.
Currently, I am member of the directorate of the Freiburg Center for Data Analysis, Modeling and AI (FDMAI).
Please write an email if you want to contact me.
Abteilung für Mathematische Stochastik
Albert-Ludwigs University of Freiburg
Ernst-Zermelo-Straße 1
Zimmer 233
D - 79104 Freiburg
Tel: +49-761-203-5667
E-Mail: p.p@stochastik.uni-freiburg.de
My research is published in both, mathematical and biological
journals.
Here is the list from
MathSciNet
Here is the list from
google scholar
Here is my
orcid profile.