About me

I am a first-year student of the National PhD programme in Artificial Intelligence at Sapienza University. My research interests range from Logic and Symbolic Reasoning to applications of Neural Networks. I’m currently working on Situation Calculus and Linear Temporal Logic under the supervision of Prof. Giuseppe De Giacomo.

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

E-mail: mancanelli@diag.uniroma1.it