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
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 Fall 2013
MWF 2:30–3:30pm or by appointment. For appointments, please contact Michelle Eighmey (Turn on JavaScript to view email address).
Publications
Software
- ECC Project
- KAT Interactive Theorem Prover
- A "lite" version of the KAT Interactive Theorem Prover (OCaml)
- The CoCaml Project
- natural deduction interactive theorem prover for 1st order logic (OCaml)
Other
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 Design and Analysis of Algorithms
- CS4820 S13 Introduction to Analysis of Algorithms
- CS2800 F13 Discrete Structures
Rhodes Hall
Recent PhD Students
- Kamal Aboul-Hosn
- Jeff Hartline
- Alexa Sharp
- James Worthington
- Nikos Karampatziakis
- Jean-Baptiste Jeannin
Family & Fun
- Alexander Kozen
- Cornell Rugby
- Japan, January 2005
- Germany, Denmark & Estonia, Summer 2006
- CS2110 Games (Sudoku, Rubik's Cube)
- A slide show from my 60th birthday party
- Festschrift from my 60th birthday party
- [1] [2] [3] Some posters from recent musical performances
Arts Quad