Dexter Kozen

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