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

External collaborators

  • Pierre Boullier (formerly Inria - ALPAGE)

Post-doctorate researchers

Project assistant

PhD students

Expert engineers


Past members

Post-doctorate researchers

Expert engineers

  • Lian Apostol (Inria)

  • Hugues Evrard (Inria)

  • Armen Inants (Inria)

  • Eric Léo (Inria)

PhD students

MSc students

  • Pierre Bouvier (Inria)

  • Almo Cuci (UGA)

  • Jean-Philippe Gros (Inria)

  • Suraj Gupta (Inria)

  • Kaoutar Hafdi (Inria)

  • Waqas Imtiaz (Inria)

  • Sai Srikar Kasi (Inria)

  • Koffi Marck-Edward Kemeh (Inria)

  • Philippe Ledent (Inria)

  • Ajay Muroor Nadumane (Inria)

  • Quentin Nivon (Inria)

  • Mohammad-Ali Tabikh (Inria)

Internship students

  • Imad-Seddick Arrada (Polytech Grenoble)

  • Lucie Colpart (UGA)

  • Angel Contreras Duenas (UGA)

  • Remy Delanaux (ENSIMAG)

  • Alexandre Dumont (ENSIMAG)

  • Irman Faqrizal (UGA)

  • Andres Diaz Hernandez (UGA)

  • Esau Martinez Lopez (UGA)

  • Alejandro Martinez-Rivero (UGA)

  • Nathan Miscopein (Inria)

  • Julie Parreaux (ENS Cachan-Bretagne)

  • Pedro Perez-Torres (UGA)

  • Imane Serdani (UGA)

  • Ernesto Yah-Lopez (UGA)

  • Zhen Zhang (University of Utah)

External collaborators

  • Edgar Moises Pureco Huerta

  • Ajay Muroor Nadumane

  • Dasarada Ramu Munnangi

  • Carlos Uriel Vargas Lopez
 
 
Logo Twitter
 
Last modified: 2024/12/09 17:28:10.