Welcome to my web page!

I am chargé de recherche HDR (researcher) in computer science at CNRS.
I currently work at the Laboratoire d'Informatique de Paris Nord, in Villetaneuse, just north of Paris, where I am the head of the the Types, models and programming theory group within the Logic and Verification team.

Please use the navigation bar here on the left to browse the contents of these pages. In case you want to get in touch with me, the following contact information may be helpful:

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

Current/future events and ongoing projects:

• I will be invited speaker at ITRS 2018, a satellite workshop of FLOC 2018 in Oxford.
• I am a member of the PC of LCC 2018. Please consider submitting a talk abstract!
• Since February 2015, I am the principal investigator of the Elica project, an ANR grant which will last until the end of January 2019.
• I am also a member of the ANR project COCA HOLA, the GeoCal and LAC groups within the GDR Informatique Mathématique, and the GDRI Linear Logic.