nLab Sébastien Bardin

• personal page

• GoogleScholar page

Selected writings

On formal quantum circuit software verification via QBricks:

• Christophe Chareton, Sébastien Bardin, François Bobot, Valentin Perrelle, Benoit Valiron: A Deductive Verification Framework for Circuit-building Quantum Programs, in: Programming Languages and Systems. ESOP 2021, Lecture Notes in Computer Science 12648, Springer (2021) [doi:10.1007/978-3-030-72019-3_6, arXiv:2003.05841, pdf]

Generally on software verification (formal methods) for quantum computing/quantum algorithms:

• Christophe Chareton, Sébastien Bardin, Dongho Lee, Benoît Valiron, Renaud Vilmart, Zhaowei Xu: Formal Methods for Quantum Programs: A Survey, in: Handbook of Formal Analysis and Verification in Cryptography, CRC (2023) [arXiv:2109.06493, doi:10.1201/9781003090052]

category: people