About me

I am a Logician, Philosopher of Computation and Information.

I am Associate Professor of Logic, member of the Logic Group  in the Department of Philosophy, University of Milan.

Currently I am also an associated member of  the Department of Computer Science, Middlesex University London (UK) and of the Philosophy of Computing Research Group at the International Center for Formal Ontology at the Warsaw University of Technology.

Previously, I was Senior Lecturer in Computing Sciences at the Foundations of Computing Group, Department of Computer Science, Middlesex University London (UK). Before that I was Post-Doctoral Researcher at the Centre for Logic and Philosophy of Science, Ghent University (Belgium) and Leiden University (the Netherlands). I held pre- and post-doctoral visiting positions at CUNY Graduate Centre, Oxford University, Stockholm University, Università di Sassari.

My research focuses on formal models of dynamic rationality for intelligent mechanical and natural information systems, the semantics and proof theory of computational systems, the foundations of computing.

Curriculum Vitae

You can also find me on

Scholar

ResearchGate

Academia

LinkedIn

Twitter