Francesco Leofante



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.

If you want to know more about my work, please visit my DBLP or Google Scholar.