Born in 1970 in Messina, Italy, lives in Verona. Laurea cum laude (M.Sc.) in Computer Science at University of Pisa (1996). PhD in Computer Science, with full marks and honours, at the École des Mines de Paris, France (2000). From May 2000 to April 2002, 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 Programmatio" within the École Polytechnique Fédérale de Lausanne, Switzerland. From November 2002 to September 2006, Assistant Professor in Computer Science at the University of Verona, Italy. Since October 2006, Associate Professor at the same university. His research interests include formal methods applied to concurrent and distributed lan- guages. 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 formal verification of protocols for wireless systems.
Biography Updated on 24 August 2011