Research
I am a computer science researcher affiliated with the University of Trento.
My research lies at the intersection of machine learning and automated reasoning,
with a focus on probabilistic inference with algebraic and logical constraints.
I am currently fully supported by a Marie Skłodowska-Curie Action fellowship.
The project aims at advancing the trustworthiness of AI systems by developing verification tools that provide formal guarantees on their correctness. More info here.
As a side project, I am investigating the use of machine learning for the procedural generation of content in games, with a particular interest in functional content (e.g. levels, rules) that must satisfy hard constraints. More info here.
Teaching
I am teaching assistant for the course Foundamentals of AI. You can find the material here.
I am offering a number of MSc thesis projects on the topics above. Contact me if interested!