
Registered user since Mon 8 Aug 2022
Name:Ben Caldwell
Country:United States
Affiliation:University of Chicago
Personal website:https://people.cs.uchicago.edu/~caldwellb/
GitHub:https://github.com/caldwellb
Research interests:Formal Verification, Quantum Computing
Contributions
ICFP 2022 | Verified Quantum Computing | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2022-profile
View general profile
View general profile