0457422230
Assistant Director: Susanne Graf
0457422219
Contact Verimag Direction: verimag-direction@univ-grenoble-alpes.fr
Verimag Team Leaders:
- Proofs and Code Analysis for Safety and Security:
Marie-Laure Potet
0457422238
et
David Monniaux
0457422232
- Rigorous System Design:
Saddek Bensalem
0457422204
- Synchronous Languages and Reactive Systems
Pascal Raymond
0457422240
- Timed and Hybrid Systems
Thao Dang
0457422212
- Manager:
- Aldjia Boulghobra
0457422242
- Aldjia Boulghobra
- Staff, Budget :
-
Aldjia Boulghobra
0457422242
- Contracts :
-
Valérie Roux-Marchand
0457422243
- Missions and orders :
-
Rosen Carbonero
0457422208
-
Sandrine Magnin
0457422226
System administration
-
Patrick Fulconis
0457422217
-
Philippe Genin
0457422218
