Gerardo Ortiz

Registered user since Mon 12 Dec 2022

Name:Gerardo Ortiz
Affiliation:Indiana University

Contributions

PEPM 2023 Symbolic Execution of Hadamard-Toffoli Quantum Circuits
Show activities from other conferences

POPL 2023-profile
View general profile