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

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
• Elected member of the steering committee of FSCD

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 summer school covering a great variety of different approaches to computational complexity. It is planned to take place again at the IHP, in the heart of Paris, the week of August 24th-28th, 2020. A web site will be available soon.
• Since February 2015, I am the principal investigator of the Elica project, an ANR grant which will last until the end of September 2019.
• 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).