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.

Contact information


In excruciating details in French and with much less details in English.


I co-organize the Sémiomaths seminar. Feel free to drop by or write us an e-mail!

New (and previously new)

Previous positions

This page uses nanoc and is hosted by the LACL.