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 - present: 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 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

Winter term 2023/2024: tutor in the class “Analysis I”
September 2022 and September 2023: tutor in the preparatory course for freshmen of the bachelors degree in mathematics

Awards and scholarships

academic years 2022/2023, 2023/2024 and 2024/2025: one-year merit scholarship “Deutschlandstipendium”
2018: second prize in the national round of the German Mathematical Olympiad