Dexter Kozen
Scholar

Dexter Kozen

Google Scholar ID: LV1qWjgAAAAJ
Professor of Computer Science, Cornell University
program logic and semanticsalgorithm design and analysiscomplexity theoryautomata theory
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
4,828
 
H-index
31
 
i10-index
72
 
Publications
20
 
Co-authors
0
 
Contact
Emailkozen@cs.cornell.edu
Publications
1 items
A Decision Procedure for Probabilistic Kleene Algebra with Angelic Nondeterminism
2025
Cited
0
Resume
Academic Achievements
  • Published numerous papers, involved in several software projects such as the ECC Project, KAT Interactive Theorem Prover, and CoCaml Project. Advised multiple PhD students.
Research Experience
  • Former Professor at the Department of Computer Science, Cornell University, teaching various courses including Theory of Computation, Data Structures, and Programming Languages.
Education
  • PhD, Cornell University, 1977
Background
  • Research interests: Logics and semantics of programming languages, algorithms and complexity, especially complexity of decision problems in logic and algebra, probabilistic computation.
Miscellany
  • Personal interests include family activities, Cornell Rugby, and musical performances.