Loïc Correnson is a Senior Expert at CEA, where they focus on software static analysis and formal methods for critical embedded software. Since 2007, they have been responsible for the Frama-C platform, notably serving as the main architect and developer of its deductive verification engine. Loïc's experience includes roles at Trusted Logic and Trusted Labs, where they specialized in test methodology, tools, and security consulting for Smart Card systems. They hold a PhD in Computer Science from École Polytechnique, obtained between 1993 and 1995.
This person is not in the org chart
This person is not in any teams
This person is not in any offices