Marius Weidner

PhD student in programming languages, University of Freiburg

I am interested in formal verification of concurrent systems, for which I use proof assistants and dependent types. Besides research, I enjoy teaching, working with young people, and sports and nature.

news

Nothing here yet.