Ma recherche porte sur la réalisabilité classique, la sémantique dénotationnelle des programmes 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