Name:Josh Berdine

Affiliation:Facebook

Research interests:Static Analysis, Software Verification, Separation Logic, Programming Languages