Jules Villard
Unemployed at no
London, England, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolJules Villard is a software engineer with 15 years of experience specializing in program verification, concurrency, and static analysis, most recently contributing to Meta’s open-source Infer platform. He holds a PhD in Computer Science from ENS Cachan and progressed through rigorous French mathematics and CS training at ENS Lyon and MPRI. Jules spent a decade-plus applying research-grade formal methods to production-scale tooling, bridging academic verification techniques with engineering pragmatism. His background includes research roles at Imperial College, UCL, and Queen Mary, where he developed expertise in automated verification that informs his practical engineering work. Now based in London and open to new opportunities, he combines deep formal foundations with a track record of shipping robust static-analysis features at scale. A less obvious strength is his ability to translate complex verification concepts into developer-friendly tools that improve everyday code quality.
16 years of coding experience
14 years of employment as a software developer
Doctor of Philosophy (Ph.D.) Computer Science, Doctor of Philosophy (Ph.D.) Computer Science at ENS CachanBachelor of Science (BSc) Mathematics and Computer Science, Bachelor of Science (BSc) Mathematics and Computer Science at ENS LyonMaster of Science (MSc) Computer Science, Master of Science (MSc) Computer Science at Master Parisien de Recherche en Informatique (MPRI)Classe Préparatoire aux Grandes Écoles Mathematics, Classe Préparatoire aux Grandes Écoles Mathematics at Lycée Champollion
Github Skills (56)
objective-c10
static-code-analysis10
buck10
ios10
static-analysis10
python10
build-system10
package-repository10
java10
ocaml10
ruby10
homebrew10
android10
static-analyzer10
frontend10
Programming languages (9)
Github contributions (5)
facebook/infer
Jun 2015 - Jan 2023
A static analyzer for Java, C, C++, and Objective-C
Contributions:20 releases, 75 reviews, 2078 commits in 7 years 8 months
cppjavaobjective-cstatic-analyzerstatic-analysis
jvillard/infer
Jun 2016 - Jul 2022
Contributions:28 commits, 82 pushes, 15 branches in 6 years 2 months
static-analyzerobjective-cjavaanalyzerstatic-analysis
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.