Cornell University Computer Science

• Contact
• Publications
• Courses
• Students
• Fun Stuff

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 2010

Mondays 1:15–2:30pm or by appointment. Please contact Randy Hess (Turn on JavaScript to view email address) for an appointment.

Publications

Papers Available Online

• Kleene algebra & program logic
• Programming languages & program analysis
• Computational algebra
• Automata & formal languages
• Algorithms & complexity
• Coding theory
• Security
• Other

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

• CS686 S03 Logics of Programs
• CS481 F03 Automata and Computability
• CS786 S04 Introduction to Kleene Algebra
• CS681 F07 Design and Analysis of Algorithms
• CS682 S08 Theory of Computation
• CS2110 F08 Object-Oriented Programming and Data Structures (formerly CS211)
• CS2111 F08 Programming Practicum (formerly CS212)
• CS3110 F09 Data Structures and Functional Programming (formerly CS312)
• CS6110 S10 Advanced Programming Languages (formerly CS611)

Recent PhD Students

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

Fun Stuff

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