
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
2022
ICFP 2022-profile
View general profile
View general profile