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.
I try to answer in one week, do not hesitate to ping me again after that!
- Bureau P2-213 (Campus Centre) et B412 (site Boulle)
- 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!
New (and previously new)
I will give a course on the essence of proofs at the Logic and Transdisciplinarity week at CIRM, February 10, 2022.
I co-organize the Scalp '21 days in Fontainebleau, November 3-5.
I co-organize Hapoc '21, the 6th International Conference on the History and Philosophy of Computing, in Zürich, on October 27-29!
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.