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

• A first-order completeness result about characteristic Boolean algebras in classical realizability. LICS 2022: Thirty-Seventh Annual ACM / IEEE Symposium on Logic in Computer Science.

• Preserving cardinals and weak forms of Zorn’s lemma in realizability models. Avec Laura Fontanella. À paraître dans Mathematical Structures in Computer Science.

• A Partial Metric Semantics of Higher-Order Types and Approximate Program Transformations. CSL 2021: 29th EACSL Annual Conference on Computer Science Logic. Avec Paolo Pistone.

• Réalisabilité classique : nouveaux outils et applications. Thèse de doctorat (soutenue le 29 mars 2019).

• Classical realizability as a classifier for nondeterminism, LICS 2018: Thirty-Third Annual ACM / IEEE Symposium on Logic in Computer Science.

En préparation

• Extensional Denotational Semantics of Higher-Order Probabilistic Programs, Beyond the Discrete Case. Brouillon.

Quelques exposés

• A Partial Metric Semantics of Higher-Order Types and Approximate Program Transformations, CSL 2021. Vidéo.
• Denotational semantics of probabilistic programs, beyond the discrete case, rencontre ANR PPS, novembre 2020.
• Réalisabilité classique : nouveaux outils et applications, Soutenance de thèse, mars 2019.
• Connecting degrees of parallelism and Boolean algebras through classical realizability, CHoCoLa, septembre 2018.
• Classical realizability as a classifier for nondeterminism, LICS 2018.