My topics of research include classical realizability, denotational semantics of programs and other subjects connected to mathematics, computer science and logic.
- Classical realizability as a classifier for nondeterminism, LICS 2018 : Thirty-First Annual ACM / IEEE Symposium on Logic in Computer Science.
- Classical realizability: new tools and applications.. Ph.D. thesis (in French – to be defended).
- Classical realizability as a classifier for nondeterminism, LICS 2018.
- Connecting degrees of parallelism and Boolean algebras through classical realizability, CHoCoLa, september 2018.