I am a maître de conférences (~ tenured assistant professor) at the LACL, teaching at the Law Faculty at the Université Paris-Est Créteil. I work on the semantics of proofs and programs, and more specifically using tools and point of view coming from linear logic, (higher) category theory, realizability and intersection types.
I am also interested in bringing techniques from semantics not only to verification, but also other aspects of computer science: making programming more fun, or understable.
- LACL, Département d’Informatique
Faculté des Sciences et Technologie
61 avenue du Général de Gaulle
I co-organize the Sémiomaths seminar. Feel free to drop by or write us an e-mail!
During 2019-2020, I was a post-doc in the Parsifal team of Inria Paris-Saclay and LIX, École Polytechnique, collaborating with Gabriel Scherer.
In the fall 2017, I was an ATER (attaché temporaire d'enseignement et de recherche, a temporary research and teaching position) at the computer science department of ENS Lyon interacting with the plume team.