Directeur de l’ensimag

Jean-Louis Roch

Membre de l’équipe PACSS, Jean-Louis Roch est le directeur de l’Ensimag, école de Grenoble INP, depuis le 11 juin 2017.

Nouvelles publications

Quelques Publications Récentes
- Basile Pesin, Sylvain Boulmé, David Monniaux, Marie-Laure Potet: Formally Verified Hardening of C Programs against Hardware Fault Injection
- Erwan Jahier, Karine Altisen, Stéphane Devismes, Gabriel Baiocchi Sant'anna: Model checking of distributed algorithms using synchronous programs
- Marius Bozga, Radu Iosif, Florian Zuleger: Regular Grammars for Sets of Graphs of Tree-Width 2
- Marius Bozga, Radu Iosif, Florian Zuleger: Iterating Non-Aggregative Structure Compositions

info visites 9018378