I am a senior applied scientist at Amazon Web Services, working at the intersection of security, automated reasoning, and generative AI.
Before joining AWS, I completed my Ph.D. at the Max Planck Institute for Software Systems in Kaiserslautern, Germany under the supervision of Prof. Maria Christakis. My Ph.D. research focused on improving software correctness and reliability by making formal methods tools more practical for developers. This work resulted in the detection and fixes of 60+ critical soundness bugs in fundamental program analysis tools such as SMT solvers and Datalog engines.
With Martin Schaef, Berk Cirisci, Linghui Luo, Omer Tripp, Daniel Sanchez, Qiang Zhou, and Muhammad Bilal Zafar
ASE 2024
With Maria Christakis and Valentin Wüstholz
ISSTA 2023
With Maria Christakis, Thomas Cottenier, Antonio Filieri, and others
ESEC/FSE 2022
With Maria Christakis and Valentin Wüstholz
ESEC/FSE 2021
With Benjamin Mariano, Maria Christakis, Jorge A. Navas, and Valentin Wüstholz
CAV 2021
With Maria Christakis, Valentin Wüstholz, and Fuyuan Zhang
ESEC/FSE 2020
🏆 Best Presentation Award
