I am a Logician, Philosopher of Computation and Information.
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.
You can also find me on