People
Jules Villard
Software Engineer
I am a Software Engineer working on the Infer static analysis platform at Facebook London. After studying at ENS Lyon and then at ENS Cachan, defending a PhD thesis on the verification of message-passing programs in 2011, I have held a number of Research Assistant positions in London (Queen Mary, UCL, Imperial College), then joining Facebook in 2015. I am now investigating new techniques for finding bugs at scale.
Interests
Static analysis, program logics, programming languages, software verification