Gwen SalaŁn

Gwen SalaŁn (Dr, HDR)
Associate professor (Ensimag, Grenoble INP)
Inria - LIG laboratory

Mail address:
Inria Grenoble - RhŰne-Alpes / CONVECS (formerly VASY)
655, avenue de l'Europe
F-38330 Montbonnot Saint-Martin
Email: Gwen.Salaun īatī






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.

Current committees: SAC'16 (SOAP, SVT), SEFM'15, FACS'15, SOCA.