2 papers
quant-ph2025
Finding Photonics Circuits via -weakening SMT
Marco Lewis, Benoît Valiron
For quantum computers based on photonics, one main problem is the synthesis of a photonic circuit that emulates quantum computing gates. The problem requires using photonic compone…
cs.LO2024
On Quantum Programming Languages
Benoît Valiron
This thesis (Habilitation à diriger des recherches) presents some of my research contributions since my Ph.D defense in 2008. I have had the chance to participate in the developmen…