conf.researchr.org / Adrian Lehmann
Registered user since Tue 15 Jun 2021
Name:Adrian Lehmann
Bio:
Please see an updated biography on my website
Country:United States
Affiliation:University of Chicago
Personal website: https://adrianlehmann.net
GitHub: https://github.com/adrianleh
Research interests:Programming Languages: Formal Verification and Compilation, Quantum Computing
Contributions