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 in the External Research Committee of POPL 2017.
  • I am in the PC of LINEARITY 2016, the 4th International Workshop on Linearity, affiliated with the brand new conference FSCD 2016 (resulting from the fusion of TLCA and RTA).
  • I am part of the organizing committee of CiE 2016, the 12th Computability in Europe conference.
  • 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.