PhD Defense: A Verified Software Toolchain for Quantum Programming
Kesha Hietala is a CS PhD candidate at the University of Maryland, College Park, advised by Mike Hicks. She is interested broadly in program analysis and verification, with a focus on verifying compilers for quantum programs. She received her Bachelor's degree from the University of Minnesota, Twin Cities, and will be joining Amazon AWS this summer.
This talk is organized by Tom Hurst