Welcome to my web page!

I am directeur de recherche (senior scientist) in theoretical computer science at CNRS (INS2I).
I am also professeur chargé de cours (adjunct professor) at École polytechnique (DIX).

Affiliation

• CNRS, LIPN, Université Sorbonne Paris Nord

Research interests

• logical approaches to structural complexity theory (in particular implicit computational complexity)
• foundational aspects of programming language theory (lambda-calculi, concurrent process calculi, semantics, type systems)
• More broadly: logic in computer science, linear logic, category theory

Research-related activities and administration

• Head of the Logic and Verification (LoVe) team at LIPN
• Co-leader of the Scalp working group within the GDR Informatique Mathématique
• Member of the steering committee of FSCD

Contact information

email:
address:	LIPN - UMR CNRS 7030
	Institut Galilée, Université Paris-Nord
	99, av. Jean-Baptiste Clément
	93430 Villetaneuse
office:	A205 (but I'm not there very often, especially since the pandemic!)
phone:	+33 1 49 40 40 67