Massimo Merro

Massimo Merro is a Full Professor in the Department of Computer Science at the University of Verona, where he has been serving since October 2018. He previously served as Coordinator of the PhD Program in Computer Science from November 2016 to October 2022. His office is located at Ca' Vignal 2, Floor 1, Room 57, and he can be reached at +39 045 802 7992 or massimo.merro@univr.it.

Merro earned his Laurea cum laude (M.Sc.) in Computer Science from the University of Pisa in 1996 and completed his PhD in Computer Science with full marks and honors from the Ecole des Mines de Paris, France, in 2000. Following his PhD, he was a Research Fellow at the School of Cognitive and Computing Science at the University of Sussex, UK (May 2000-April 2002) and at the Laboratoire des Méthodes de Programmation within the Ecole Polytechnique Fédérale de Lausanne, Switzerland (May 2002-October 2002).

Professor Merro's research focuses on formal methods applied to concurrent and distributed languages. His work spans process calculi for mobile systems, concurrent and distributed object-oriented languages, formalization of distributed algorithms, and more recently, semantics foundations and security analysis of cyber-physical systems and IoT devices. His research interests are categorized under cybersecurity and software engineering and formal verification, with specific focus on formal methods and theory of security, models of computation, semantics and reasoning, and software organization and properties.

Merro regularly teaches courses including "Network security" and "Semantics of programming languages" as part of the Master's degree in Computer Science and Engineering. He has maintained a consistent teaching schedule since 2002, with current courses for 2025/2026 including "Foundations of programming and specification languages" and "Network security".

He serves on multiple departmental committees including the Commissione di valutazione affidamento di insegnamenti SSD INF/ING-INF, Faculty Board of PhD in Computer Science, Computer Science Teaching Committee, and Computer Science Department Council.

Professor Merro is affiliated with the Laboratorio OPDATE SPY (Formal Methods) Laboratory at the University of Verona, where he conducts research on formal methods and security analysis. He has served as PC-chair and PC-member in international conferences and workshops, and has provided industrial training through tutorials and courses.