Sebstian 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

E-Mail: sebastian.stroppel@stochastik.uni-freiburg.de

nn

  • Chemical Reaction Netowrks
  • Formalizing probability using Lean