Write a Blog >>
POPL 2020
Sun 19 - Sat 25 January 2020 New Orleans, Louisiana, United States
POPL 2020 (series) / Valentin Perrelle

Not registered as user yet

Name: Valentin Perrelle

Affiliation: CEA, LIST, France

Contributions

PLanQC 2020Author of Formalization of a Programming Language for Quantum Circuits with Measurement and Classical Control within the PLanQC-track
Author of Qbricks: formal verification in quantum computing within the PLanQC-track
Show activities from other conferences

POPL 2020-profile
View general profile