À 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 COQUAS -- COmputing with QUAntitatve Semantics.


Publications

Systèmes Distribués

Sémantique Quantitative

Logique Nominale

Thèse de doctorat

Rapport de master

Exposés

Mobilité