Home Page

About me

I am a first-year student in the National PhD programme in Artificial Intelligence at Sapienza University. My research interests are mainly Logic and Symbolic Reasoning. I am currently working on Situation Calculus and Linear Temporal Logic under the supervision of Prof. Giuseppe De Giacomo and co-supervision of Prof. Yves Lespérance.

I received my Master’s degree in Engineering in Computer Science and my Bachelor’s degree in Computer and System Engineering from Sapienza University, both with honors.

E-mail: mancanelli@diag.uniroma1.it