Massimo Merro

Foto,  November 16, 2015
Position
Associate Professor
Disciplinary 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
Curriculum
  • pdf   CV   (pdf, en, 145 KB, 10/31/16)

Office Hours

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

Insegnamenti

Risultano 37 insegnamenti attivi nel periodo selezionato.
Clicca sull'insegnamento per vedere orari e dettagli del corso

Teachings in the last two academic years
Department/Faculty Name Total credits Online Teacher credits Modules offered by this teacher
Department Computer Science  Foundations of Computing (2016/2017)   12    LINGUAGGI
Department Computer Science  Network security (2016/2017)   6   
Department Computer Science  Foundations of Computing (2015/2016)   12    LINGUAGGI
Department Computer Science  Network security (2015/2016)   6   
Department Computer Science  Foundations of Computing (2014/2015)   12    LINGUAGGI
Department Computer Science  Network security (2014/2015)   6   
Department Computer Science  Foundations of Computing (2013/2014)   12    LINGUAGGI
Department Informatica  Network programming (2013/2014)   6    (Teoria)
(Laboratorio)
Department Computer Science  Network security (2013/2014)   6   
Department Computer Science  Foundations of Computing (2012/2013)   12    LINGUAGGI
Department Computer Science  Network programming (2012/2013)   6   
Department Computer Science  Foundations of Computing (2011/2012)   12    LINGUAGGI
Department Computer Science  Network programming (2011/2012)   6   
Department Computer Science  Foundations of Computing (2010/2011)   12    LINGUAGGI
Department Computer Science  Network programming (2010/2011)   6   
Department Computer Science  Network programming (2009/2010)   6   
Department Computer Science  Programming II (2009/2010)   6   
Department Computer Science  Advanced and Network Programming (2008/2009)   5    Teoria
Laboratorio
Department Computer Science  Concurrent and Mobile Languages (2008/2009)   5   
Department Computer Science  Introduction to Computing (2008/2009)   4    Laboratorio
Department Computer Science  Advanced and Network Programming (2007/2008)   5    Teoria
Laboratorio
Department Computer Science  Concurrent and Mobile Languages (2007/2008)   5   
Department Computer Science  Introduction to Computing (2007/2008)   4    Laboratorio
Department Computer Science  Advanced and Network Programming (2006/2007)   5   
Department Computer Science  Concurrent and Mobile Languages (2006/2007)   5   
Department Computer Science  Advanced and Network Programming (2005/2006)   5   
Department Computer Science  Concurrent and Mobile Languages (2005/2006)   5   
Department Computer Science  Advanced and Network Programming (2004/2005)   5     
Department Computer Science  Concurrent and Mobile Languages (2004/2005)   5     
Department Humanities  Human-computer Interaction (i) (2004/2005)   3     
Department Computer Science  Advanced and Network Programming (2003/2004)   5     
Department Computer Science  Concurrent and Mobile Languages (2003/2004)   5     
Department Computer Science  Advanced and Network Programming (2002/2003)   5     
Department Computer Science  Concurrent and Mobile Languages (2002/2003)   5     

Gli insegnamenti degli anni accademici precedenti sono consultabili dal catalogo dell'offerta formativa, specificando Anno Accademico e Docente.


 
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