Loïc Correnson
Senior Expert at CEA
Rennes, Brittany, France
Summary
👤
Senior🎓
Top SchoolLoïc Correnson is a Senior Expert in formal methods and static analysis with 17+ years applying advanced computer science to critical embedded software problems in transport, energy and smartcards. He leads Frama-C development and is the principal architect of its deductive verification engine, bridging academic research and industrial certification needs. At CEA he drives verification, testing and certification methodologies while previously designing major testing platforms and tools for smart-card standards like EMV and Vitale. His background combines a PhD from École Polytechnique with hands‑on tool development and security consultancy, giving him rare fluency across programming languages, compilers and certification processes. Pragmatic and cross-disciplinary, he specializes in turning formal theories into usable engineering workflows that scale in industry.
17 years of coding experience
PhD, Computer Science, PhD, Computer Science at Ecole polytechnique
English
Stackoverflow
46reputation
168reached
1answer
0questions
Github Skills (84)
idris10
gleam10
ocaml10
dub10
electron-webpack10
apl10
javascript9
opam9
multicore9
dune9
ppx9
alt-ergo9
alt9
css9
ace-editor9
Programming languages (7)
Github contributions (5)
Frama-C/Qed
Sep 2015 - Apr 2021
Contributions:110 commits, 2 PRs, 18 pushes in 5 years 7 months
theoriesfirst-order-logicbuilt-infirst-orderlogic
correnson/wcaml
Feb 2013 - Jul 2013
Contributions:114 commits in 4 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.