[course] Introduction to Programming
TA ·
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
[course] Functional Programming in Lean
TA ·
[supervision] Pattern Matching Exhaustiveness and Redundancy Checker
Bachelor's project · Tyler ·
[supervision] Mini Rust Compiler
Master's project · Michael ·
[course] Theoretical Computer Science
TA ·
[course] Essentials of Programming Languages
TA ·
[supervision] Extending the Compiler Construction Compiler with Classes
Bachelor's project · Vincent ·
[award] Wolfgang-Gentner-Nachwuchsförderpreis
2025
[course] Introduction to Programming
TA ·
[course] Concurrency Theory
TA ·
[position] PhD student
University of Freiburg · since
[position] Student research assistant
[course] Compiler Construction
TA ·
[degree] M.Sc. Computer Science
University of Freiburg · –
2024
[course] Introduction to Programming
TA ·
[workshop paper] Intrinsically Typed Syntax, a Logical Relation, and the Scourge of the Transfer Lemma
TyDe 2024 ·
[course] Compiler Construction
TA ·
2023
[degree] B.Sc. Computer Science
University of Freiburg · –