PhD in Computer Science from the University of Wisconsin-Madison