merro
univrit
CV in English
(pdf, it, 212 KB, 12/02/25)
CV in Italiano
(pdf, it, 375 KB, 12/02/25)
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 running in the period selected: 70.
Click on the module to see the timetable and course details.
Di seguito sono elencati gli eventi e gli insegnamenti di Terza Missione collegati al docente:
| 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 |
| Office | Collegial Body |
|---|---|
| member | Faculty Board of PhD in Computer Science - 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 |
© 2025 | Verona University
******** CSS e script comuni siti DOL - frase 9957 ********
