Shih-Han Hung - POPL 2020

Registered user since Tue 18 Dec 2018

Name:Shih-Han Hung

Affiliation:University of Maryland

Contributions

PLanQC 2020	A Verified Optimizer for Quantum Circuits Merged Talk: A Verified Optimizer for Quantum Circuits & Verified Translation Between Low-Level Quantum Languages
Show activities from other conferences