Welcome to my web page!

I am directeur de recherche (senior scientist) in theoretical computer science at CNRS (INS2I).
I also have a teaching contract (Professeur chargé de cours) 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

Current/future events and ongoing projects

• The second edition of Caleidoscope (Complexity as a Kaleidoscope, a research school) was supposed to take place in June 2020 but was rescheduled to July 19th-23rd, 2021, due to the the Covid-19 epidemic. We are currently following the situation to see whether further rescheduling (or switching to a virtual school) is necessary.

Contact information

email:
address:	LIPN - UMR CNRS 7030
	Institut Galilée, Université Paris-Nord
	99, av. Jean-Baptiste Clément
	93430 Villetaneuse
phone:	+33 1 49 40 40 67

On a normal working day, you may physically find me in office A205 of the Institut Galilée. (Taking that aerial photograph on Google Maps too literally may lead you into believing that I usually work on the roof of building A of Institut Galilée. That would actually be cool—or wouldn't, depending on the meteorological conditions. However, my office is more trivially located at the 2nd floor of that building, with two more floors on top of it).