[volunteering] Youth work with migrant children
Stadtpiraten Freiburg e.V. · since
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
[award] Wolfgang-Gentner-Nachwuchsförderpreis
2025
[position] PhD student
University of Freiburg · since
[position] Student research assistant
[degree] M.Sc. Computer Science
University of Freiburg · –
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 · –