David R. Barton Dawson Dean Dexter Kozen Susan Landau Yaron Minsky Joel Moses Ronitt Rubinfeld Ari Trachtenberg