Projects
- Sarah Allen and Kristy Gardner: Tile Self-Assembly
- Brandon Amos and Huanchen Zhang: Specifying and Proving Cluster Membership for the Raft Distributed Consensus Algorithm
- Naman Bharadwaj: Formally Building the Theory of the lambda-Calculus
- Jiayu Liu: DbCheck
- Lay Kuan Loh: Automated Verification of Safety Properties of Declarative Networking Programs
- Neil Shah and Guru Prashanth: PGN/AN Verification for Legal Chess Gameplay