Theoretical computer scientist and David J. Bruton Jr. Centennial Professor of Computer Science at the University of Texas at Austin. Focuses on quantum computing and computational complexity theory.