Marco Lewis

Marco Lewis

Postdoc researcher at QuaCS with Inria; researching quantum computing and formal verification

Formal Verification of Quantum Programs: Theory, Tools and Challenges

Published in ACM Transactions of Quantum Computing, Just Accepted, 2023

A survey on the current available verification techniques for quantum programs and circuits.

[doi]

[arXiv]