Bio: Gwen SalaŁn received a PhD degree in Computer Science
from the University of Nantes (France) in 2003. In 2003-2004, he
held a post-doctoral position at the University of Rome "La
Sapienza" (Italy). In 2004-2006, he held a second post-doctoral
position at Inria (Grenoble, France). In 2006-2009, he was a
research associate at the University of Malaga (Spain). He is
currently an associate professor at Ensimag / Grenoble INP (France).
Research interests: formal methods, specification languages, automated
verification, concurrent systems, component and service-based systems, software engineering.