PhD in Computer Science, University of Michigan, Ann Arbor