Benoît Valiron

Centre National de la Recherche Scientifique — France

Computer Science · Physical Sciences

17h-index2.0kcitations108works0.42yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Quantum Computing Algorithms and Architecture(60), Logic, programming, and type systems(35), Computability, Logic, AI Algorithms(33), Quantum Information and Cryptography(31), Logic, Reasoning, and Knowledge(25)

Publications108 total

Finding Photonics Circuits via $$\delta $$-Weakening SMT
Lecture notes in computer science·2026
The Tensor-Plus Calculus
ArXiv.org·2025Open Access
The Tensor-Plus Calculus
HAL (Le Centre pour la Communication Scientifique Directe)·2025Open Access
Quantum Circuit Equivalence Checking: A Tractable Bridge From Unitary to Hybrid Circuits
arXiv (Cornell University)·2025Open Access
Finding Photonics Circuits via $δ$-weakening SMT
arXiv (Cornell University)·2025Open Access
A Curry-Howard Correspondence for Linear, Reversible Computation
Logical Methods in Computer Science·2025Open Access
The Many-Worlds Calculus
Logical Methods in Computer Science·2025· 2 citedOpen Access
A Rewriting Theory for Quantum Lambda-Calculus
arXiv (Cornell University)·2024Open Access
Non-deterministic, Probabilistic, and Quantum Effects Through the Lens of Event Structures
Lecture notes in computer science·2024· 1 cited
On Quantum Programming Languages
arXiv (Cornell University)·2024Open Access
Catching Cognitive Biases in an Erroneous Decision Making Process
IEEE RESOURCE CENTERS·2024Open Access
Non-deterministic, probabilistic, and quantum effects through the lens of event structures (Technical report)
arXiv (Cornell University)·2024Open Access
Semantics for a Turing-Complete Reversible Programming Language with Inductive Types
SPIRE - Sciences Po Institutional REpository·2024· 2 citedOpen Access
Semantics for a Turing-complete Reversible Programming Language with Inductive Types
2023Open Access
Proceedings of the Twentieth International Conference on Quantum Physics\n and Logic
Electronic Proceedings in Theoretical Computer Science·2023Open Access
Proceedings of the Twentieth International Conference on Quantum Physics and Logic
Electronic Proceedings in Theoretical Computer Science·2023Open Access
Formal Methods for Quantum Algorithms
2023· 14 citedOpen Access
Strong simulation of linear optical processes
Computer Physics Communications·2023· 17 cited
A Complete Equational Theory for Quantum Circuits
2023· 10 citedOpen Access
On new PageRank computation methods using quantum computing
Quantum Information Processing·2023· 3 cited
page 1 of 6Next →

Frequent Co-authors

Peter Selinger(12), Timothée Goubault de Brugière(6), Marc Baboulin(6), Cyril Allouche(6), Neil J. Ross(5), Nicolas Heurtel(5), Shane Mansfield(5), Christophe Chareton(4), Sébastien Bardin(4), Simon Martiel(4), Simon Perdrix(4), Giulio Chiribella(3), Giacomo Mauro D’Ariano(3), Paolo Perinotti(3), Alexander S. Green(3), Peter LeFanu Lumsdaine(3), Alexandre Clément(3), Frédéric Boulanger(3), Artur Scherer(2), Siun-Chuon Mau(2)