Je suis maître de conférences à l’Institut de Recherche en Informatique Fondamentale de l’Université de Paris. 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 (en particulier des programmes probabilistes).

Je suis également cofondateur 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.