Ben Caldwell

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

Latest