Curriculum Vitae

Work experience

2020 - Present

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

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 Prof. 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 Prof. Settimo Termini.