Zachary Eisbach

Registered user since Mon 19 Aug 2024

Name:Zachary Eisbach
Country:United States
Affiliation:Northeastern University
Research interests:Programming language semantics, logical relations, safe language interoperability, program logics and specification

Contributions

Show activities from other conferences

Using general profile