Name:Zachary Eisbach

Country:United States

Affiliation:Northeastern University

Research interests:Semantics, logical relations, compilers, program logics