معرفی
Susanne Graf is a CNRS Research Professor (Directeur de Recherche) at the University of Grenoble Alpes, affiliated with the VERIMAG laboratory and the MOHYTOS team. Her research focuses on formal verification, real-time systems, embedded systems, and model checking. She has contributed to the development of tools like the IF verification platform and the Invariant Checker, which combine theorem proving and model checking techniques.
Key activities include organizing conferences such as FORTE 2015 and TACAS 2000, and serving on program committees. Her work has been recognized with the 2022 CAV Award for pioneering work on predicate abstraction. She has advised notable students including Hassen Saidi, Claire Loiseaux, and Sophie Quinton.
Research interests encompass distributed systems, concurrency, temporal logics, and component-based design. She has published extensively on topics like UML profiling for real-time systems and verification techniques for embedded systems.
- Awards: 2022 CAV Award
- Tools: IF, Invariant Checker, Omega-UML
- Grants/Projects: ERC CUSTOM (Wallenberg Foundation), OMEGA project
- Labs/Teams: MOHYTOS team at VERIMAG
