nLab Dongho Lee

Selected writings

Selected writings

On verification of quantum circuits with the QWIRE-quantum programming language:

On dynamic lifting (of quantum measurement-results) in quantum programming/quantum computing such as Quipper:

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

category: people

Last revised on May 24, 2025 at 21:53:55. See the history of this page for a list of all contributions to it.