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 techniques and tools, process algebras, concurrent and distributed systems, specification and verification, software engineering, composition of components and services.

Current committees: FACS'13, CBSE'13, QASBA'13, FSEN'13, SAC'13, SOCA.