Work experience

Honorary Lecturer, University College London (UCL), UK

I am a continual collaborator of the KIDS group at University College London.

Assistant Professor, University of Verona, Italy

In Verona, I did research and taught topics related to Philosophy of Logic and Computation.

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.

Education

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.