Finn Voichick -

Registered user since Sun 23 May 2021

Name:Finn Voichick

Country:United States

Affiliation:University of Maryland

Contributions

POPL 2023	Author of Qunity: A Unified Language for Quantum and Classical Computing within the POPL-track
SPLASH 2022	Author of Verified Compilation of Quantum Oracles within the OOPSLA-track
PLanQC 2021	Author of Toward A Quantum Programming Language for Higher-Level Formal Verification within the PLanQC 2021-track