vitae

education

–
M.Sc. Computer Science, University of Freiburg
Specialisation in Cyber-Physical Systems. Thesis: Agdasubst: Automated Reasoning for Unified Renaming and Substitution over Scoped and Multi-Sorted Syntax. Final grade 1.0, with distinction.
code
–
B.Sc. Computer Science, University of Freiburg
Thesis: Formal Proof of Type Preservation of the Dictionary Passing Transform for System F. Final grade 1.6.
code
–
Abitur, Theodor-Heuss-Gymnasium Freiburg
Main subjects: mathematics, physics, politics, English, German. Final grade 1.7.

positions

since
PhD student, University of Freiburg
Programming Languages group. Formal verification of concurrency and session types, using proof assistants and dependent types.
–
Student research assistant, University of Freiburg
Mainly teaching assistance, some research, in the Programming Languages group.
–
Software engineer, PTW Dosimetry
Part-time alongside studies. Software testing in C# and JavaScript, verification and validation.

awards and scholarships

Wolfgang-Gentner-Nachwuchsförderpreis, Technische Fakultät, University of Freiburg
Awarded by Volksbank Freiburg for outstanding scientific achievements.

volunteering

since
Youth work with migrant children, Stadtpiraten Freiburg e.V.
Activities and tutoring.
Der Kalender des Scheiterns, Nico Semsrott
Built the website for the calendar. The authors' share of all sales went to Sea-Watch.
code
–
Youth work, KjG St. Peter und Paul, Freiburg-St. Georgen
Summer camps and weekly group work.
–
LabyMod, LabyMedia
Development and team management on one of the largest Minecraft modifications.
–
Fußball-AG, Theodor-Heuss-Gymnasium Freiburg
Ran the school's football club, grades 9 to 12.

certificates

Juleica
The nationwide German card for volunteer youth leaders, awarded after leadership training and a first aid course.

languages