Professor of computer science at the University of Michigan