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

• Adjoint director of LIPN
• Head of the Logic and Verification (LoVe) group at LIPN

Contact information

email:
address:	LIPN - UMR CNRS 7030
	Institut Galilée, Université Paris-Nord
	99, av. Jean-Baptiste Clément
	93430 Villetaneuse
office:	A205