Publications

(2022). Q# as a Quantum Algorithmic Language. 19th International Conference on Quantum Physics and Logic 2022.

Cite URL

(2022). A Rich Type System for Quantum Programs. Quantum Information Processing (QIP 2022) Poster.

Poster

(2021). Toward a Type-Theoretic Interpretation of Q#. International Workshop on Programming Languages for Quantum Computing (PLanQC 2021).

PDF Cite Slides Video

(2021). Extending Gottesman Types Beyond the Clifford Group. International Workshop on Programming Languages for Quantum Computing (PLanQC 2021).

PDF Cite Slides Video

(2021). Expanding the VOQC Toolkit. International Workshop on Programming Languages for Quantum Computing (PLanQC 2021).

PDF Cite Slides Video

(2021). Toward Formalizing the Q# Programming Language. International Conference on Quantum Physics and Logic (QPL 2021) Poster.

PDF Poster

(2021). Proving Quantum Programs Correct. 12th International Conference on Interactive Theorem Proving (ITP 2021).

Cite DOI URL

(2020). Formal Verification of Gottesman Semantics. International Conference on Quantum Physics and Logic (QPL 2021) Poster.

PDF Poster