Registered user since Thu 17 Dec 2015
I am a PhD student in the Programming Languages Research Group at the University of Pennsylvania, advised by Dr. Steve Zdancewic. My research interests span probability theory, quantum computing, programming languages and formal verification. I’m currently working on QWIRE, a quantum programming language embedded in the Coq proof assistant.
|POPL 2019||Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track|
|Show activities from other conferences|
View general profile