Massimo Merro received his PhD in Computer Science, with full marks and honours, from the "Ecole des Mines de Paris", France in 2000. From May 2000 to April 2002 he was Research Fellow at the "School of Cognitive and Computing Science" at the University of Sussex (UK). From May 2002 to October 2002 he was Research Fellow at the "Laboratoire des Méthodes de Programmation" within the Ecole Polytechnique Fédérale de Lausanne, Switzerland. From November 2002 to September 2006 he was Assistant Professor in Computer Science at the Faculty of Science of the University of Verona, Italy. Since October 2006 he is Associate Professor in the same University. His reaserch interests include formal methods for concurrent and distributed systems. In particular he has worked on process calculi for mobile systems, concurrent and distributed object-oriented languages, formalisation of distributed algorithms. More recently, he is working on formal methods for wireless systems. A CV can be found here (pdf) .