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.

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