About me

Xiaodi Wu ( in simplified Chinese )

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).

Research Interests

My research aims to achieve end-to-end quantum applications by investigating both the theoretical study of quantum information and computation and the software tool-chain and system of quantum computers.

In particular, it aims to contribute to the development of quantum information and computation through the study in theoretical computer science, which includes:

  • quantum computational complexity

  • quantum algorithms for optimization and machine learning

  • quantum cryptography

  • quantum entanglement and sum-of-squares (SoS) proofs.

It also aims to contribute to formal methods and programming languages in quantum computing, which includes:

  • verification of sequential, parallel, and concurrent quantum programs

  • abstractions for (domain-specific) quantum algorithms and novel semantic constructs (e.g., quantum recursion)

  • error-aware, reliable quantum program synthesis, especially optimized for near-term quantum applications

  • formally verified software toolchain for quantum computing (e.g. a certified optimizing complier for quantum programs)

I am also interested in collaborating with experimentalists. Check my Research Overview for details of my existing and on-going projects.

News

I am looking for motivated and talented students who love to work on quantum information and computation.

If you are interested in working with me, you are welcome to send me an email to let me know of your interest.

Research supported by

NSF 

National Science Foundation (NSF)

DOE 

Department of Energy (DOE)

AFOSR 

Air Force Office of Scientific Research (AFOSR)

Contact

Office: ATL 3247 / AVW 3257

Address:
Joint Center for Quantum Information and Computer Science
3100 Atlantic Building
University of Maryland
College Park, MD 20742

Email: xwu (at) cs.umd.edu