Home > Topics > Formal Proofs

Members

Professors & Assistant Professors
Karine Altisen email 0457422223 Grenoble INP
Sylvain Boulme email 0457422206 Grenoble INP
Pierre Corbineau email 0457422211 UGA/polytech/27
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
Basile Pesin email
PhD Candidates
Alexandre Berard email UGA
Abderrahmane Bouguern email UGA
Leo Gourdin email UGA
Basile Gros email
Alban Reynaud email UGA

New publications

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

info visites 3813737