Quantum computing’s potential relies heavily on innovative software that bridges the gaps between algorithms, hardware, and system support, and between current capabilities and the future vision for the field. My research aims to provide a path toward scalable, reliable, and practical quantum software systems in three key ways: (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 address challenges like workload multiplexing, hybrid synchronization, and security in quantum computing. In this talk, I will share recent or ongoing 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.