• Sign in
  • Sign up
conf.researchr.org / Benoit Valiron
  • ICFP 2019 profile
  • ICFP 2022 profile
  • PLDI 2021 profile
  • POPL 2017 profile
  • POPL 2020 profile
  • SPLASH 2021 profile
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
Personal website: http://www.monoidal.net
Research interests:Logic, Semantics, Functional programming, Category theory, Quantum computation

Contributions

2022

PLanQC

  • Committee Member in Program Committee within the PLanQC-track

2021

PLanQC

  • Author of Addressable quantum gates within the PLanQC 2021-track

APLAS

  • Author of Hybrid quantum-classical circuit simplification with the ZX-calculus within the Research Papers-track

2020

PLanQC

  • 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

2019

ICFP

  • Committee Member in External Review Committee within the Research Papers-track

2017

POPL

  • Author of The Geometry of Parallelism. Classical, Probabilistic, and Quantum Effects within the POPL-track
  • Student Activity Chair in Organizing Committee
Share
xWed 4 Oct 11:08
using conf.researchr.org (v1.61.3)
Support page
Sign Up