About

Since November 2022, I am an 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. The overarching goal of my Ph.D. research was to improve software correctness and reliability by making it easier and practical for developers of all skill levels to incorporate state of the art formal methods tools in their software development workflow. My Ph.D. research resulted in the detection (and fixes) of 60+ critical soundness bugs in fundamental program analysis tools such as SMT solvers and Datalog engines.


Publications


Open Source Research Tools


Image
QueryFuzz: Metamorphic Testing of Datalog Engines
[github] [paper] [video]

GitHub stars

Image
Tailor: Automatically Tailoring Abstract Interpretation
[github] [paper] [video]

GitHub stars

Image
STORM: SMT Testing Over Random Mutations
[github] [paper] [website] [video]

GitHub stars

Image
Fault localization component in Ultimate Automizer
[github] [paper] [website]

GitHub stars

Image
RoBO: A flexible framework for robust Bayesian optimization
[github] [paper] [website] [bib]

GitHub stars


Other Projects


Image
Ant Simulator
Ant colony simulation implementation from scratch in C++.
[github]


Professional Activities


Teaching