CV
Education
- Ph.D in Computer Science, University of Kaiserslautern-Landau, 2026 (expected)
- M.S. in Computer Science, University of Kaiserslautern-Landau, 2020
- B.S. in Computer Science, University of Kaiserslautern-Landau, 2018
Work experience
- Summer 2023: Amazon Applied Scientist Internship
- Supervisor: Benjamin Kiesl-Reiter
- Summer 2022: Amazon Applied Scientist Internship
- Supervisor: Rupak Majumdar, Bruno Dutertre
Engagement
- Reviewer for ATVA (2022), ICALP (2023), LICS, CAV, POPL (2024), CAV (2025)
- PC member Artifact Evaluation CAV (2024)
- Member in the Admission Committee for BSc and MSc of Computer Science (2021-2023)
- Certified First Aider (Workplace)
Grant Experience
- ERC Grant LASD (No. 101089343) Coordinator Contact (administrative coordination; PI: Prof. Anthony W. Lin, University of Kaiserslautern Landau)
Publications
Talks
The Power of Regular Constraint Propagation
Conference Talk at OOPSLA 2025, Marina Bay Sands Convention Centre, Singapore, Singapore
OSTRICH2: Solver for Complex String Constraints
Conference Talk at FMCAD 2025, SRI headquarters, Menlo Park, California, Menlo Park, USA
String Solving for Verification
Tutorial at POPL 2024, Institution of Engineering and Technology (IET), Savoy Place, London, UK
Invited Talk LAIV: Lab for AI Verification: Learning Union of Integer Hypercubes with Queries - (with Application to Monadic Decomposition)
Invited Talk at Heriot-Watt University, Online
Learning Union of Integer Hypercubes with Queries
Conference Talk at CAV 2021, Online
Invited Talk on learning reactive synthesis (MPI Seminar series)
Invited Talk at MPI-SWS Kaiserslautern, Online
Parameterized Synthesis with Safety Properties
Conference Talk at APLAS 2020, Online
Learning-Based Synthesis of Safety Controllers
Conference Talk at FMCAD 2019, Hyatt Place San Jose Downtown, San Jose, California, San Jose, USA