Dexter Kozen
Professor of Computer Science

Email: kozencs.cornell.edu
Research interests: Theory of computation, computational complexity, program logic and semantics
Office phone: 5-9209
Office room/building: 5143 Upson