11:00 am–12:00 pm
Zoom Zoom link will be emailed to our events mailing list. To be added to this this, send your request to Tiffany Kurns <tkurns@uchicago.edu>
COMPILATION, OPTIMIZATION AND VERIFICATION OF NEAR-TERM QUANTUM COMPUTING
Quantum Computing (QC) is at the cusp of a computing revolution. However, building the first realistic quantum computer remains a great challenge that requires the collaborative efforts of device physics, engineering, architectural design, and software integration. My research goal is to explore the vast design space for highly optimized and reliable quantum computing stacks. Current quantum toolchains follow a vertically layered design similar to its classical counterpart: algorithms - programming languages - instruction sets - technology mapping - error correction/mitigation - physical implementation. This layered design philosophy hides details in the lower level from each layer, which allows the software to be simpler and less complex. However, this approach misses opportunities for optimization. This thesis develops new methods to improve the computation efficiency and reliability in different phases of quantum computation, mainly by exposing lower-level details to higher abstraction levels. These methods focus on problems in areas from high-level software development and verification to compilation to the physical implementation of qubits.
Committee members:
Frederic T. Chong (Chair)
David I. Schuster
Ryu Shinsei
Jonathan Simon
Yunong will be starting a research scientist at Amazon AWS quantum.