Computer Science Professor Dexter Kozen was one of eight faculty members honored with a distinguished Stephen H. Weiss Award announced November 2 by Cornell President Martha Pollack. Kozen, PhD'77, the Joseph Newton Pew Jr. Professor in Engineering, was named a Stephen H. Weiss Presidential Fellow, a title given to tenured faculty members having demonstrated commitment to teaching and mentoring undergraduates.
Having taught at Cornell since 1985, Kozen receives consistently outstanding course evaluations. Highly laudatory student comments about Kozen's courses speak to his teaching abilities and his commitment to student learning. "I've watched him electrify a lecture hall with hundreds of undergraduates, and seen those same students bring their newfound passion and wonder to office hours and section," a former student and teaching assistant said.
Kozen has also earned international recognition and awards for his theoretical computer science research, including work on algorithms, computer security, the complexity of decision problems in logic and algebra, and programming language logics and semantics.