Chi sono

Sono uno studente del primo anno del Dottorato Nazionale in Intelligenza Artificiale all’Università La Sapienza. I miei interessi di ricerca spaziano dalla Logica e il Symbolic Reasoning alle applicazioni delle Reti Neurali. Attualmente sto lavorando su Situation Calculus e Linear Temporal Logic sotto la supervisione del Prof. Giuseppe De Giacomo.

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