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 (particularly probabilistic programs).

I am also one of the founders of Pi Day association, a non-profit organisation for popularisation of mathematics. Among other things, we produce mathematical musicals!

This page is under construction.