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

Related Links

DBLP