[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 ·
[post] An example post
Freiburg ·
[course] Theoretical Computer Science
TA ·
[course] Essentials of Programming Languages
TA ·
[volunteering] Youth work with migrant children
Stadtpiraten Freiburg e.V. · since
[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 · –
2022
[volunteering] Youth work
2020
[position] Software engineer
PTW Dosimetry · –
[volunteering] Der Kalender des Scheiterns
2019
[degree] Abitur
[volunteering] LabyMod
LabyMedia · –