Massimo Merro

Curriculum

•   CV in English   (pdf, en, 204 KB, 07/03/23)
•   CV in Italiano   (pdf, it, 241 KB, 07/03/23)

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.

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 soon also via the Univr app.

MyUnivr

 

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

---

Chair

• Commissione di valutazione affidamento di insegnamenti SSD INF/ING-INF

Massimo Merro

Office	Collegial Body
member	PhD Commitee - Department Computer Science
member	Computer Science Teaching Committee - Department Computer Science
member	Computer Science Department Council - Department Computer Science
Coordinator for PhD program in Computer Science	Natural and Engineering Sciences PhD School Council