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.
14 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 (25)
ancestry10
opam10
windows10
gedcom10
graph10
linux10
genealogy10
ocaml10
speech10
family-tree10
database10
philosophy10
ripgrep7
melpa7
emacs-lisp7
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
Jul 2011 - Jul 2018
GeneWeb is a free (as in free speech) genealogy software with a web interface created by Daniel de Rauglaudre.
Contributions:16 releases, 1030 commits, 55 PRs in 7 years
osxwindowsweb-interfacelinuxocaml
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.