Welcome to my web page!

I am chargé de recherche (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 part of the Logic, Reasoning, Computation 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 going to lecture on linear logic at the introductory school of the LL2016 week.
  • I am in the External Research Committee of POPL 2017.
  • Since February 2015, I lead the Elica project. Founded by ANR, it will last until the end of January 2019.
  • I am also a member of the ANR project Coquas and the GeoCal group within the GDR Informatique Mathématique.