Kesha Hietala - POPL 2020

Registered user since Mon 9 Dec 2019

Name: Kesha Hietala

Affiliation: University of Maryland

Contributions

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