CV

Education

Winter term 2024/2025 - present: master’s degree in mathematics at the university of Bonn
2021-2024: bachelor’s degree in mathematics at the university of Bonn
Final grade average: 1,1
Bachelor thesis: “Formalisation of CW-complexes” with grade 1,0
2013-2021: secondary education at Hermann-von-Helmholtz Gymnasium Potsdam
Final grade average: 1,0

Skills

Language: German (native language), English (proficient), Spanish (advanced), French (beginner)
Theorem proving: Lean (intermediate)
Programming: Python (basic), C++ (basic)

Research Experience

November 2024 - September 2025: Research assistant formalizing CW complexes in Lean (8 hours a week, supervised by Prof. Floris van Doorn)

Experience in the support of women in STEM

September 2023 - present: co-organizer (and since 2025 coordinator) of the event series Tea Time with Women in Mathematics at the university of Bonn
October 2023 - present: mentor as part of the online mentoring program Cybermentor for school-aged girls interested in STEM
July 2024 - present: member of the Equal Opportunity Working Group of the mathematics department at the university of Bonn
January 2025 - present: member of the department of equality and awareness of the Fachschaft Mathematics at the university of Bonn.

Teaching experience

October 2025 - present: tutor for the class “Computer-assisted Mathematics”
Winter term 2023/2024: tutor for the class “Analysis I”
September 2022 and September 2023: tutor for the preparatory course for freshmen of the bachelors degree in mathematics

Awards and scholarships

academic years 2022/2023, 2023/2024, 2024/2025, 2025/26: one-year merit scholarship “Deutschlandstipendium”