For outstanding leadership and conscientious service to the quantum information community, and pioneering contributions to quantum computing theory, including fault-tolerant quantum computing, quantum error correction, universal adiabatic quantum computing, and novel quantum search algorithms.