Massimo Merro

Foto,  September 5, 2022
Position
Full Professor
Academic sector
INFO-01/A - Informatics
Research sector (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

Research sector (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

Office
Ca' Vignal 2,  Floor 1,  Room 57
Telephone
+39 045 802 7992
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

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. From November 2016 to October 2022 he was 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: 66.
Click on the module to see the timetable and course details.

Course Name Total credits Online Teacher credits Modules offered by this teacher
PhD in Computer Science Cyber-physical systems security (2024/2025)   3  eLearning
Master's degree in Computer Science and Engineering Foundations of programming and specification languages (2024/2025)   12  eLearning (Teoria)
(Laboratorio)
Master's degree in Computer Science and Engineering Network security (2024/2025)   6  eLearning (Teoria)
(Laboratorio)
PhD in Computer Science Cyber-physical systems security (2023/2024)   3  eLearning
Master's degree in Computer Science and Engineering Foundations of programming and specification languages (2023/2024)   12  eLearning (Teoria)
(Laboratorio)
Master's degree in Computer Science and Engineering Network security (2023/2024)   6  eLearning (Laboratorio)
(Teoria)
Master's degree in Computer Science and Engineering Foundations of programming and specification languages (2022/2023)   12  eLearning (Teoria)
(Laboratorio)
PhD in Computer Science Lezioni Dottorandi (2022/2023)   50  eLearning
Master's degree in Computer Science and Engineering Network security (2022/2023)   6  eLearning (Teoria)
(Laboratorio)
Master's degree in Computer Science and Engineering Foundations of programming and specification languages (2021/2022)   12  eLearning (Teoria)
(Laboratorio)
Master's degree in Computer Science and Engineering Network security (2021/2022)   6  eLearning (Laboratorio)
(Teoria)
Master's degree in Computer Science and Engineering Foundations of programming and specification languages (2020/2021)   12  eLearning (Laboratorio)
(Teoria)
Master's degree in Computer Science and Engineering Network security (2020/2021)   6  eLearning (Teoria)
(Laboratorio)
Master's degree in Computer Science and Engineering Foundations of Computing (2019/2020)   12  eLearning LINGUAGGI
Master's degree in Computer Science and Engineering Network security (2019/2020)   6  eLearning
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    (Laboratorio)
(Teoria)
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    Laboratorio
Teoria
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     

News for students

There you will find information, resources and services useful during your time at the University (Student’s exam record, your study plan on ESSE3, Distance Learning courses, university email account, office forms, administrative procedures, etc.). You can log into MyUnivr with your GIA login details: only in this way will you be able to receive notification of all the notices from your teachers and your secretariat via email and also via the Univr app.

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.
Research interests
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 Cybersecurity
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 Software Engineering and Formal Verification
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 Software Engineering and Formal Verification
Semantics and reasoning
Verification of wireless network protocols Semantics-based and model-checking techniques for the verification of wireless network protocols Software Engineering and Formal Verification
Software organization and properties
Projects
Title Starting date
In search of evidence of stealth cyber threats - COVERT 6/1/24
Novel Methodologies and Tools for Next Generation Cyber Ranges - NOMEN 5/21/24
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

Share