Dipartimento di Informatica
Università di Pisa
Largo Bruno Pontecorvo 3, 56127 Pisa
Room: 329a / DO
tel: +39 050 2212783

• Papers
• Teaching
• Organization:
  • Program co-chair at FormaliSE2021
• Giulia and Marta, some years ago