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.
15 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 (87)
ruby10
cpp10
opam10
static-analysis10
assetbundle10
filemaker10
linux10
package-repository10
idris10
analyzer10
libclang10
java10
ocaml10
android10
dub10
Programming languages (9)
Github contributions (5)
jvillard/infer
Jun 2016 - Jul 2022
Contributions:28 commits, 69 pushes, 14 branches in 6 years 2 months
static-analyzerobjective-cjavaanalyzerstatic-analysis
jvillard/homebrew-core
Aug 2016 - Oct 2020
:beers: Core formulae for the Homebrew package manager
Contributions:34 pushes, 2 branches in 4 years 2 months
beersformulaehomebrewpackage-manager
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.