Members

E-Mail addresses are obtained by forming FirstName.LastName@inrialpes.fr.

Principal Investigator

• Alain Girault (INRIA)
  Telephone: +33 (0)4 76 61 53 51

Secretary

• Diane Courtiol (INRIA)
  Telephone: +33 (0)4 76 61 52 59

Research scientists

• Gwenael Delaval (UJF)
  Telephone: +33 (0)4 76 61 54 31
• Pascal Fradet (INRIA)
  Telephone: +33 (0)4 76 61 52 46
• Gregor Goessler (INRIA)
  Telephone: +33 (0)4 76 61 54 20
• Bertrand Jeannet (INRIA)
  Telephone: +33 (0)4 76 61 52 76

Post-Doctoral Researchers

• Sebti Mouelhi (INRIA) Telephone: +33 (0)4 76 61 53 07

PhD Students

• Vagelis Bebelis (Cifre ST Microelectronics)
  Telephone: +33(0) 4 76 61 54 99
  Advisors: Alain Girault, Pascal Fradet and Ali-Erdem Ozcan (ST)
• Gideon Smeding (INRIA)
  Telephone: +33 (0)4 76 61 52 91
  Advisors: Joseph Sifakis and Gregor Goessler
• Peter Schrammel (INRIA)
  Telephone: +33 (0)4 76 61 54 70
  Advisors: Bertrand Jeannet and Alain Girault

Engineers

External collaborators

• Emil Dumitrescu
  (Laboratoire d'Automatique Industrielle de l'INSA Lyon)

Former Members

• Roopak Sinha
• Lacramioara Astefanoaei
• Petro Poplavko
• Pascal Sotin
• Lies Lakhdar-Chaouch
• Avinash Malik
• Jean-Baptiste Raclet
• Marnes Hoff
• Mouaiad Alras
• Bhasker Vanamali
• Gerald Vaisman
• Dana N. Xu
• Simplice Djoko Djoko
• Xavier Briand
• Daniel Le Metayer (now LICIT)
• Sharah Monteleone (LICITsubteam)
• Manuel Maarek(now LICIT)
• Romuald Thion(now LICIT)
• Eric Rutten (now in SARDES project
• Adrien Richard
• Daniel Simon
• Hamoudi Kalla
• David Robert
• Olivier Sename
• Nicolas Palix
• Karine Altisen