Home > Topics > Formal Proofs

Members

Professors & Assistant Professors
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
Researchers
David Monniaux email 0457422232 CNRS
Engineers
Erwan Jahier email 0457422223 CNRS
Post-doc
Nicolas Chappe email CNRS
Vincent Rebiscoul email G-INP
Valentin Richard email UGA
PhD Candidates
Alexandre Berard email UGA/CIFRE
Benjamin Bonneau email UGA/ENS
Basile Gros email MESR
Alban Reynaud Michez email UGA
Timothée Rognon email UGA

New publications

Contact | Site Map | Site powered by SPIP 4.4.2 + AHUNTSIC [CC License]

info visites 4543352