I am Associate Professor of Logic at the Department of Philosophy, University of Milan, Italy.
Previously, I was Senior Lecturer in Computing Science the School of Science and Technology, Department of Computer Science, Research Group in Foundations of Computing at Middlesex University in London, UK.
I have held a Post-Doctoral Fellow of the Flemish Research Foundation at the Centre for Logic and Philosophy of Science at Ghent University, Belgium, and at the Faculty of Philosophy, Leiden University, the Netherlands.
I own a PhD in Philosophy from the University of Palermo (Italy) and a MA in Philosophy from the University of Leiden (the N…
I am Associate Professor of Logic at the Department of Philosophy, University of Milan, Italy.
Previously, I was Senior Lecturer in Computing Science the School of Science and Technology, Department of Computer Science, Research Group in Foundations of Computing at Middlesex University in London, UK.
I have held a Post-Doctoral Fellow of the Flemish Research Foundation at the Centre for Logic and Philosophy of Science at Ghent University, Belgium, and at the Faculty of Philosophy, Leiden University, the Netherlands.
I own a PhD in Philosophy from the University of Palermo (Italy) and a MA in Philosophy from the University of Leiden (the Netherlands). I am also qualified in the Research Area of Science and Technologies of Information by CNR (National Research Council - Italy).
My work and research is about the Philosophy of Computing and Information, Computational and Epistemic Logics, Type Theories and Procedural Semantics.