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

kozen@cs.cornell.edu

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 2008

By appointment. Please contact Kelly Patwell.

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
• CS611 F06 Advanced Programming Languages
• CS211 S07 Computers and Programming
• CS681 F07 Design and Analysis of Algorithms
• CS682 S08 Theory of Computation

Recent PhD Students

• Kamal Aboul-Hosn
• Jeff Hartline
• Alexa Sharp

Fun Stuff

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