Browsing by Academic Advisor Kincaid, Zachary
Showing results 1 to 11 of 11
| 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 |
| 2024 | Maloney, Pierce | Enhancing Automated Theorem Proving in Coq with Specialized Large Language Models and Tree of Thoughts | 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 |
| 2024 | Friedman, Daniel | Polymorphic Proof Tactics: Template Haskell Macros in Liquid Haskell Proofs | Kincaid, Zachary |
| 2024 | Curran, Drew | Re-Emergence of Gameplay Strategy in Adversarial RL Agents | Kincaid, Zachary |
| 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 |