Zachary Kincaid - POPL 2023

Registered user since Thu 18 Dec 2014

Name:Zachary Kincaid

Country:United States

Affiliation:Princeton University

Research interests:Programming Languages, Formal Methods

Contributions

POPL 2023	When Less Is More: Consequence-Finding in a Weak Theory of Arithmetic Logic & Decidability I: Session Preview Session Chair of Logic & Decidability I (part of POPL)
Show activities from other conferences