X
About
Graduate student at UChicago CS working on Design and Semantics of Programming Languages and Program Verification for Quantum Computing.
Tags
Graduate student at UChicago CS working on Design and Semantics of Programming Languages and Program Verification for Quantum Computing.