Zachary Kincaid

Registered user since Thu 18 Dec 2014

Name:Zachary Kincaid
Country:United States
Affiliation:Princeton University
Research interests:Programming Languages, Formal Methods


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

POPL 2023-profile
View general profile