POPL 2025
Sun 19 - Sat 25 January 2025 Denver, Colorado, United States
Xiaodi Wu

Registered user since Fri 14 Oct 2016

Name:Xiaodi Wu
Bio:

I am an Associate Professor in the Department of Computer Science and Institute for Advanced Computer Studies at the University of Maryland, College Park, and a Fellow at the Joint Center for Quantum Information and Computer Science (QuICS). I am also an Amazon Visiting Academic working for AWS Braket. I am a recipient of the Sloan Research Fellowship, NSF CAREER, and AFOSR YIP awards.

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 the Massachusetts Institute of Technology from 2013 to 2015 (advisor: Aram Harrow, Scott Aaronson). 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. I also spent two summers at the Institute for Quantum Computing, University of Waterloo as a student intern (advisor: John Watrous). I received my Ph.D. 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.

My research aims to bridge the gap between the theoretical foundation of quantum computing and the limitations of realistic quantum machines. More specifically, I am working on the foundations of practical quantum applications on realistic quantum machines by investigating computational models that capture the native programmability of quantum devices. I am also building efficient and reliable systems to operate both near-term and long-term quantum devices. Please check my research overview for details of my existing and ongoing projects.

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

Contributions

Show activities from other conferences

Using general profile