Benoit Valiron -

Registered user since Tue 9 Feb 2016

Name:Benoit Valiron

Bio:

Assistant professor at CentraleSupelec.

Country:France

Affiliation:LRI, CentraleSupelec, Univ. Paris Saclay

Research interests:Logic, Semantics, Functional programming, Category theory, Quantum computation

Contributions

PLanQC 2021	Author of Addressable quantum gates within the PLanQC 2021-track
PLanQC 2020	Committee Member in Program Committee within the PLanQC-track Author of Qbricks: formal verification in quantum computing within the PLanQC-track Author of Formalization of a Programming Language for Quantum Circuits with Measurement and Classical Control within the PLanQC-track
ICFP 2019	Committee Member in External Review Committee within the Research Papers-track
POPL 2017	Author of The Geometry of Parallelism. Classical, Probabilistic, and Quantum Effects within the POPL-track Student Activity Chair in Organizing Committee