Ben Caldwell
PhD Student
University of Chicago
I am interested in the semantics behind graphical languages. As a part of ChiQP-Lab I work on projects relating to the ZX-calculus and quantum circuit optimization.
Interests
- Formal Logic
- Model Theory
- Category Theory
- Formal Verification
- ZX-calculus
- Quantum Computing
Education
-
B.A. in Pure Mathematics, 2020
New College of Florida
-
Ph.D. in Computer Science, 2026
University of Chicago