Adrian Lehmann
PhD Student
University of Chicago
I am interested in building verified tools for quantum programming languages. To see what I’m working on take a peek at my GitHub and my website.
Interests
- Programming Languages
- Quantum Computing
- Compilers
- Formal Verification
- ZX-calculus
Education
-
B.Sc. in Computer Science, 2019
Karlsruhe Institute of Technology