Assistant Professor, University of Verona, Italy
In Verona, I do research and teach topics related to Artificial Intelligence, Explainable AI, Logic and Logic Programming. I am member of the Ethos Centre (Ethics and Technologies Of the Self).
Visiting Scholar, University College London (UCL), UK
I am a member of the KIDS (short for Knowledge Information and Data Science) Group at University College London, UK, where I also carry out teaching activity.
Postdoctoral Researcher, Logic Group, University of Milan
I am currently working as a Postdoctoral Researcher in the Logic Group (Department of Philosophy) at the University of Milan, Italy.
Postdoctoral Researcher, PRISCA Lab, University of Naples Federico II
From April 2019 to September 2020 I worked as a Postdoctoral Researcher in the PRISCA Lab at the University of Naples Federico II in the context of the AVATEA Project.
Research Fellow, Computer Science Department, University of Palermo, Italy
From January 2012 to January 2013 I worked as a Research Fellow in the context of the NEVERLOST Project.
PhD Student in Artificial Intelligence, University College London (UCL), UK
I got a PhD in Artificial Intelligence from University College London, UK, where I worked on Probabilistic and Epistemic extensions of the Event Calculus under the joint supervision of Rob Miller, Antonis Bikakis and Luke Dickens. The thesis is now open-access on UCL's repository here. Parts of my thesis were published on AIJ (here) and LPNMR (here).
MSc Student, Pure Maths and Mathematical Logic, University of Manchester (UoM), UK
I got an MSc in Pure Mathematics and Mathematical Logic from the University of Manchester, UK. I wrote my dissertation on Analogy within the framework of Pure Inductive Logic under the supervision of Jeff Paris. You can have a look at it on Jeff's website here and/or have a look at a related (unpublished) paper here.
2006 - 2011
BSc Student, Computer Science, University of Palermo, Italy
I got a BSc in Computer Science from the University of Palermo, Italy. I wrote my dissertation on Fuzzy Logic and the Church-Turing thesis under the supervision of Settimo Termini.