Sarah Marshall -

Not registered as user yet

Name:Sarah Marshall

Affiliation:Microsoft Quantum

Contributions

PLanQC 2022	Author of Q: Implementing Quantum Separation Logic in F within the PLanQC-track
PLanQC 2021	Author of Toward a Type-Theoretic Interpretation of Q# and Statically Enforcing the No-Cloning Theorem within the PLanQC 2021-track