Massimo Merro

Curriculum

•   CV-Italiano   (pdf, it, 400 KB, 15/02/21)
•   English CV   (pdf, en, 204 KB, 10/10/19)

Massimo Merro ha conseguito nel 1996 la laurea con lode in Informatica presso l'Università degli Studi di Pisa. Nel 2000 ha conseguito un PhD in Computer Science, con menzione "très honorable avec félicitations du jury", presso l'Ecole des Mines de Paris, Francia. Da maggio 2000 ad aprile 2002 è stato Research Fellow presso la "School of Cognitive and Computing Science" dell'Università del Sussex (Regno Unito). Da maggio 2002 a ottobre 2002 è stato Research Fellow presso il "Laboratoire des Méthodes de Programmation" de l'Ecole Polytechnique Fédérale de Lausanne, Svizzera. Da ottobre 2006 a settembre 2018 è stato professore associato in Informatica presso il Dipartimento di Infomatica dell'Università degli Studi di Verona.  Da ottobre 2016 ricopre l'incarico di Coordinatore del Dottorato di ricerca in Informatica. Infine, da ottobre 2018 è professore ordinario in Informatica presso il Dipartimento di Informatica dell'Università degli Studi di Verona. 
L'attività di ricerca di Massimo Merro include metodi formali per l'analisi e la verifica di sistemi concorrenti, distribuiti e/o con componenti mobili. Negli ultimi anni si è interessato ai fondamenti semantici dei sistemi wireless, per poi passare allo studio di sistemi ciberfisici e di sistemi in ambito Internet of Things. Di recente Massimo Merro ha iniziato a interessarsi alle problematiche legate alla sicurezza di sistemi ciberfisici e di sistemi IoT. Attualmente insegna nel corso di laurea magistrale in Ingegneria e scienze informatiche dell'Università degli Studi di Verona. E’ associate editor di riviste internazionali e ha servito nel comitato di programma di numerosi convegni internazionali.
 

 

Progetti

Titolo	Data inizio
Progetto di eccellenza: Informatica per Industria 4.0	01/01/18
JP2017 - Analisi statica di proprietà di sicurezza per Android Things	01/01/18
Security Horizons	01/02/13
Static Analysis for Multithreading - Joint Project 2011	01/01/13
SPaCIoS: Secure Provision and Consumption in the Internet of Services	01/10/10
Modelli e tecniche di analisi formale per la sicurezza dei sistemi software (PRIN 2007)	22/09/08
AVANTSSAR - Automated Validation of Trust and Security of Service-oriented Architectures	01/01/08
Analisi statica e dinamica per la certificazione automatica di sicurezza di programmi (PRIN 2006)	09/02/07

---

Presidente/Coordinatore

• Collegio dei Docenti del Dottorato in Informatica
• Commissione AQ Laurea magistrale in Ingegneria e Scienze Informatiche - LM18-32
• Commissione di valutazione affidamento di insegnamenti SSD INF/ING-INF

Massimo Merro

Carica	Organo collegiale
coordinatore del corso di dottorato	Collegio dei Docenti del Dottorato in Informatica - Dipartimento Informatica
componente	Collegio Didattico di Informatica - Dipartimento Informatica
componente	Commissione Ricerca del Dipartimento - Dipartimento Informatica
componente	Consiglio del Dipartimento di Informatica - Dipartimento Informatica
componente	Consiglio della Scuola di Dottorato di Ateneo
coordinatore del corso di dottorato in Informatica	Consiglio della Scuola di Dottorato in Scienze Naturali e Ingegneristiche
componente	Giunta del Dipartimento di Informatica - Dipartimento Informatica