Welcome to my web page!

I am chargé de recherche (researcher) in theoretical computer science at CNRS (INS2I).

Affiliation

• CNRS, LIPN, Université Paris 13

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 Types, models and programming theory group within the Logic and Verification team at LIPN
• Co-leader of the Scalp working group within the GDR Informatique Mathématique
• Member of the steering committee of FSCD
• Member of the steering committee of SCOT (the successor of DICE).

Current/future events and ongoing projects

• After the great success of the first edition, I am co-organizing the second edition of Caleidoscope (Complexity as a Kaleidoscope), a research school covering a great variety of different approaches to computational complexity. It is planned to take place at the Halle aux Farines (University of Paris), the week of June 15th-19th, 2020. A web site will be available soon.
• The Chocola seminar.

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).