Fabien Lheureux
Staff Engineer at Arm
France
Summary
👤
Senior🎓
Top SchoolFabien Lheureux is a Staff Engineer and security specialist with 14 years of experience applying formal methods to source code auditing for critical C and C++ systems. He led TrustInSoft’s security audit practice, scaling the team and company while driving long-term engagements—most notably a five-year technical lead role securing Google Pixel codebases where his audits produced 200+ findings and 10+ CVEs. His expertise spans bootloaders, firmware, hypervisors, kernels and cryptographic stacks, and he tailors formal verification workflows from testing and fuzzing up to exhaustive-input proofs to eliminate undefined behavior. Now at Arm, he brings deep domain knowledge across aerospace, defense, telecom and consumer electronics, plus hands-on product influence from evolving static-analysis tooling. Colleagues rely on him for bridging rigorous verification techniques with practical engineering constraints and for creating customer-facing training and audit processes. Based in France, he combines safety-critical standards experience with a talent for turning formal proofs into actionable security improvements.
15 years of coding experience
16 years of employment as a software developer
Master 2, Ingénierie Logiciels Critiques, Master 2, Ingénierie Logiciels Critiques at Université Denis Diderot (Paris VII) / University Paris VII
French, English, German
Github Skills (21)
opam10
windows10
gedcom10
graph10
linux10
genealogy10
ocaml10
speech10
family-tree10
webserver10
database10
melpa9
ripgrep7
redis-client7
emacs7
Programming languages (3)
Github contributions (5)
gwmr/geneweb
Mar 2013 - Feb 2016
Contributions:348 commits in 2 years 11 months
stand-aloneweb-interfacestandweb-serverlocally
geneweb/geneweb
Aug 2015 - Jan 2016
Contributions:2 PRs, 64 pushes, 20 branches in 5 months
stand-aloneweb-interfacestandweb-serverlocally
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.