PeopleofSuperintelligence

Researcher

Dexter Kozen

Also known as Dexter C. Kozen, Dexter Campbell Kozen

Dexter Kozen is a theoretical computer scientist whose work on probabilistic programs connects formal semantics with Bayesian models and randomized computation in machine-learning applications. He earned a mathematics BA at Dartmouth in 1974 and a computer science PhD at Cornell in 1977, then held posts at Berkeley, IBM, Aarhus and Columbia before joining Cornell. His work includes alternating Turing machines, measure-theoretic semantics for probabilistic programs, and logic for programs with randomization and nondeterminism; he received the 2022 Alonzo Church Award for Kleene algebra with tests. As of October 2026, he is a Cornell professor emeritus and received the Salomaa Prize.

Born
1951
Works
504
Badges

Years link to their sources. Publication numbers from OpenAlex, as of 22 October 2026. Citations and h-index are hidden because this OpenAlex record may be incomplete or mix in other authors.

Timeline

  1. 1974–1977

    Dartmouth mathematics and a Cornell PhD

    He earns a mathematics BA at Dartmouth in 1974 and a computer science PhD at Cornell in 1977 under Juris Hartmanis.

  2. 1977–1985

    From Berkeley to Cornell

    After his Cornell PhD, he is a postdoctoral fellow at Berkeley and joins IBM Research in Yorktown Heights in 1978. He visits Aarhus in 1981–1982 and Columbia as an adjunct professor in 1984–1985 before joining Cornell as an associate professor in 1985. In 1981, he coauthors “Alternation” with Ashok K. Chandra and Larry J. Stockmeyer, showing that alternating polynomial time equals deterministic polynomial space, and publishes “Semantics of probabilistic programs,” which gives two equivalent measure-theoretic accounts of probabilistic computation.

  3. 1985–2014

    Cornell and Radboud posts

    He becomes a Cornell professor in 1989 and holds the Joseph Newton Pew professorship from 1994. In 2014, he is selected for a six-month appointment through Radboud University's Excellence Initiative at its Institute for Computing and Information Sciences.

  4. 2003

    An ACM fellowship

    In 2003, ACM names him a Fellow.

  5. 2016

    Two 2016 computing awards

    In 2016, he receives the EATCS Award for a career in theoretical computer science and the IEEE W. Wallace McDowell Award for work across complexity, algebraic computation, program logic and verification.

  6. 2022

    An Alonzo Church Award

    In 2022, he receives the Alonzo Church Award for developing the theory and applications of Kleene algebra with tests, an equational system for reasoning about iterative programs.

  7. 2023–2024

    Bayesian semantics and randomized logic

    With Alexandra Silva and Erik Voogd, he proposes a semantics for joint probability distributions used in Bayesian statistical models in 2023. In 2024, with Noam Zilberstein, Silva and Joseph Tassarotti, he introduces a logic for programs that combine randomization and nondeterminism; their work identifies machine learning and cryptography as application areas where programs increasingly rely on randomization.

  8. 2026

    A Salomaa Prize and emeritus role

    In 2026, he receives the Salomaa Prize for contributions to automata theory, formal languages, logic, complexity and software verification. As of October 2026, he is Joseph Newton Pew, Jr. Professor of Engineering Emeritus in Cornell's Department of Computer Science.

Career

  1. Since 1985Cornell UniversityAssociate Professor, Professor
  2. 2014Radboud University Nijmegen
  3. 1984–1985Columbia UniversityAdjunct Professor
  4. 1981–1982Aarhus University
  5. From 1978IBM Research
  6. 1977–1978University of California, BerkeleyPostdoctoral Fellow

Education

  1. 1977Cornell UniversityPhD
  2. 1974Dartmouth CollegeBA in mathematics

From the biography.

  1. 11% of AI doctorate holders from 2010 to 2016 founded or led a company or lab by 10 years after graduationIncludes Cornell University. We estimate how often AI doctorate holders founded or led a company or lab by 10 years after graduation, how waiting times compare between founders and top jobs, and which universities trained the most.
  2. The Massachusetts Institute of Technology trained or employed 44 of the 187 AI major-prize winners, more than any other universityIncludes Cornell University. The Massachusetts Institute of Technology trained or employed 44 of the 187 AI major-prize winners, more than any other university. We compare doctorate and 5+ year employment links, career timing and current workplaces for 187 major-prize and 1,111 best-paper winners.
  3. 84% of people shaping AI with recorded undergraduate and doctoral schools changed institutions for their doctorateIncludes Cornell University. 84% of people shaping AI with recorded undergraduate and doctoral schools changed institutions for their doctorate. Across 2,116 people with both an undergraduate degree and a doctorate recorded, we trace which undergraduate schools feed which doctoral programs, how often students stay at the same school, and how paths differ by birth-country region.
  4. The median h-index is 48 at universities and 14 at frontier AI labsIncludes Cornell University. The median h-index is 48 at universities and 14 at frontier AI labs. We compare publishing careers, recent citations, dual appointments and job moves across 2,420 university researchers and 308 frontier-lab researchers.

Colleagues

People with dated positions at the same organization in the same years.

Sources and credits

Photo: We have no published photo of Dexter Kozen yet. Send us a free-licensed photo.

  1. Dexter Kozen en.wikipedia.org. Checked 21 October 2026.
  2. 1974 | Dartmouth Alumni Magazine | DEC. 1977 archive.dartmouthalumnimagazine.com. Checked 21 October 2026.
  3. Dexter Kozen de.wikipedia.org. Checked 21 October 2026.
  4. Alternation for Journal of the ACM - IBM Research research.ibm.com. Checked 21 October 2026.
  5. Semantics of probabilistic programs for Journal of Computer and System Sciences - IBM Research research.ibm.com. Checked 21 October 2026.
  6. Dertien internationale wetenschappelijke talenten naar Nijmegen radboudumc.nl. Checked 21 October 2026.
  7. Awards Directory | Department of Computer Science | Cornell Bowers cs.cornell.edu. Checked 21 October 2026.
  8. EATCS Award eatcs.org. Checked 21 October 2026.
  9. W. Wallace McDowell Award computer.org. Checked 21 October 2026.
  10. Winner of the 2022 Alonzo Church Award siglog.org. Checked 21 October 2026.
  11. Joint Distributions in Probabilistic Semantics arxiv.org. Checked 21 October 2026.
  12. A Demonic Outcome Logic for Randomized Nondeterminism arxiv.org. Checked 21 October 2026.
  13. Kozen awarded 2026 Salomaa Prize bowers.cornell.edu. Checked 21 October 2026.
  14. Dexter Kozen | Cornell Bowers bowers.cornell.edu. Checked 21 October 2026.