Ben Caldwell

Registered user since Mon 8 Aug 2022

Name:Ben Caldwell
Country:United States
Affiliation:University of Chicago
Research interests:Formal Verification, Quantum Computing

Contributions

ICFP 2022 Author of Verified Quantum Computing within the Tutorials-track