Abstract: Quantum computing’s potential relies not only on hardware advancements, but also on innovative software that bridges the gaps between algorithms, hardware, and system support. My research aims to provide a path toward scalable, reliable, and practical quantum software systems in three key contributions: (1) developing programming languages that support all layers of quantum software—from high-level algorithms to low-level compiler optimizations; (2) establishing formally verified end-to-end frameworks that enable precise resource estimation and certify concrete quantum speedup, even in the absence of mature quantum hardware; and (3) designing specialized operating system support for quantum computing to efficiently manage quantum resources and execution. In this talk, I will share our recent work across these areas, illustrating how software research can contribute to shaping a path from today’s quantum developments to tomorrow’s robust quantum systems.

Short Bio: Runzhou Tao is an Assistant Professor in Computer Science at the University of Maryland, College Park. He earned his Ph.D. in Computer Science from Columbia University in 2024 and his Bachelor’s degree from the Yao Class at Tsinghua University. His research explores the intersection of programming languages, operating systems, and quantum computing.