C O N V E C S
Construction of Verified Concurrent Systems
Logo Inria Logo LIG Logo Grenoble INP Logo CNRS Logo UGA
 

Research scientists

Post-doctorate researchers

Expert engineers

Project assistant

PhD students

Internship students


Past members

Post-doctorate researchers

Expert engineers

PhD students

MSc students

  • Jean-Philippe Gros (Inria)

  • Kaoutar Hafdi (Inria)

  • Waqas Imtiaz (Inria)

  • Sai Srikar Kasi (Inria)

  • Philippe Ledent (Inria)

  • Ajay Muroor-Nadumane (Inria)

  • Mohammad-Ali Tabikh (Inria)

Internship students

  • Imad-Seddick Arrada (Polytech Grenoble)

  • Lucie Colpart (UGA)

  • Remy Delanaux (ENSIMAG)

  • Alexandre Dumont (ENSIMAG)

  • Julie Parreaux (ENS Cachan-Bretagne)

  • Ernesto Yah-Lopez (UGA)

  • Zhen Zhang (University of Utah)
 
 
Logo Twitter
 
Last modified: 2018/11/08 11:39:26.