Kincaid’s research focuses on program analysis and automated theorem proving. He received his Ph.D. in Computer Science from the University of Toronto in 2016. His Ph.D. disser- tation on analysis of multi-threaded programs received Honorable Mention for the ACM SIGPLAN John C. Reynolds Doctoral Dissertation Award.