Accueil
>
Contact
>
Qui contacter
>
Qui contacter
Qui contacter
Directeur :
David Monniaux
0457422232
Directeur Adjoint :
Jean-François Monin
0457422231
Pour contacter la direction de Verimag:
verimag-direction@univ-grenoble-alpes.fr
Administration
Responsable :
Aldjia Boulghobra
0457422242
Affaires générales, Personnel, Budget :
Aldjia Boulghobra
0457422242
Services Contrats :
Valérie Roux-Marchand
0457422243
Services Missions et Commandes :
Rosen Carbonero
0457422208
Boucif Mokhtari
0457422226
Service informatique
Vincent Blanc
0457422218
Patrick Fulconis
0457422217
Actualités
Séminaires
Séminaires
4 avril 2024
Sébastien Michelland:
Abstract interpreters: a monadic approach to modular verification
Nouvelles publications
Quelques Publications Récentes
Karine Altisen, Pierre Corbineau, Stéphane Devismes:
Complexité certifiée d'algorithmes autostabilisants en rondes
Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, Franck Petit:
Self-stabilizing Systems in Spite of High Dynamics
Karine Altisen, Alain Cournier, Geoffrey Defalque, Stéphane Devismes:
Pour battre à l'unisson, il faut que tous les chemins viennent de Rome
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
Offres d'emploi et stages
Offres d'emploi et stages
[Master] Implementation of critical applications on multi-core : execution mode analysis to reduce interferences
Bourses PERSYVAL de M2
[L3/M1] Theory and Practice of Vectorial Extension for Stream Processing
[Master]Leakage in presence of an active and adaptive adversary
[PostDoc] Implementation of critical applications on multi-core : execution mode analysis to reduce interferences
Navigation
Rubriques
Verimag
Axes
Contact
Qui contacter
Venir à Verimag
Plan du site
Acces au Batiment
Contact
|
Plan du site
|
Site réalisé avec SPIP 4.2.16
+
AHUNTSIC
[CC License]
info visites
3748570
English
Français