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), Korean (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)

Research talks

• January 2026: “Formalisation of CW complexes” at Lean Together 2026 (video | slides)

Teaching experience

• October 2025 - present: tutor for the class “Computer-assisted Mathematics” taught by Prof. Floris van Doorn and Dr. Michael Rothgang
• Winter term 2023/2024: tutor for the class “Analysis I” taught by Prof. Herbert Koch
• September 2022 and September 2023: tutor for the preparatory course for freshmen of the bachelors degree in mathematics taught by Dr. Regula Krapf and Dr. Antje Kiesel

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 (and in 2026 head) of the department of equality and awareness of the Fachschaft Mathematics at the university of Bonn.

Additional volunteering experience

• Winter term 2025/2026: member of the appointment committee for the Bonn Junior Fellows
• December 2026 - present: elected member of the student council (Fachschaftsrat) of the Fachschaft Mathematics at the university of Bonn

Scholarships

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