Home Page

Chi sono

Sono uno studente del primo anno del Dottorato Nazionale in Intelligenza Artificiale all’Università La Sapienza. I miei interessi di ricerca sono principalmente Logica e Symbolic Reasoning. Attualmente sto lavorando su Situation Calculus e Linear Temporal Logic sotto la supervisione di Prof. Giuseppe De Giacomo e la co-supervisione di Prof. Yves Lespérance.

Ho conseguito la Laurea Magistrale in Engineering in Computer Science e la Laurea Triennale in Ingegneria Informatica e Automatica all’Università La Sapienza, entrambe con lode.

E-mail: mancanelli@diag.uniroma1.it