Prof. Flavio Corradini is a full professor of Computer Science at the University of Camerino, Italy. He obtained a Laurea Degree in Computer Science from the University of Pisa in 1991 and a PhD in Computer Engineering from the University of Rome “La Sapienza” in 1996. Prior to joining the University of Camerino, he was an assistant professor (1996-2000) and an associate professor (2000-2003) at the University of L'Aquila. From November 1996 to November 1997, he was also a visiting researcher at Sussex University, Brighton, UK. His main research activities are in the area of formal specification, verification of concurrent, and distributed and real-time systems.