Accueil > Contact > 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

Service administratif et financier

Responsable administrative et financière :
- Myriam Laurens 0457422242
Responsable financière en charge des contrats :

Valérie Roux-Marchand 0457422243

Gestionnaires financiers :

Sylvie Renzetti 0457422208
Boucif Mokhtari 0457422226

Service informatique

Vincent Blanc 0457422218
Patrick Fulconis 0457422217

Nouvelles publications

Quelques Publications Récentes
- 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
- Erwan Jahier, Karine Altisen, Stéphane Devismes, Gabriel Baiocchi Sant'anna: Model checking of distributed algorithms using synchronous programs
- Florence Maraninchi: Revisiting "Good" Software Design Principles To Shape Undone Computer Science Topics
- Bruno Ferres, Oussama Oulkaid, Matthieu Moy, Gabriel Radanne, Ludovic Henrio, Pascal Raymond, Mehdi Khosravian: A Survey on Transistor-Level Electrical Rule Checking of Integrated Circuits

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

info visites 4894804

UGA

CNRS

INP Grenoble