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
2026
2025
[position] PhD student
University of Freiburg · since
[position] Student research assistant
[degree] M.Sc. Computer Science
University of Freiburg · –
2024
[workshop paper] Intrinsically Typed Syntax, a Logical Relation, and the Scourge of the Transfer Lemma
TyDe 2024 ·
2023
[degree] B.Sc. Computer Science
University of Freiburg · –