Organisation chart

Director: Florence Maraninchi 0457422230

Assistant Director: Susanne Graf 0457422219

Verimag Team Leaders:

• Synchronous Languages and Reactive Systems Matthieu Moy 0457422234
• Timed and Hybrid Systems Oded Maler 0457422229
• Proofs and Code Analysis for Safety and Security: David Monniaux 0457422232
• Rigorous System Design: Saddek Bensalem 0457422204

Administration Manager: Brigitte Sens-Salis 0457422242

• Staff, Budget :
• Brigitte Sens-Salis 0457422242
• Contracts :
• Valérie Roux-Marchand 0457422243
• Missions and orders :
• Rosen Carbonero 0457422208
• Sandrine Magnin 0457422226

System administration

• Patrick Fulconis 0457422217
• Philippe Genin 0457422218