Write a Blog >>
POPL 2020
Sun 19 - Sat 25 January 2020 New Orleans, Louisiana, United States
POPL 2020 (series) / Shih-Han Hung

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

POPL 2020-profile
View general profile