Libri di Roberto Giacobazzi

Roberto Giacobazzi, nato a Modena, ha conseguito la Laurea in Scienze dell’Informazione e il dottorato di ricerca in Informatica all’Università di Pisa. È professore ordinario di Fondamenti dell’informatica all’Università di Verona dove è stato Preside della Facoltà di Scienze Matematiche Fisiche e Naturali e dove attualmente dirige il Dipartimento di Informatica. I principali interessi di ricerca riguardano l’analisi e la verifica di programmi e sistemi Software con applicazioni all’analisi statica di programmi, alla trasformazione del codice, e alla sicurezza e protezione di sistemi software. È stato presidente della commissione di abilitazione scientifica nazionale del settore 01/B1 Informatica dal 2012 al 2015.