Gwen SalaŁn





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

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


Links


  Publications

  Teaching

  Software

  Talks



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: FSEN'15, SAC'15, SEFM'14, FACS'14, WWV'14, FOCLASA'14, GRAPHITE'14, ORCHOR'14, SOCA.