Dexter Kozen - Enciclopedia

Dexter Campbell Kozen (nacido el 20 de diciembre de 1951) es un científico teórico de la computación estadounidense. Es profesor emérito y profesor Joseph Newton Pew, Jr. en Ingeniería de la Universidad de Cornell.


Carrera
Kozen obtuvo su BA en matemáticas de la Universidad Dartmouth en 1974 y su PhD en ciencias de la computación en 1977 de la Universidad de Cornell, donde fue asesorado por Juris Hartmanis sobre la tesis, "Complexity of Finitely Presented Algebras".
Es conocido por su trabajo en la intersección de la lógica y la complejidad. Es uno de los padres de la lógica dinámica y desarrolló la versión del μ-calculus modal más utilizada hoy en día. Su trabajo en álgebra de Kleene con pruebas fue reconocido con un Premio Alonzo Church en 2022. Además, ha escrito varios libros de texto sobre la teoría de la computación, teoría de autómatas, lógica dinámica y algoritmos.
Kozen fue guitarrista, cantante y compositor en la banda "Harmful if Swallowed". También ocupa el cargo de asesor académico para el club de rugby de Cornell.


Premios y honores
Premio John G. Kemeny en Computación, Universidad Dartmouth (1974)
Premio de Innovación Destacada, Corporación IBM (1974)
Becario, Fundación John Simon Guggenheim (1991)
Premio de Enseñanza Distinguida, Facultad de Artes y Ciencias, Cornell (2001)
Miembro ACM, por contribuciones a la ciencia teórica de la computación (2003)
Miembro, AAAS (2008)
Premio LICS Test-of-Time por el artículo "A completeness theorem for Kleene algebras and the algebra of regular events" (2011)
Facultad del Año, ACSU (Asociación de Estudiantes de Ciencias de la Computación de Cornell) (2013)
Cátedra de Excelencia Radboud en la Universidad Radboud Nijmegen (2014)
Miembro, EATCS (2015)
Premio de Logros Distinguidos EATCS (2016)
Premio McDowell, por contribuciones pioneras en temas que van desde la complejidad computacional hasta el análisis de cálculos algebraicos, lógicas de programas y verificación (2016)
Becario Presidencial Weiss (2018)
Premio de Artículo Distinguido POPL por el artículo "Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time" (2020)
Premio Alonzo Church, por su trabajo fundamental en el desarrollo de la teoría y aplicaciones de la álgebra de Kleene con pruebas, un sistema equacional para razonar sobre programas iterativos, publicado en el artículo "Kleene algebra with tests" (2022)
Premio de Artículo Distinguido OOPSLA por el artículo "Formal abstractions for packet scheduling" (2023)


Referencias


Enlaces externos
Página principal de Dexter Kozen