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: