SafeRiver
Christele Faure - Simeoni is a highly experienced professional with extensive expertise in static analysis of programs for safety, security, and robustness, currently serving as the Scientific Director at SafeRiver since December 2008. Prior to this role, Christele held positions as Principal Scientist at The MathWorks, where connections with research laboratories and industry were established, and served at PolySpace Technologies in various capacities including Scientific Director and Chief Technology Officer, contributing to the development of key software tools and leading quality projects. Earlier experience includes research roles at INRIA, focusing on program transformation algorithms and the development of automatic differentiation tools for several major industrial clients. Christele holds a Habilitation à diriger des recherches and a PhD in Mathematics and Computer Science from Université Côte d'Azur.
This person is not in any teams
SafeRiver
SafeRiver is a consulting company specialized in safety and cyber-security for software-based systems. They develop and deploy methodological means and components for reaching a higher confidence level, for a lower cost, at the design and validation phases.