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
Research interests:Programming Languages: Formal Verification and Compilation, Quantum Computing

Contributions