Associate Professor
(PhD, HDR)

Ensimag, Grenoble INP

CONVECS, LIG, Inria Grenoble

Mail address

Inria Grenoble - Rhône-Alpes / CONVECS
655 Avenue de l'Europe
38330 Montbonnot Saint-Martin


Gwen.Salaun '@'

Teaching activities

Software engineering, programming (functional, imperative, object-oriented), algorithmics, modelling, language and concurrency theory.


Research interests

Formal methods, specification languages, automated verification, concurrent systems, component/service-based systems, software engineering.



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). He was also appointed to an Inria chair in system security and safety from 2009 to 2014. He defended his "Habilitation à Diriger des Recherches" from the University of Grenoble in 2011.