Francesco Logozzo is a seasoned professional in the field of computer science, with a strong academic background and extensive industry experience. After obtaining a Master's degree in Computer Science from Università di Pisa, Francesco furthered education with a Master's degree at Scuola Normale Superiore and a Ph.D. at École Polytechnique. Francesco's career includes roles as a Master student at the University of Pisa from 1995 to 2000, a postdoctoral researcher at École normale supérieure from 2004 to 2006, and a researcher at Microsoft Research from October 2006 to January 2015, where contributions included co-creating the CodeContracts static checker. Currently, Francesco serves as a Software Engineer at Meta since January 2015, focusing on developing advanced static analysis tools.
This person is not in the org chart
This person is not in any teams
This person is not in any offices