Massimo Merro

Foto,  November 16, 2015
Position
Full Professor
Academic sector
INF/01 - INFORMATICS
Research sector (ERC)
PE6_3 - Software engineering, operating systems, computer languages

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

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

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. Since October 2016, he is Coordinatore of the PhD Program in Computer Science of the University of Verona, Italy. Since October 2018, he is Full Professor in Computer Science at 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.

Modules

Modules running in the period selected: 41.
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 (2018/2019)   12  eLearning LINGUAGGI
Master's degree in Computer Science and Engineering Network security (2018/2019)   6  eLearning
Master's degree in Computer Science and Engineering Foundations of Computing (2017/2018)   12  eLearning 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 Software Engineering and Security
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 Theory of computation
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 Theory of computation
Theory of computation - Semantics and reasoning
Verification of wireless network protocols Semantics-based and model-checking techniques for the verification of wireless network protocols Software Engineering and Security
Software and its engineering - Software organization and properties
Projects
Title Starting date
Computer Engineering for Industry 4.0 1/1/18
Security Static Analysis for Android Things 1/1/18
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




Organization

Department facilities