Massimo Merro

Foto,  5 settembre 2022
Qualifica
Professore ordinario
Ruolo
Professore Ordinario
Settore disciplinare
INFO-01/A - Informatica
Settore di Ricerca (ERC-2024)
PE6_5 - Security, privacy, cryptology, quantum cryptography

PE6_3 - Software engineering, programming languages and systems

PE6_4 - Theoretical computer science, formal methods, automata

Settore di Ricerca (ERC)
PE6_5 - Cryptology, security, privacy, quantum crypto

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
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

martedì, Ore 14.00 - 16.00,   Ca' Vignal 2, piano 1, stanza 57

Curriculum

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 novembre 2016 ad ottobre 2022 ha ricoperto 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.
 

Insegnamenti

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

Corso Nome Crediti totali Online Crediti del docente Moduli svolti da questo docente
Dottorato in Informatica Cyber-Physical System Security (2024/2025)   3  eLearning
Laurea magistrale in Ingegneria e scienze informatiche Fondamenti di linguaggi di programmazione e specifica (2024/2025)   12  eLearning (Teoria)
(Laboratorio)
Laurea magistrale in Ingegneria e scienze informatiche Network security (2024/2025)   6  eLearning (Teoria)
(Laboratorio)
Dottorato in Informatica Cyber-Physical System Security (2023/2024)   3  eLearning
Laurea magistrale in Ingegneria e scienze informatiche Fondamenti di linguaggi di programmazione e specifica (2023/2024)   12  eLearning (Laboratorio)
(Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Network security (2023/2024)   6  eLearning (Laboratorio)
(Teoria)
Dottorato in Informatica Attività didattica dottorato (2022/2023)   50  eLearning
Laurea magistrale in Ingegneria e scienze informatiche Fondamenti di linguaggi di programmazione e specifica (2022/2023)   12  eLearning (Teoria)
(Laboratorio)
Laurea magistrale in Ingegneria e scienze informatiche Network security (2022/2023)   6  eLearning (Laboratorio)
(Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Fondamenti di linguaggi di programmazione e specifica (2021/2022)   12  eLearning (Teoria)
(Laboratorio)
Laurea magistrale in Ingegneria e scienze informatiche Network security (2021/2022)   6  eLearning (Laboratorio)
(Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Fondamenti di linguaggi di programmazione e specifica (2020/2021)   12  eLearning (Laboratorio)
(Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Network security (2020/2021)   6  eLearning (Teoria)
(Laboratorio)
Laurea magistrale in Ingegneria e scienze informatiche Fondamenti (2019/2020)   12  eLearning LINGUAGGI
Laurea magistrale in Ingegneria e scienze informatiche Sicurezza delle reti (2019/2020)   6  eLearning
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    (Laboratorio)
(Teoria)
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     

Per la comunità studentesca

Se sei già iscritta/o a un corso di studio, puoi consultare tutti gli avvisi relativi al tuo corso di studi nella tua area riservata MyUnivr.
In questo portale potrai visualizzare informazioni, risorse e servizi utili che riguardano la tua carriera universitaria (libretto online, gestione della carriera Esse3, corsi e-learning, email istituzionale, modulistica di segreteria, procedure amministrative, ecc.).
Entra in MyUnivr con le tue credenziali GIA: solo così potrai ricevere notifica di tutti gli avvisi dei tuoi docenti e della tua segreteria via mail e anche tramite l'app Univr.

MyUnivr

Di seguito sono elencati gli eventi e gli insegnamenti di Terza Missione collegati al docente:

  • Eventi di Terza Missione: eventi di Public Engagement e Formazione Continua.
  • Insegnamenti di Terza Missione: insegnamenti che fanno parte di Corsi di Studio come Corsi di formazione continua, Corsi di perfezionamento e aggiornamento professionale, Corsi di perfezionamento, Master e Scuole di specializzazione.
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 Sicurezza informatica
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. Ingegneria del Software e verifica formale
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. Ingegneria del Software e verifica formale
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 verifica formale
Software organization and properties
Progetti
Titolo Data inizio
In search of evidence of stealth cyber threats - COVERT 01/06/24
Novel Methodologies and Tools for Next Generation Cyber Ranges - NOMEN 21/05/24
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

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

Organizzazione

Strutture del dipartimento

Condividi