Dexter Kozen won the IEEE's 2016 W. Wallace McDowell award; the citation reads, "for groundbreaking contributions to topics ranging from computational complexity, to the analysis of algebraic computations, to logics of programs and verification". The award is given to individuals for " outstanding recent theoretical, design, educational, practical, or other innovative contributions in the field of computing", and former awardees include John Backus, Seymour Cray, Gordon Moore, Don Knuth, and Tim Berners-Lee.
The IEEE created a glam video celebrating Kozen's achievements --- see a few of his key papers ascend into the heavens! --- and showing his touching acceptance speech: https://www.youtube.com/watch?v=aW8JZiTl9zY
IEEE announcement: https://www.computer.org/web/pressroom/wallace-mcdowell-2016
- About
- Events
- Calendar
- Graduation Information
- Cornell Tech Colloquium
- Student Colloquium
- BOOM
- Spring 2023 Colloquium
- Conway-Walker Lecture Series
- Salton Lecture Series
- Seminars / Lectures
- Big Red Hacks
- Cornell University High School Programming Contests 2023
- Game Design Initiative
- CSMore: The Rising Sophomore Summer Program in Computer Science
- Explore CS Research
- Research Night
- Cornell Junior Theorists' Workshop
- People
- Courses
- Research
- Undergraduate
- M Eng
- MS
- PhD
- Admissions
- Current Students
- Computer Science Graduate Office Hours
- Business Card Policy
- Cornell Tech
- Curricular Practical Training
- Exam Scheduling Guidelines
- Fellowship Opportunities
- Field of Computer Science Ph.D. Student Handbook
- Graduate TA Handbook
- Field A Exam Summary Form
- Graduate School Forms
- Instructor / TA Application
- Ph.D. Requirements
- Ph.D. Student Financial Support
- Special Committee Selection
- Travel Funding Opportunities
- The Outside Minor Requirement
- Diversity and Inclusion
- Graduation Information
- CS Graduate Minor
- Outreach Opportunities
- Parental Accommodation Policy
- Special Masters
- Student Spotlights
- Contact PhD Office