Dexter Kozen
Cornell University · CS · ENGRD
Courses on record
From the catalog's course-professor records. Medians come from each course's published grade distribution, which covers every section of the course, including ones other professors taught.
- CS 2112Object-Oriented Design and Data Structures - Honors
- CS 3110Data Structures and Functional Programming
- CS 4090Teaching Experience in Computer Science
- CS 4110Programming Languages and Logics
- CS 4810Introduction to Theory of Computing
- CS 4820Introduction to Analysis of Algorithms
- CS 5110Programming Languages and Logics
- CS 6110Advanced Programming Languages
- CS 6810Theory of Computing
- CS 6820Analysis of Algorithms
- CS 6860Logics of Programs
- CS 6861Introduction to Kleene Algebra
- CS 7190Seminar in Programming Languages
- ENGRD 2112Object-Oriented Design and Data Structures - Honors
Terms and sections
Sections the registrar's schedule lists under this exact name.
Spring 2026
Spring 2025
Fall 2024
Spring 2024
Fall 2023
Spring 2023
Fall 2022
Spring 2022
The courses, terms and grade data on this page come from Cornell's own published catalog and schedule, plus our course questionnaire where noted. Are you Dexter Kozen, or is something here wrong? Contact us and we'll correct or remove it.