[post] An example post
Freiburg ·
Marius Weidner
PhD student in programming languages, University of Freiburg · contact
I am interested in formal verification of concurrent systems using session types, for which I use proof assistants and dependent types. Besides research, I enjoy teaching, working with young people, and sports, nature and adventure.