I am a theoretical and experimental cyclist with a passion for abstract interpretation and static program analysis. I have created widely used static analysis tools, including the one used by the Facebook security team. I have published papers and given keynotes at many academic conferences and industrial meetings (e.g., POPL, PLDI, OOPSLA…), and have served in 20+ program and PhD committees. Before joining Facebook, I was researcher at Microsoft Research. I hold a PhD from Ecole Polytechnique, obtained under the supervision of Dr. Radhia Cousot.
Abstract interpretation, static analysis, programming languages and security