Accueil > Contact > Qui contacter > Qui contacter

Qui contacter

Directeur : David Monniaux

0457422232

Directeur Adjoint : Pascal Raymond

0457422240

Pour contacter la direction de Verimag: verimag-direction@univ-grenoble-alpes.fr

Administration

Responsable :
- Myriam Laurens 0457422242
Affaires générales, Personnel, Budget :

Myriam Laurens 0457422242

Services Contrats :

Valérie Roux-Marchand 0457422243

Services Missions et Commandes :

Boucif Mokhtari 0457422226

Service informatique

Vincent Blanc 0457422218
Patrick Fulconis 0457422217

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
- Oussama Oulkaid, Bruno Ferres, Matthieu Moy, Pascal Raymond, Mehdi Khosravian, Ludovic Henrio, Gabriel Radanne: A Transistor Level Relational Semantics for Electrical Rule Checking by SMT Solving
- David Monniaux, Sylvain Boulmé: Chamois: agile development of CompCert extensions for optimization and security
- Karine Altisen, Alain Cournier, Geoffrey Defalque, Stéphane Devismes: Self-stabilizing synchronous unison in directed networks

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

info visites 4452873

UGA

CNRS

INP Grenoble