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