About

I am broadly interested in automatic testing, debugging, security, formal analysis and verification of complex software systems.


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