Jeffrey Ullman Phd Thesis Title Info