Runzhou Tao (@runzhou_tao) 's Twitter Profile
Runzhou Tao

@runzhou_tao

Assistant Professor @umdcs, Ph.D. @ColumbiaCompSci, Quantum PL & OS

ID: 2597527650

linkhttps://cs.umd.edu/~rztao calendar_today01-07-2014 07:03:23

4 Tweet

126 Followers

130 Following

Ronghui Gu (@ronghuigu) 's Twitter Profile Photo

Honored that our DistAI paper won the #OSDI21 Jay Lepreau Best Paper Award! USENIX Association ColumbiaCompSci The paper can be found here👉cs.columbia.edu/~rgu/publicati…

Honored that our DistAI paper won the #OSDI21 Jay Lepreau Best Paper Award! <a href="/usenix/">USENIX Association</a> <a href="/ColumbiaCompSci/">ColumbiaCompSci</a> The paper can be found here👉cs.columbia.edu/~rgu/publicati…
Ronghui Gu (@ronghuigu) 's Twitter Profile Photo

My ColumbiaCompSci PhD student, Runzhou Tao, will present Giallar, the first automated verification framework for the Qiskit quantum compiler, at PLDI. It is joint work with UChicagoCS Columbia Quantum Initiative EPiQC IBM Research CertiK. Paper👉 cs.columbia.edu/~rgu/publicati…

My <a href="/ColumbiaCompSci/">ColumbiaCompSci</a> PhD student, <a href="/runzhou_tao/">Runzhou Tao</a>, will present Giallar, the first automated verification framework for the <a href="/qiskit/">Qiskit</a> quantum compiler, at <a href="/PLDI/">PLDI</a>. It is joint work with <a href="/UChicagoCS/">UChicagoCS</a> <a href="/ColumbiaQuantum/">Columbia Quantum Initiative</a>  <a href="/EPiQCExpedition/">EPiQC</a> <a href="/IBMResearch/">IBM Research</a> <a href="/CertiK/">CertiK</a>. Paper👉 cs.columbia.edu/~rgu/publicati…
Mike Hicks (@michael_w_hicks) 's Twitter Profile Photo

And now, appearing in PNAS! "A Formally Certified End-to-End Implementation of Shor's Factorization Algorithm". CC Xiaodi Wu Robert Rand pnas.org/doi/10.1073/pn…

Runzhou Tao (@runzhou_tao) 's Twitter Profile Photo

I'm thrilled to be joining Univ. of Maryland's Computer Science Department as a tenure-track faculty member! I am hiring students for Fall 2025. If you're interested in programming languages, operating systems, or formal verification for quantum computing, feel free to reach out!

Runzhou Tao (@runzhou_tao) 's Twitter Profile Photo

Join us at VQC 2025, the first Workshop on Verification of Quantum Computing, co-located with CAV 2025 in Zagreb, Croatia on July 21! 📅Abstract submissions due May 15, 2025 🔗 Submit here: easychair.org/conferences/?c…

Join us at VQC 2025, the first Workshop on Verification of Quantum Computing, co-located with <a href="/confCAV/">CAV</a> 2025 in Zagreb, Croatia on July 21!

đź“…Abstract submissions due May 15, 2025
🔗 Submit here: easychair.org/conferences/?c…
Runzhou Tao (@runzhou_tao) 's Twitter Profile Photo

The VQC 2025 program is live! July 21 CAV 2025 Zagreb & Online đź”— verifiedqc.github.io/2025 Talks on verified quantum compilers, SMT solvers, quantum ML, and more. Keynotes: Ross Duncan, Mingsheng Ying, Aws Albarghouthi. #VQC2025 #QuantumComputing #FormalVerification

The VQC 2025 program is live!
July 21 <a href="/confCAV/">CAV</a>  2025
Zagreb &amp; Online
đź”— verifiedqc.github.io/2025

Talks on verified quantum compilers, SMT solvers, quantum ML, and more.
Keynotes: Ross Duncan, Mingsheng Ying, Aws Albarghouthi.
#VQC2025 #QuantumComputing #FormalVerification