Lia Yeh

Title: Quantum Graphical Calculi: Tutorial and Applications

Abstract:  Quantum computing and quantum communication provide potential speed-up and enhanced security compared with their classical counterparts. However, the analysis of quantum algorithms and protocols is notoriously difficult. Furthermore, due to the lack of reliable and scalable quantum hardware, traditional techniques such as testing and debugging in classical software engineering will not be readily available in the near future, while static analysis of quantum programs based on formal methods seems indispensable. In this talk, I will introduce Hoare logic, a syntax-oriented method for reasoning about program correctness which has been shown to be effective in the verification of classical and probabilistic programs. An extension of Hoare logic to a simple quantum while-language will be discussed, and some examples will be given to illustrate its utility.

Bio:  Lia Yeh is a computer science PhD student in the Quantum Group at the University of Oxford, where her primary research focus is on applying and developing ZX-calculus and related quantum graphical calculi as a language for qudit circuit synthesis and quantum error correction. She has bachelor’s degrees in physics and computing at the College of Creative Studies of the University of California, Santa Barbara where she designed microwave spectroscopy algorithms to determine molecular structure. She currently is a part-time Research Engineer at Quantinuum, volunteers for IEEE Quantum Education as a steering committee member of the IEEE Quantum Initiative, and volunteers for the Quantum Universal Education not-for-profit community.

Contact the speaker: