Ma recherche porte sur la réalisabilité classique, la sémantique dénotationnelle des programmes (en particulier des programmes probabilistes) et d’autres domaines à l’interface entre les mathématiques, l’informatique théorique et la logique.

Mes publications

En préparation

Quelques exposés