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…

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…

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…

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!

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…

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