Xiaodi Wu

Registered user since Fri 14 Oct 2016

Name:Xiaodi Wu

I am an Assistant Professor in the Department of Computer Science and Institute for Advanced Computer Studies at the University of Maryland, College Park. I am also a Fellow at the Joint Center for Quantum Information and Computer Science (QuICS).

I received my Phd in theoretical computer science in 2013 (advisor: Yaoyun Shi) from the University of Michigan, Ann Arbor. I received my B.S. degree in mathematics and physics in 2008 from the Academic Talent Program, Tsinghua University.

Before coming to Maryland, I was an Assistant Professor in the Computer and Information Science Department at the University of Oregon from 2015 to 2017. Before that, I was a Postdoctoral Associate at Massachusetts Institute of Technology from 2013 to 2015 (advisor: Aram Harrow, Scott Aaronson, Edward Farhi and Peter Shor). I was also a Simons Research Fellow at the Simons Institute for the Theory of Computing at Berkeley, for the program of Quantum Hamiltonian Complexity in Spring 2014 (advisor: Umesh Vazirani). I also spent two summers at the Institute for Quantum Computing, University of Waterloo as a student intern (advisor: John Watrous).

Affiliation:University of Maryland, USA
Research interests:quantum applications in optimization and machine learning, formal methods and programming languages in quantum computing, quantum complexity, quantum cryptography


PLDI 2022 Committee Member in PLDI within the PLDI-track
Q-SE 2021 Committee Member in Program Committee within the Q-SE 2021-track
PLanQC 2021 Committee Member in Program Committee within the PLanQC 2021-track
Author of Expanding the VOQC Toolkit within the PLanQC 2021-track
POPL 2021 Author of A Verified Optimizer for Quantum Circuits within the POPL-track
Author of [T5] An Invitation to the Intersection of Quantum Computing and Programming Languages within the TutorialFest-track
PLanQC 2020 Author of Merged Talk: A Verified Optimizer for Quantum Circuits & Verified Translation Between Low-Level Quantum Languages within the PLanQC-track
Author of A Verified Optimizer for Quantum Circuits within the PLanQC-track
Organizer in Organizing Committee within the PLanQC-track
PLDI 2020 Author of On the Principles of Differentiable Quantum Programming Languages within the PLDI Research Papers-track
POPL 2019 Author of Quantitative Robustness Analysis of Quantum Programs within the Research Papers-track
POPL 2017 Author of Invariants of Quantum Programs: Characterisations and Generation within the POPL-track