
Assistant Director: Susanne Graf

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:
- Staff, Budget :
- Contracts :
- Missions and orders :
System administration
-
Vincent Blanc
0457422218
-
Patrick Fulconis
0457422217