I am a postdoctoral researcher at Universitá degli Studi di Verona, working on automated reasoning.
Previously, I was an FWF Hertha Firnberg fellow at the University of Innsbruck working on a project is about Instantiation- and Learning-Based Methods in Equational Reasoning.
Beforehand, I spent one year as a research developer at Microsoft Research, working on SMT-based compiler validation. I also spent some months there as a contractor, developing a verifier for the programming language Dafny called Selfy, to infer invariants automatically.
Even earlier, I was employed on the project Constrained Rewriting and SMT, contributing forbidden patterns and unraveling results to CeTA/IsaFor.
For my PhD, I investigated variants of Knuth-Bendix completion combining a multi-completion approach with the use of automatic termination tools.
My CV can be found here.