![Ben Caldwell](https://icfp22.sigplan.org/getProfileImage/bencaldwell/e2ba2544-f7e3-4614-9c03-68b82f60b2a9/small.jpg?1715889914000)
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