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
Vincent Blanc
0457422218
Patrick Fulconis
0457422217
News
NEWS
Doctorat Honoris Causa UGA pour Moshe Vardi
Conferences
Feb. 24, 2020
Workshop CAPITAL
May 11-15, 2020
AlgoTel et CoRes 2020
June 22-26, 2020
MOVEP 2020
Seminars
Seminars
16 December 2019
Lélio Brun:
Verified compilation of the lustre modular reset
19 December 2019
Yannick Zakowski:
From representing recursive and impure programs in coq to a modular formal semantics (...)
19 December 2019
Hang Yu:
Towards an efficient parallel parametric linear programming solver (Phd)
6 February 2020
Jules Chouquet:
Lower bounds for probabilistic k-set agreement through combinatorial (...)
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.1.11
+
AHUNTSIC
[CC License]
info visites
1363190
English
Français