Damiano Zanardini

Madrid, Spain

  • Teaching: Logic + Theory of Computability
  • Research: Static Program Analysis + Program Verification
  • Work
    • Universidad Politécnica de Madrid (UPM)
  • Education
    • Liceo Scientifico Calini
    • Università di Pisa
    • Scuola Normale Superiore di Pisa