Accueil > Axes > Formal Proofs

Membres

Enseignants-Chercheurs
Karine Altisen email 0457422223 Grenoble INP
Sylvain Boulme email 0457422206 Grenoble INP
Pierre Corbineau email 0457422211 Grenoble INP
Jean-François Monin email 0457422231 UGA
Lionel Rieg email 0457422209 Grenoble INP
Chercheurs
David Monniaux email 0457422232 CNRS
Ingénieurs
Erwan Jahier email 0457422223 CNRS
Post-doctorants
Nicolas Chappe email CNRS
Vincent Rebiscoul email G-INP
Valentin Richard email UGA
Doctorants
Alexandre Berard email UGA/CIFRE
Benjamin Bonneau email UGA/ENS
Basile Gros email MESR
Alban Reynaud Michez email UGA
Timothée Rognon email UGA

Nouvelles publications

Contact | Plan du site | Site réalisé avec SPIP 4.4.2 + AHUNTSIC [CC License]

info visites 4671272