Je suis post-doc au département d’informatique et sciences de l’ingénieur de l’université de Bologne. Je travaille avec Ugo Dal Lago sur le projet DIAPASoN – Differential Program Semantics. Plus généralement, ma recherche se situe à l’interface entre les mathématiques, l’informatique théorique et la logique, notamment dans des domaines tels que la réalisabilité classique et la sémantique dénotationnelle des programmes.

Je suis également cofondateur et vice-président de l’association Pi Day, consacrée à la diffusion et à la promotion des mathématiques. Nous produisons notamment des comédies musicales mathématiques!

Ce site est en construction.