Cornell University Computer Science

• Contact
• Publications
• Courses
• Students
• Family & Fun

Dexter Kozen
Joseph Newton Pew, Jr. Professor in Engineering
PhD, Cornell University, 1977

Research interests: Algorithms and complexity, especially complexity of decision problems in logic and algebra, logics and semantics of programming languages, computer security.

Contact

Email

Turn on JavaScript to view email address

Surface Mail

Computer Science Department
5143 Upson Hall
Cornell University
Ithaca, New York 14853-7501, USA

Phone

(607) 255-9209 work
(607) 257-4579 home
(607) 592-2437 cell
(607) 255-4428 fax

Office Hours Spring 2012

WF 10:30am–12noon or by appointment. Please contact Michelle Eighmey (Turn on JavaScript to view email address) for an appointment.

Publications

Papers Available Online

Books

• The Design and Analysis of Algorithms, Springer, 1991
• Automata and Computability, Springer, 1997
• Dynamic Logic, with David Harel & Jerzy Tiuryn, MIT Press, 2000
• Theory of Computation, Springer, 2006

Software

• ECC Project
• KAT Interactive Theorem Prover

Other

• CV
• Cornell tech reports

Recent Courses

• CS481 F03 Automata and Computability
• CS786 S04 Introduction to Kleene Algebra
• CS682 S08 Theory of Computation
• CS2111 F08 Programming Practicum
• CS6110 S10 Advanced Programming Languages
• CS6860 F10 Logics of Programs
• CS3110 S11 Data Structures and Functional Programming
• CS2110 F11 Object-Oriented Programming and Data Structures
• CS6820 S12 (formerly 681) Design and Analysis of Algorithms

Recent PhD Students

• Kamal Aboul-Hosn
• Jeff Hartline
• Alexa Sharp
• James Worthington

Family & Fun

• Alexander Kozen
• Cornell Rugby
• Japan, January 2005
• Germany, Denmark & Estonia, Summer 2006
• Play Sudoku!