The chart shows the distribution of publications by all Research.com ranked scientists in the field of Computer Science in 2026. The highlighted bar marks where Dexter Kozen sits on this spectrum.
This scientist: 312 publications — 76th percentile
76% of scientists in this discipline score the same or lower.
The last bar groups every scientist with 991 publications or more.
The chart shows the D-index (discipline H-index) distribution of Computer Science scientists ranked by Research.com in 2026. The highlighted bar marks where Dexter Kozen sits on this spectrum.
This scientist: 61 D-Index — 79th percentile
79% of scientists in this discipline score the same or lower.
The last bar groups every scientist with 131 D-Index or more.
Dexter Kozen is affiliated with Cornell University in the United States and has a research focus primarily within the field of Computer Science. Their work spans multiple subfields including Artificial Intelligence, Computational Theory and Mathematics, Computer Networks and Communications, Hardware and Architecture, and General Health Professions.
Kozen's research topics cover various areas such as Logic, programming, and type systems, Formal Methods in Verification, Logic, Reasoning, and Knowledge, Advanced Algebra and Logic, Network Packet Processing and Optimization, Semantic Web and Ontologies, and Software Testing and Debugging Techniques.
The scientist has published extensively, with notable recent papers including:
Frequent co-authors collaborating with Kozen include:
The venues where Kozen's work has been frequently published include:
In addition to journal and conference papers, Kozen has authored a book titled "Automata and Computability," published in 2020 by the European Organization for Nuclear Research.
Throughout their career, Kozen has been recognized by several professional organizations, receiving:
Dexter Kozen
David Harel;Dexter Kozen;Jerzy Tiuryn
Dexter Kozen
D. Kozen
Michael Ben-Or;Dexter Kozen;John Reif
Dexter C. Kozen
Dexter Kozen
Dexter Kozen
Dexter Kozen
Dexter C. Kozen
K R Apt;D C Kozen
Carolyn Jane Anderson;Nate Foster;Arjun Guha;Jean-Baptiste Jeannin
Dexter Kozen;Jerzy Tiuryn
Dexter Kozen
Manuel Blum;Dexter Kozen
David Harel;Dexter Kozen;Rohit Parikh;Rohit Parikh
Dexter Kozen
Dexter Kozen
Dexter Kozen;Rohit Parikh;Rohit Parikh
Dexter Kozen
Guy Even;Dror Rawitz
If you think any of the details on this page are incorrect, let us know.
The field of computer science is closely connected to other dynamic STEM disciplines with growing online education options. If you’re interested in accelerating your career, you might consider an accelerated cs degree—a flexible way to fast-track your studies and enter the workforce sooner.
For those drawn to the intersection of technology and environmental impact, an environmental engineering bachelor's degree online can open doors in sustainability, consulting, and project management.
Another pathway, especially for students interested in design and problem solving, is to pursue online mechanical engineering degrees. These programs blend theory with practical skills for careers in manufacturing, robotics, and aeronautics.
Curious about the foundations of technology and scientific discovery? Many ask, can you get a physics degree online? The answer is yes—allowing you to study theoretical concepts and advance toward research or teaching careers, fully online.
Each of these related online degrees offers unique advantages, preparing students for diverse and high-demand career pathways both within and beyond computer science.
University of Queensland
Tel Aviv University
Sofia University
Aarhus University
Environmental Protection Agency
University of Angers
University of Bergen
Bocconi University
University of Sydney
National Chin-Yi University of Technology
University of Canterbury
Southern University of Science and Technology
Pennsylvania State University
University of Florida
University of New South Wales
French National Museum of Natural History
