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
France

Email

Gwen.Salaun '@' imag.fr

Teaching activities

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

more

Research interests

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

more

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). 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.