William Spencer
PhD Student
University of Chicago
I am interested in formal verification, especially automation. I have worked on automation for category theory, the ZX-calculus, and Hoare-Heisenberg logic in the ChiQP Lab.
Interests
- Reflective Automation
- Formal Verification
- ZX-calculus
- Category Theory
- Quantum Computing
Education
-
B.S. in Mathematics and B.S. in Computer Science, 2025
University of Chicago