Name:Zachary Eisbach

Country:United States

Affiliation:Northeastern University

Research interests:Programming language semantics, logical relations, safe language interoperability, program logics and specification