Massimo Merro

Foto,  16 novembre 2015
Qualifica
Professore associato
Settore disciplinare
INF/01 - INFORMATICA
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.30 - 16.30,   Ca' Vignal 2, piano 1, stanza 57

Curriculum

Insegnamenti

Insegnamenti attivi nel periodo selezionato: 39.
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 (2017/2018)   12    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 Development of formal, and possibly automated, methods for the security analysis of cyber-physical systems and IoT systems Ingegneria del software e sicurezza
Security and privacy - Formal methods and theory of security
Models for concurrent, distributed, and mobile systems Process calculi for concurrent, distributed, and mobile systems. More recently, process calculi for cyber-physical systems and IoT systems Informatica teorica
Theory of computation - Models of computation
Semantics of concurrent, distributed, and mobile systems Semantics of concurrent, distributed, and mobile computations. Associated with these semantic theories come specification techniques and verification technologies for assuring the behaviour of systems Informatica teorica
Theory of computation - Semantics and reasoning
Verification of wireless networks protocols Semantics-based and model-checking techniques for the verification of wireless network protocols 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




Presidente/Coordinatore
Incarico come referente
Referente per l'Assicurazione della Qualità del Corso di laurea magistrale in Ingegneria e scienze informatiche - Informatica

Massimo Merro
Carica Organo collegiale
associato 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 Consiglio della Scuola di Dottorato in Scienze Naturali e Ingegneristiche

Organizzazione

Strutture del dipartimento