Jeffrey Ullman Phd Thesis Title ((new)) Info