I am a Ph.D. student in Computer Science working under the supervision of Erika Ábrahám (RWTH Aachen University, Germany) and Armando Tacchella (University of Genoa, Italy).
My research focuses on constraint-based approaches in Artificial Intelligence.
I am currently working in the following areas:
- Optimal Numeric Planning via Optimization Modulo Theories,
- Verification of Machine Learning models using SMT and CP technology.