Satish Rao Division of Computer Science (EECS) combinatorial optimization, design and analysis of algorithms