Curriculum Vitae

Current Position

2022 - Present

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).

Work experience

2019 - Present

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.

2020 - 2022

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.

2019 - 2020

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.

2012 - 2013

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.

Education

2014  - 2019

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).

2013  - 2014

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.