M.Sc. in Computer Science
Technical University of Munich
Focus: Formal Methods and Programming Language Theory
pass with merit (overall grade: 1.9)
Jan. 2023 – Dec. 2025
B.Sc. in Computer Science
Technical University of Munich
pass with merit (overall grade: 1.7)
Oct. 2019 – Dec. 2022
Ontario Secondary School Diploma
Glebe Collegiate Institute, Ottawa, Canada
Sept. 2015 – June 2019
Student Assistant
Chair I2, Technical University of Munich
Developed a framework for automating OCaml programming exercises at scale, eliminating manual marking of 33 homework and 6 exam exercises while providing rapid feedback to 1500 students of a functional programming course
Implemented an AST preprocessor and standard library wrapper to restrict OCaml features, pacing student learning to lectures
Designed 40% of exam problems and reviewed remaining material for difficulty and clarity, reducing recorrection workload
Apr. 2024 – Sept. 2024,
Apr. 2023 – Sept. 2023,
Oct. 2021 – Sept. 2022
Student Assistant
Chair I2, Technical University of Munich
Contributed to Goblint, a static analyzer for C, implementing support for noreturn, custom threading libraries, and dead-code elimination
Oct. 2022 – Mar. 2023
Teaching Assistant
CAPS, Technical University of Munich
Implemented automated evaluation of C and x86-64 assembly programming exercises using Python and the RASPsim CPU simulator
Apr. 2021 – Sept. 2021
Developer (Student)
Field Effect Software, Ottawa, Canada
Developed scripts to analyze DNS traffic in Python
July 2018 – Aug. 2018
M. Lang and N. Petzendorfer. (9 Sep. 2023). Less Power for More Learning: Restricting OCaml Features for Effective Teaching. Presented at the OCaml Users and Developers Workshop. [Online].
English, German (bilingual)
French (B2)
Poll worker
City of Munich
Counted ballots and passed resolutions on ambiguous cases
Mar. 2026,
Oct. 2025,
Feb. 2025
Hiking, Photography, Home automation