Curriculum Vitae

Download my full CV here: cv.pdf

Education

• PhD in Computer Science, Stanford University, USA 09/2020 – present
  • Advisor: Clark Barrett
  • GPA 4.0
• MSc in Logic and Computation, TU Vienna, Austria 03/2018 – 06/2020
  • Advisor: Laura Kovács
  • Grade 1.0 (corresponds to a 4.0 GPA), summa cum laude
• BSc in Computer Science, Free University Berlin, Germany 10/2014 – 09/2017
  • Grade 1.3 (corresponds to a 3.7 GPA), summa cum laude

Research Experience

• Visiting Researcher, UFMG, Brazil 06/2023
  • Supervisor: Haniel Barbosa
  • We experimented with enriching the SAT proof format DRAT with theory information and tested its suitability for parallel checking.
  • We also worked on enhancing the Alethe proof format.
• Research Collaboration 11/2020 – 05/2022
  • Supervisor: Caroline Trippel
  • We developed Leakage Containment Models (LCMs), a novel axiomatic security contract capturing extra-architectural communication (e.g. using the cache) and speculative execution.
• Research Assistant, Automated Program Reasoning group, TU Wien 09/2019 – 05/2020
  • Supervisor: Laura Kovács
  • Master’s Thesis: Formalizing Graph Trail Properties
  • I formalized a graph trail problem in Isabelle.
• Research Internship, University of Cambridge 06/2019 – 09/2019
  • Supervisors: Anthony Bordg, Lawrence Paulson
  • Formalization of quantum computing in Isabelle/HOL, including Deutsch’s algorithm, Deutsch–Jozsa algorithm, quantum Fourier transform and Grover’s algorithm.
• Research Assistant, Formal Methods in Security group, TU Wien 06/2018 – 04/2019
  • Supervisor: Matteo Maffei
  • I helped with a formalization of a small-step semantics of Ethereum Virtual Machine bytecode in the programming language F*.
• Bachelor’s Thesis, Free University Berlin 11/2016 – 01/2017
  • Supervisor: Christoph Benzmüller
  • Systematic Verification of the Intuitionistic Modal Logic Cube in Isabelle/HOL: embedding of intuitionistic modal logics into higher-order logic.

Awards and Scholarships

• Distinguished Artifact Reviewer Award at the International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 04/2026
• VerifyThis Verification Competition: “Most impressive tool medley” 04/2024
• SCP Best Tool Paper Award for cvc5: A Versatile and Industrial-Strength SMT Solver 04/2022
• Siemens Award for Excellence 01/2020
• Helmut Veith Stipend 03/2018 – 02/2020
  • Financial scholarship for female students pursuing a Logic Master’s program at TU Wien, awarded to a single person per year
• Deutschlandstipendium (German National Scholarship) 10/2015 – 09/2016
  • Awarded by the Federal Republic of Germany for outstanding academic achievements

Teaching & Mentorship

• Student Instructor, Stanford University 09/2025 – 12/2025
  • CS257: Introduction to Automated Reasoning
  • I co-taught this class with Professor Caroline Trippel, which included giving half the lectures.
• Teaching Assistant, Stanford University 09/2022 – 12/2022, 09/2023 – 12/2023
  • CS257: Introduction to Automated Reasoning
  • My duties involved office hours, correcting assignments, exams, and supervising the final class project.
  • Because 2022 was the first time the class was offered, I also designed most exercise sheets for the class.
• Mentoring: Jibiana Jakpor (now a PhD student at MIT) 2022 – 2025

Community Service

• Program Committee member of the 28th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2026) 2026
• Program Committee member of the Satisfiability Checking and Symbolic Computation (SC²) Workshop 2026
• Reviewer: CADE, TACAS, SC², SYNASC, Mathematics in Computer Science Journal
• Artifact reviewer: TACAS, ATVA 2023, 2024, 2025

Professional Experience

• Hardware Formal Verification Intern, Apple 06/2026 – 08/2026
  • Supervisor: Thomas Rasmussen
• Applied Science Intern, Amazon (AWS) 06/2022 – 09/2022
  • Supervisor: Robert Jones
  • During the internship at AWS, my team developed EDRAT, a new SMT proof format that extends the popular DRAT format for SAT proofs with theory reasoning. I worked on instructing the cvc5 SMT solver to output EDRAT proofs.
• Software Formal Verification Intern, Apple 06/2021 – 09/2021
  • Supervisor: Tim Pruss
  • I formally verified key aspects of a kernel system using the Isabelle proof assistant and gained experience verifying C code using the AutoCorres plugin.
• Intern, Bundesdruckerei GmbH 08/2016 – 09/2016
  • Contributed to the first draft of the standard ISO/IEC 39794-5: Information technology – Biometric data interchange formats – Part 5: Face Image Data

Voluntary Work

• Faculty Search Committee member at Stanford’s CS department 2025
• Chair of the PhD Advisory Council at Stanford’s CS department 11/2022 – 11/2023
• Co-Organizer of the Women in CS Lunch at Stanford 09/2021 – 12/2022
• Student Reader on the Admissions Committee for CS PhD students at Stanford 10/2022 – 12/2022
• Other: part of a team representing the Stanford CS Department at the Grace Hopper Conference, student buddy for new PhD students, …