Write a Blog >>
Francesco Logozzo

Registered user since Sat 28 Nov 2015

Name: Francesco Logozzo

Bio: I love static static program analysis. I’ve been designing and implementing widely used static analysis tools. I published papers in the most important research conferences and gave talks at main research and industrial conferences as e.g., Build.

Country: United States

Affiliation: Facebook

Research interests: Abstract Interpretation, Static Analysis, Compilers, Optimization, Abstract domains, Contracts, Verification


PLDI 2017Session Chair of Functional Programming and Correctness (part of PLDI Research Papers)
Committee Member in Program Committee
Show activities from other conferences

PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM-profile
View general profile