[course] Introduction to Programming
TA ·
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.
news
2026
[course] Functional Programming in Lean
TA ·
[course] Theoretical Computer Science
TA ·
[course] Essentials of Programming Languages
TA ·
2025
[course] Introduction to Programming
TA ·
[course] Concurrency Theory
TA ·
[course] Compiler Construction
TA ·
2024
[course] Introduction to Programming
TA ·
[course] Compiler Construction
TA ·