Scholar

Zachary Kincaid

Google Scholar ID: uT9We9MAAAAJ

Princeton University

Program AnalysisProgramming LanguagesSoftware VerificationFormal Methods

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

1,449

H-index

19

i10-index

27

Publications

20

Co-authors

13

list available

Contact

No contact links provided.

Publications

4 items

Network Analysis with Parametric NetKAT

2026

Cited

0

Kleene Algebra with Transitive Commutativity Conditions

2026

Cited

0

A Categorical Basis for Robust Program Analysis

2026

Cited

0

Software Model Checking via Summary-Guided Search (Extended Version)

2025

Cited

0

Resume (English only)

Co-authors

13 total

Associate Professor, University of Toronto

J. Barkley Rosser Professor & Rajiv and Ritu Batra Chair Emeritus, CS Dept., Univ. of Wisconsin

Aws Albarghouthi

University of Wisconsin–Madison

Distinguished Scientist, Microsoft

Nanyang Technological University

Professor of Computer Science, University of Toronto