Xiaodi Wu

Xiaodi Wu is an Associate Professor in the Department of Computer Science at the University of Maryland, College Park, with affiliations to the Institute for Advanced Computer Studies and the Joint Center for Quantum Information and Computer Science (QuICS). They also serve as an Amazon Visiting Academic at AWS Braket.

• Education: Ph.D. in Theoretical Computer Science (University of Michigan, 2013); B.S. in Mathematics and Physics (Tsinghua University, 2008).

Their research bridges theoretical foundations of quantum computing with practical implementations, focusing on computational models for quantum device programmability and systems for operating quantum machines. Key areas include quantum programming languages, formal verification, and robustness analysis.

Recent work includes SimuQ (quantum simulation frameworks) and Qafny (quantum program verification). Publications emphasize verification of quantum compilers, algebraic reasoning, and differentiable quantum languages.

• Scientific Awards: Sloan Research Fellow, NSF CAREER, AFOSR YIP.

Xiaodi Wu has advised numerous students and mentored interns, contributing to quantum complexity theory and cryptographic protocols. They actively participate in organizing committees for conferences like POPL and PLDI.