Home
>
Contact
>
Whom to contact
>
Whom to contact
Whom to contact
Director:
Florence Maraninchi
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
Administration
Manager:
Aldjia Boulghobra
0457422242
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
News
Seminars
Seminars
18 February 2019
Guillaume Baudart:
Probabilistic reactive programming
22 February 2019
Moustapha Lo:
Implementing a real-time avionic application on a manycore processor (Phd)
New publications
Recent Publications
Jobs and internships
Jobs and internships
Browsing
Sections
Verimag
Teams
Contact
Whom to contact
How to reach us
Site Map
Search:
Building Access
Contact
|
Site Map
|
Site powered by SPIP 3.0.28
+
AHUNTSIC
[CC License]
info visites
1170276
English
Français