About

I am a fourth year computer science Ph.D. candidate at the Max Planck Institute for Software Systems (MPI-SWS) in Kaiserslautern, Germany. I am broadly interested in automatic testing, debugging, formal analysis and verification of complex software systems. The overarching goal of my Ph.D. research is 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.
I am advised by Dr. Maria Christakis and work in the "Practical Formal Methods" research group at MPI-SWS. I received my master's degree from the University of Freiburg, Germany, in 2018.
Currently, I am working in Amazon AWS's Automated Reasoning Group as an applied scientist intern on Amazon CodeGuru under the supervision of Nico Rosner.


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