Roberto Zunino

Assistant Professor at Dipartimento di Informatica e Telecomunicazioni, Università degli Studi di Trento.

Previously, PhD student at Dipartimento di Informatica, Università di Pisa.

• Contact
• Some papers of mine
• Software

Other Links

• Slides of the Program Verification lectures, by José Meseguer (2003).

Roberto Zunino, 2006