Bio
Runzhou Tao is an Assistant Professor in the Department of Computer Science at the University of Maryland, College Park and a Fellow at the Joint Center for Quantum Information and Computer Science. Runzhou obtained his Ph.D. in 2024 from the Department of Computer Science at Columbia University. He received his Bachelor's Degree in Computer Science in 2019 from Yao Class of Institute for Interdisciplinary Information Sciences, Tsinghua University. His research aims to build scalable and secure software systems for quantum computing.
Recent Publications
DisQ: A Model of Distributed Quantum Processors
, , NASA Formal Methods Symposium, 25–47, (2026)End-to-End Formalization of Quantum Error Correction
, , https://arxiv.org/abs/2605.16523, (2026)Equality Saturation for Quantum Circuit Optimization
, , Proc. ACM Program. Lang., 10, (2026)
Related Events
![photo_runzhou_
(1).jpg]()
November 15, 2024 11:00 amCS SeminarSoftware Foundations Towards the Quantum Future
Runzhou Tao(QuICS)
.webp)