A Verified Software Toolchain for Quantum Programming

Date: May, 2022

Dissertation defense at University of Maryland, College Park, MD