• Sign in
  • Sign up
conf.researchr.org / Benoit Valiron
  • ICFP 2019 profile
  • POPL 2017 profile
  • POPL 2020 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

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

Share
xSat 17 Apr 06:35
using conf.researchr.org (v1.44.3)
Support page
Sign Up