À l'interface entre Informatique, Mathématiques et Logique, je m'intéresse plus particulièrement à la sémantique dénotationnelle des extensions de langages fonctionnels et à la sémantique combinatoire des systèmes distribués.

Je suis membre de l'ANR JCJC RAPIDO -- Reasoning And Programming With Infinite Data Objects.


Publications

Systèmes Distribués

Sémantique Quantitative

Logique Nominale

Thèse de doctorat

Rapport de master

Exposés

Mobilité