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 2020 Formalization of a Programming Language for Quantum Circuits with Measurement and Classical Control
Qbricks: formal verification in quantum computing
Show activities from other conferences

POPL 2020-profile
View general profile