Massimo Merro

Background

About Massimo Merro

Massimo Merro is full professor in Computer Science at the University of Verona since 2018. He received a Laurea cum laude (M.Sc.) in Computer Science from the University of Pisa (1996) and a Ph.D. in Computer Science, with full marks and honors, from the École Nationale Supérieure des Mines de Paris, France From May 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 École Polytechnique Fédérale de Lausanne, Switzerland. Since October 2016, he is Coordinator of the PhD Program in Computer Science of the University of Verona, Italy. His research interests include formal methods applied to concurrent and distributed models for mobile systems, wireless systems, formal verification of wireless network protocols, including security protocols. More recently, he has been working on semantics foundations and security analysis of cyber-physical systems and smart devices and applications in the context of the Internet of Things paradigm. Massimo Merro is author of more than 80 publications in major international journals and conferences in the area of Concurrency theory, Programming languages, Formal methods and Information security. During the last 15 years, he has taught several classes, tutorials, and courses as part of the Degree and the Master in Computer Science at the University of Verona. He has served as PC member in several international conferences.