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 Ph.D committees. Before joining Facebook, I was researcher at Microsoft Research. I hold a Ph.D. from Ecole Polytechnique, obtained under the supervision of Dr. Radhia Cousot.
Abstract interpretation, static analysis, programming languages, and security