Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Finn Voichick
conf.researchr.org general profile
PLDI 2021 profile
POPL 2023 profile
POPL 2025 profile
SPLASH 2022 profile
Registered user since Sun 23 May 2021
Name:
Finn Voichick
Country:
United States
Affiliation:
University of Maryland
Contributions
2025
PLanQC
Author of Compiling Qunity: From High-Level Quantum Programs to Circuits within the PLanQC 2025-track
2023
POPL
Author of Qunity: A Unified Language for Quantum and Classical Computing within the POPL-track
2022
SPLASH
Author of Verified Compilation of Quantum Oracles within the OOPSLA-track
2021
PLanQC
Author of Toward A Quantum Programming Language for Higher-Level Formal Verification within the PLanQC 2021-track
Share
x
Fri 13 Jun 08:24