CV

I am a doctoral researcher with a focus on formal methods and security, and a software engineer specialised on designing and implementing resilient backends for novel software solutions.

I hold a Master’s degree in Software Engineering from University of Augsburg, TU Munich and LMU Munich, and I am currently working towards my Ph.D. at CISPA Helmholtz Center for Information Security.

Experience

since 03/2024
Research Assistant at CISPA Helmholtz Center for Information Security
Saarbrücken
Working towards a Ph.D. in the group of Cas Cremers, I research the application of formal methods to the analysis of security protocols. Read more here.

07/2022 - 02/2024
Software Developer at IBM
Munich
I developed software components for identity and access management and co-created showcases for IBM products and technologies. Additionally, I acted as a technical interviewer for job candidates.

03/2021 - 09/2021
Research Intern at National Institute of Informatics
Tokyo
Interning in the ERATO MMSD project (Metamathematics for Systems Design), I worked on methods for the formal verification of safety guarantees in autonomous driving.

08/2020 - 03/2022
Intern & Working Student at SAP
Munich
I worked in a team that conceptualised a new approach to data analytics, which we then implemented in a cloud-native application. My responsibilities mostly were in backend development.

04/2018 - 04/2021
Student Assistant at University of Augsburg
Augsburg
For the introductory courses into software engineering, algorithmics and theoretical computer science, I acted as a tutor. This included preparing and conducting weekly tutorials, correcting weekly assignments and helping with the organisation and correction of the semester-end exams.

Education

since 03/2024
Ph.D.
Saarbrücken Graduate School of Computer Science

10/2019 - 03/2022
M.Sc. in Software Engineering (Elite Graduate Program)
University of Augsburg, TU Munich, LMU Munich

10/2016 - 10/2019
B.Sc. in Computer Science
University of Augsburg

---