nLab François Bobot

• github page

• inSpire 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]

category: people