Massimo Merro

Foto,  November 16, 2015
Position
Associate Professor
Role
Professore associato
Academic sector
INF/01 - INFORMATICS
Office
Ca' Vignal 2,  Floor 1,  Room 57
Telephone
045 802 7992
Fax
045 802 7068
E-mail
massimo|merro*univr|it <== Replace | with . and * with @ to have the right email address.
Personal web page
http://profs.scienze.univr.it/~merro

Office Hours

Thursday, Hours 2:15 PM - 4:15 PM,   Ca' Vignal 2, floor 1, room 57

Curriculum

Massimo Merro ha conseguito la laurea con lode in Informatica dall'Università degli Studi di Pisa nel 1996. Ha poi conseguito il PhD in Computer Science, con "full mark and honours", presso l'Ecole des Mines de Paris, Francia, 2000. 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 Facolta' 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 dei sistemi in ambito Internet of Things. Di recente Massimo Merro ha iniziato a interessarsi alle problematiche legate alla sicurezza dei sistemi ciberfisici e dei sistemi in ambito IoT. Attualmente insegna nel corso di laurea magistrale in Ingegneria e Scienze dell'Informazione dell'Università degli Studi di Verona. E’ associate editor di riviste internazionali e ha servito nel comitato di programma di numerosi convegni internazionali.

Modules

Modules running in the period selected: 39.
Click on the module to see the timetable and course details.

Course Name Total credits Online Teacher credits Modules offered by this teacher
Master's degree in Computer Science and Engineering Foundations of Computing (2017/2018)   12    LINGUAGGI
Master's degree in Computer Science and Engineering Network security (2017/2018)   6   
Master's degree in Computer Science and Engineering Foundations of Computing (2016/2017)   12  eLearning LINGUAGGI
Master's degree in Computer Science and Engineering Network security (2016/2017)   6  eLearning
Master's degree in Computer Science and Engineering Foundations of Computing (2015/2016)   12    LINGUAGGI
Master's degree in Computer Science and Engineering Network security (2015/2016)   6   
Master's degree in Computer Science and Engineering Foundations of Computing (2014/2015)   12    LINGUAGGI
Master's degree in Computer Science and Engineering Network security (2014/2015)   6   
Master's degree in Computer Science and Engineering Foundations of Computing (2013/2014)   12    LINGUAGGI
Bachelor's degree in Computer Science Network programming (2013/2014)   6    (Teoria)
(Laboratorio)
Master's degree in Computer Science and Engineering Network security (2013/2014)   6   
Master's degree in Computer Science and Engineering Foundations of Computing (2012/2013)   12    LINGUAGGI
Bachelor's degree in Computer Science Network programming (2012/2013)   6   
Master's degree in Computer Science and Engineering Foundations of Computing (2011/2012)   12    LINGUAGGI
Bachelor's degree in Computer Science Network programming (2011/2012)   6   
Master's degree in Computer Science and Engineering Foundations of Computing (2010/2011)   12    LINGUAGGI
Bachelor's degree in Computer Science Network programming (2010/2011)   6   
Bachelor's degree in Computer Science Network programming (2009/2010)   6   
Bachelor's degree in Computer Science Programming II (2009/2010)   6   
Bachelor in Computer Science (until 2008-2009 academic year) Advanced and Network Programming (2008/2009)   5    Teoria
Laboratorio
Masters in Computer Science Concurrent and Mobile Languages (2008/2009)   5   
Bachelor in Computer Science (until 2008-2009 academic year) Introduction to Computing (2008/2009)   4    Laboratorio
Bachelor in Computer Science (until 2008-2009 academic year) Advanced and Network Programming (2007/2008)   5    Teoria
Laboratorio
Masters in Computer Science Concurrent and Mobile Languages (2007/2008)   5   
Bachelor in Computer Science (until 2008-2009 academic year) Introduction to Computing (2007/2008)   4    Laboratorio
Bachelor in Computer Science (until 2008-2009 academic year) Advanced and Network Programming (2006/2007)   5   
Masters in Computer Science Concurrent and Mobile Languages (2006/2007)   5   
Bachelor in Computer Science (until 2008-2009 academic year) Advanced and Network Programming (2005/2006)   5   
Masters in Computer Science Concurrent and Mobile Languages (2005/2006)   5   
Bachelor in Computer Science (until 2008-2009 academic year) Advanced and Network Programming (2004/2005)   5     
Masters in Computer Science Concurrent and Mobile Languages (2004/2005)   5     
Degree in Communication Science: publishing and journalism Human-computer Interaction (i) (2004/2005)   3     
Bachelor in Computer Science (until 2008-2009 academic year) Advanced and Network Programming (2003/2004)   5     
Masters in Computer Science Concurrent and Mobile Languages (2003/2004)   5     
Bachelor in Computer Science (until 2008-2009 academic year) Advanced and Network Programming (2002/2003)   5     
Masters in Computer Science Concurrent and Mobile Languages (2002/2003)   5     

 
Skills
Topic Description Research area
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 network 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
Projects
Title Starting date
Security Horizons 2/1/13
Static Analysis for Multithreading - Joint Project 2011 1/1/13
SPaCIoS: Secure Provision and Consumption in the Internet of Services 10/1/10
Modelli e tecniche di analisi formale per la sicurezza dei sistemi software (PRIN 2007) 9/22/08
AVANTSSAR - Automated Validation of Trust and Security of Service-oriented Architectures 1/1/08
Analisi statica e dinamica per la certificazione automatica di sicurezza di programmi (PRIN 2006) 2/9/07