Umesh Vazirani Division of Computer Science/EECS quantum computation, hamiltonian complexity, analysis of algorithms