I am a post-doc at the department of computer science and engineering of the university of Bologna. I work with Ugo Dal Lago on project DIAPASoN – Differential Program Semantics. More generally, my research lies at the junction between mathematics, computer science and logic and includes such topics as classical realizability and denotational semantics of programs.

I am also vice-president and one of the founders of Pi Day association, a non-profit organization for popularization of mathematics. Among other things, we produce mathematical musicals!

This page is under construction.