Runzhou Tao (陶润洲)

Runzhou Tao is a third-year PhD student in Department of Computer Science, Columbia Unversity.

He completes his Bachelor's Degree from Yao Class of Institute for Interdisciplinary Information Sciences, Tsinghua University. In his undergraduate time, he was advised by Prof. Boaz Barak, Prof. Venkatesan Guruswami and Prof. Zhiyi Huang when he visited Harvard University, Carnegie Mellon University and HKU.

Research Interests

  • Theoretical computer science: graph algorithm, online algorithm, hardness of approximation, quantum computing, machine learning theory

  • System: program analysis, formal verification, quantum programming language


(The authors of papers in theoretical computer science are listed by alphabetical order, whereas in other papers the authors are in contribution order.)


  • Symmetric Boolean Factor Analysis with Applications to InstaHide - [arXiv]
    Sitan Chen, Zhao Song, Runzhou Tao and Ruizhe Zhang
    Manuscript, 2021

  • Solving Tall Dense SDPs The Current Matrix Multiplication Time - [arXiv]
    Baihe Huang, Shunhua Jiang, Zhao Song and Runzhou Tao
    Manuscript, 2021

  • InstaHide's Sample Complexity When Mixing Two Private Images - [arXiv]
    Baihe Huang, Zhao Song, Runzhou Tao, Ruizhe Zhang and Danyang Zhuo
    Manuscript, 2020

  • CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler
    Yunong Shi, Runzhou Tao, Xupeng Li, Ali Javadi-Abhari, Andrew W. Cross, Frederic T. Chong and Ronghui Gu
    Manuscript, 2020


  • Email: runzhou (dot) tao (at) columbia (dot) edu

  • Address: 489 CSB, Columbia University, New York, USA, NY 10027