Write a Blog >>
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


PLanQC 2020Committee 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
Show activities from other conferences

POPL 2020-profile
View general profile