Catherine Vigouroux

Catherine Vigouroux is an Associate Professor at Université Grenoble Alpes, holding a dual role as Deputy Director of the Department of Science and Technology. She specializes in real-time systems, formal verification, and embedded systems. Her research focuses on worst-case execution time (WCET) analysis, timing models, and compiler optimization, with contributions to projects like W-SEPT. She has co-chaired the RTNS 2017 conference and actively contributes to academic workshops and publications in her field. Her work bridges theoretical formal methods (e.g., Coq, PVS) with practical applications in embedded and real-time systems.

Her academic contributions include seminal work on linear relation analysis for WCET estimation and Cartesian factoring in polyhedral analysis. She has also published extensively on timing analysis for synchronous programs and schedulability in real-time systems. Her teaching and administrative roles reflect her commitment to advancing science and technology education at the university level.