PhD student working on compilers, formal verification, and quantum computing
-
University of Chicago
- Chicago, IL
- https://adrianlehmann.net
Earned achievements
Pair Extraordinaire
Pair Extraordinaire
Loading
Arctic Code Vault Contributor
Arctic Code Vault Contributor
Loading
Pull Shark
x2
Pull Shark
x2
Loading