Browsing by Academic Advisor Kincaid, Zachary
Showing results 1 to 8 of 8
| Class Year | Author(s) | Title | Advisor |
| 2020 | Dattatri, Adithya | Convex Hull Procedure for Linear Integer Arithmetic | Kincaid, Zachary |
| 2023 | Pimpalkhare, Nikhil | Counter-Based Summarization of Recursive Procedures | Kincaid, Zachary |
| 2023 | Mehta, Vaibhav | Decidability of an Array Separation Logic fragment with Data Constraints | Kincaid, Zachary |
| 2022 | Koslowe, Hillel | The King-Pawn Chess Game: A Logical Analysis Using Satisfiability Modulo Theories | Kincaid, Zachary |
| 2023 | Yoder, Lance | A Layman's Chess Engine | Kincaid, Zachary; Ojalvo, Isobel |
| 2023 | Murphy, Timothy Charles | Relational Verification of Distributed Systems via Weak Simulations | Kincaid, Zachary |
| 2023 | Fang, Ruijie | Software Model Checking with Path and Procedure Summaries | Kincaid, Zachary |
| 2021 | Velasquez, Isaac | Types as Categories Using Simplicial Sets | Kincaid, Zachary |