Short bio
Massimo Merro graduated with honors in Computer Science from the University of Pisa in 1996. In 2000 he obtained a PhD in Computer Science, with “très honorable avec félicitations du jury” mention, from the Ecole des Mines de Paris, France. From May 2000 to October 2002 he was Research Fellow at the University of Sussex (UK) and the Ecole Polytechnique Fédérale de Lausanne, Switzerland. From November 2016 to October 2022 he held the position of Coordinator of the PhD in Computer Science. Since October 2018 he has been a full professor in Computer Science at the Department of Computer Science of the University of Verona. Massimo Merro’s research activity includes 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 and formalization 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.
— presenter's bio has been redacted at the date of last given talk