Zachary Kincaid
0000-0002-7294-9165
Publication & Citation Trends
Publications
0 total
No publications found.
Research Topics
Formal Methods in Verification
(51)
Logic, programming, and type systems
(38)
Chronic Myeloid Leukemia Treatments
(18)
Software Testing and Debugging Techniques
(17)
Parallel Computing and Optimization Techniques
(14)
Affiliations
Western University
Cincinnati Children's Hospital Medical Center
University of North Carolina at Greensboro
University of Toronto
Princeton University