M.Sc. Informatik
Technische Universität München
Schwerpunkte: Formale Methoden, Theorie der Programmiersprachen
gut bestanden (Gesamtnote: 1,9)
01.2023–12.2025
B.Sc. Informatik
Technische Universität München
gut bestanden (Gesamtnote: 1,7)
10.2019–12.2022
Ontario Secondary School Diploma
Glebe Collegiate Institute, Ottawa (Kanada)
09.2015–06.2019
Studentische Hilfskraft
Lehrstuhl I2, Technische Universität München
Entwicklung eines skalierbaren Tools für OCaml-Programmieraufgaben; vollständig automatisierte Korrektur von 33 Haus- und 6 Klausuraufgaben mit sofortigem Feedback für 1.500 Studierende einer Vorlesung zur funktionalen Programmierung
Implementierung eines Syntaxbaum-Präprozessors und einer modifizierten Standardbibliothek zur gezielten Einschränkung von OCaml-Features zur Förderung des Lernerfolgs
Entwurf von 40% der Klausuraufgaben und Überprüfung der übrigen Aufgaben hinsichtlich Schwierigkeit und Verständlichkeit, um Nachkorrekturen zu vermeiden
04.2024–09.2024,
04.2023–09.2023,
10.2021–09.2022
Studentische Hilfskraft
Lehrstuhl I2, Technische Universität München
Weiterentwicklung von Goblint (statische Analyse von C): noreturn-Support, Unterstützung benutzerdefinierter Threading-Bibliotheken, und Eliminierung von Dead Code
10.2022–03.2023
Tutor (Studentische Hilfskraft)
CAPS, Technische Universität München
Implementierung von automatisch ausgewerteten C- und x86-64-Assembler-Aufgaben mithilfe von Python und dem RASPsim-CPU-Emulator
04.2021–09.2021
Entwickler (Schüler)
Field Effect Software, Ottawa (Kanada)
Entwicklung von Python-Tools zur Analyze von DNS-Verkehr
07.2018–08.2018
Lang, M.; Petzendorfer, N. Less Power for More Learning: Restricting OCaml Features for Effective Teaching. Vortrag beim OCaml Users and Developers Workshop, 09.09.2023. (online).
Deutsch, Englisch (Muttersprachen)
Französisch (B2)
Wahlhelfer
Stadt München
Auszählung von Stimmzetteln und Fassung von Beschlüssen im Wahlvorstand
03.2026,
10.2025,
02.2025
Wandern, Fotografie, Heimautomatisierung