Dexter Kozen

Joseph Newton Pew, Jr., Professor in Engineering, Department of Computer Science
436 Gates Hall
(607) 255-9209
kozen@cs.cornell.edu