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

Registered user since Mon 9 Dec 2019

Name: Kesha Hietala

Affiliation: University of Maryland

Contributions

PLanQC 2020Author of Merged Talk: A Verified Optimizer for Quantum Circuits & Verified Translation Between Low-Level Quantum Languages within the PLanQC-track
Author of Tracking Errors through Types in Quantum Programs within the PLanQC-track
Author of A Verified Optimizer for Quantum Circuits within the PLanQC-track
Show activities from other conferences

Using general profile