Damiano Mazza

Home page

LIPN CNRS

Valid HTML 5! Valid CSS!

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: damiano dot mazza at lipn dot univ dash paris13 dot fr
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 am co-organizing Caleidoscope (Complexity as a Kaleidoscope), a summer school covering a buch of different approaches to computational complexity, which very rarely get to be presented side by side. It will take place at the IHP, in the heart of Paris, the week of June 17th-21st, 2019. Please consider attending, it's free!
  • Since September 2018, I co-lead the Scalp working group within the GDR Informatique Mathématique.
  • Since January 2018, I am the head of the Types, models and programming theory group within the Logic and Verification team at my lab.
  • Since February 2015, I am the principal investigator of the Elica project, an ANR grant which will last until the end of September 2019.
  • I am also a member of the ANR "junior" projects COCA HOLA and COGITARE, the LHC working group within the GDR IM, and the GDRI Linear Logic.
  • Since October 2011, I am member of the organizing committee of the Chocola seminar.
 Me