Massimo Merro

Foto,  16 novembre 2015
Qualifica
Professore associato
Ruolo
Professore associato
Settore disciplinare
INF/01 - INFORMATICA
Settore di Ricerca (ERC)
PE6_3 - Software engineering, operating systems, computer languages

PE6_4 - Theoretical computer science, formal methods, and quantum computing

Ufficio
Ca' Vignal 2,  Piano 1,  Stanza 57
Telefono
045 802 7992
Fax
045 802 7068
E-mail
massimo|merro*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.
Pagina Web personale
http://profs.scienze.univr.it/~merro

Orario di ricevimento

giovedì, Ore 14.15 - 16.15,   Ca' Vignal 2, piano 1, stanza 57

Curriculum

Italiano. 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 "full mark and honours", 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 novembre 2002 a settembre 2006 ha ricoperto l'incarico di ricercatore universitario, SSD INF/01, presso la Facoltà di Scienze MMFFN dell'Università degli Studi di Verona. In ottobre 2006 ha preso servizio come professore associato nella medesima Facoltà. La sua attività di ricerca include l'applicazione di metodi formali a 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.

English. Laurea cum laude (M.Sc.) in Computer Science at University of Pisa in 1996. PhD in Computer Science, with full marks and honours, at the Ecole des Mines de Paris, France, 2000. From May 2000 to April 2002 he was Research Fellow at the "School of Cognitive and Computing Science" of the  University of Sussex, UK. From May 2002 to October 2002, Research Fellow at the "Laboratoire des Méthodes de Programmation" within the Ecole Polytechnique Fédérale de Lausanne,  Switzerland. From November 2002 to September 2006, Assistant Professor in Computer Science at the University of Verona, Italy. Since October 2006, he is Associate Professor in the same university. His research interests include formal methods applied to concurrent and distributed languages. In particular, he has worked on process calculi for mobile systems, concurrent and distributed object-oriented languages, formalisation of distributed algorithms. More recently, he has been working on semantics foundations and security analysis of cyber-physical systems and smart devices in the context of the Internet of Things paradigm. On these topics, he has taught several classes, tutorials, and industrial courses, including the courses of "Network security" and "Semantics of programming languages" that he regularly teaches as part of the Master's degree in Computer Science and Engineering at the University of Verona. He has served as PC-chair and PC-member in international conferences and workshops.

Insegnamenti

Insegnamenti attivi nel periodo selezionato: 41.
Clicca sull'insegnamento per vedere orari e dettagli del corso.

Corso Nome Crediti totali Online Crediti del docente Moduli svolti da questo docente
Laurea magistrale in Ingegneria e scienze informatiche Fondamenti (2018/2019)   12  eLearning LINGUAGGI
Laurea magistrale in Ingegneria e scienze informatiche Sicurezza delle reti (2018/2019)   6  eLearning
Laurea magistrale in Ingegneria e scienze informatiche Fondamenti (2017/2018)   12  eLearning LINGUAGGI
Laurea magistrale in Ingegneria e scienze informatiche Sicurezza delle reti (2017/2018)   6   
Laurea magistrale in Ingegneria e scienze informatiche Fondamenti (2016/2017)   12  eLearning LINGUAGGI
Laurea magistrale in Ingegneria e scienze informatiche Sicurezza delle reti (2016/2017)   6  eLearning
Laurea magistrale in Ingegneria e scienze informatiche Fondamenti (2015/2016)   12    LINGUAGGI
Laurea magistrale in Ingegneria e scienze informatiche Sicurezza delle reti (2015/2016)   6   
Laurea magistrale in Ingegneria e scienze informatiche Fondamenti (2014/2015)   12    LINGUAGGI
Laurea magistrale in Ingegneria e scienze informatiche Sicurezza delle reti (2014/2015)   6   
Laurea magistrale in Ingegneria e scienze informatiche Fondamenti (2013/2014)   12    LINGUAGGI
Laurea in Informatica Programmazione di rete (2013/2014)   6    (Teoria)
(Laboratorio)
Laurea magistrale in Ingegneria e scienze informatiche Sicurezza delle reti (2013/2014)   6   
Laurea magistrale in Ingegneria e scienze informatiche Fondamenti (2012/2013)   12    LINGUAGGI
Laurea in Informatica Programmazione di rete (2012/2013)   6   
Laurea magistrale in Ingegneria e scienze informatiche Fondamenti (2011/2012)   12    LINGUAGGI
Laurea in Informatica Programmazione di rete (2011/2012)   6   
Laurea magistrale in Ingegneria e scienze informatiche Fondamenti (2010/2011)   12    LINGUAGGI
Laurea in Informatica Programmazione di rete (2010/2011)   6   
Laurea in Informatica Programmazione di rete (2009/2010)   6   
Laurea in Informatica Programmazione II (2009/2010)   6   
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Informatica di base (2008/2009)   4    Laboratorio
Laurea specialistica in Informatica Linguaggi concorrenti e mobili (2008/2009)   5   
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Programmazione avanzata e di rete (2008/2009)   5    Teoria
Laboratorio
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Informatica di base (2007/2008)   4    Laboratorio
Laurea specialistica in Informatica Linguaggi concorrenti e mobili (2007/2008)   5   
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Programmazione avanzata e di rete (2007/2008)   5    Teoria
Laboratorio
Laurea specialistica in Informatica Linguaggi concorrenti e mobili (2006/2007)   5   
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Programmazione avanzata e di rete (2006/2007)   5   
Laurea specialistica in Informatica Linguaggi concorrenti e mobili (2005/2006)   5   
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Programmazione avanzata e di rete (2005/2006)   5   
Laurea in Scienze della comunicazione: editoria e giornalismo - ordinamento fino all'a.a. 2007/2008 Interazione uomo-macchina (i) (2004/2005)   3     
Laurea specialistica in Informatica Linguaggi concorrenti e mobili (2004/2005)   5     
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Programmazione avanzata e di rete (2004/2005)   5     
Laurea specialistica in Informatica Linguaggi concorrenti e mobili (2003/2004)   5     
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Programmazione avanzata e di rete (2003/2004)   5     
Laurea specialistica in Informatica Linguaggi concorrenti e mobili (2002/2003)   5     
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Programmazione avanzata e di rete (2002/2003)   5     

 
Competenze
Argomento Descrizione Area di ricerca
Formal methods for security analysis of cyber-physical systems Metodi formali per lo sviluppo di strumenti di verifica formali e automatici in grado di verificare la sicurezza di sistemi ciberfisici e sistemi IoT Ingegneria del software e sicurezza
Security and privacy - Formal methods and theory of security
Models for concurrent, distributed, and mobile systems Calcoli di processo per sistemi concorrenti, distribuiti e con mobilita' di codice e/o agenti. Piu' di recente, calcoli di processo per sistemi ciberfisici e sistemi IoT. Informatica teorica
Theory of computation - Models of computation
Semantics of concurrent, distributed, and mobile systems Semantica operazionali per linguaggi concorrenti, distribuiti e con mobilita' di codice e/o agenti. Tecniche di specifica di verifica del buon comportamento di tali sistemi. Informatica teorica
Theory of computation - Semantics and reasoning
Verification of wireless networks protocols Tecniche semantiche e di model checking, anche statistico, per la verifica della correttezza di protocolli di reti wireless Ingegneria del software e sicurezza
Software and its engineering - Software organization and properties
Progetti
Titolo Data inizio
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




Organizzazione

Strutture del dipartimento