Francesco Logozzo

Software Engineer

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

Related Links

Google Scholar

Latest Publications

Scaling Static Analyses at Facebook

Dino Distefano, Manuel Fahndrich, Francesco Logozzo, Peter O'Hearn

CACM - July 29, 2019