Umesh Vazirani Computer Science (EECS) quantum computation, hamiltonian complexity, analysis of algorithms