Write a Blog >>
Benoit Valiron

Registered user since Tue 9 Feb 2016

Name:Benoit Valiron

Assistant professor at CentraleSupelec.

Affiliation:LRI, CentraleSupelec, Univ. Paris Saclay
Personal website:http://www.monoidal.net
Research interests:Logic, Semantics, Functional programming, Category theory, Quantum computation


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

POPL 2020-profile
View general profile