Dexter Kozen

Científico informático estadounidense

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

Carrera

Kozen recibió su licenciatura en matemáticas en el Dartmouth College en 1974 y su doctorado en informática en 1977 en la Universidad de Cornell, donde fue asesorado por Juris Hartmanis en la tesis, Complejidad de álgebras finitamente presentadas . ^{[2] [3]}

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 ^[4] y desarrolló la versión del μ-cálculo modal más utilizada en la actualidad. ^[5] Su trabajo sobre el álgebra de Kleene con tests ^[6] fue reconocido con un premio Alonzo Church en 2022. ^[7] Además, ha escrito varios libros de texto sobre teoría de la computación , ^[8] teoría de autómatas , ^[9] lógica dinámica , ^[4] y algoritmos . ^[10]

Kozen fue guitarrista, cantante y compositor de la banda "Harmful if Swallowed". ^[11] También ocupa el puesto de asesor docente del club de rugby de Cornell. ^[12]

Premios y honores

• Premio John G. Kemeny en Informática, Dartmouth College ^[13] (1974)
• Premio a la Innovación Destacada, IBM Corporation ^[13] (1974)
• Becario de la Fundación John Simon Guggenheim ^[14] (1991)
• Premio a la enseñanza distinguida Stephen y Margery Russell, Facultad de Artes y Ciencias, Cornell ^[13] (2001)
• Becario ACM , por sus contribuciones a la informática teórica ^[15] (2003)
• Miembro de la AAAS ^[16] (2008)
• Premio LICS Test-of-Time 2001 por el artículo "Un teorema de completitud para las álgebras de Kleene y el álgebra de eventos regulares" ^[17] (2011)
• Facultad del año, ACSU (Asociación de estudiantes de grado en Ciencias de la Computación de Cornell) ^[13] (2013)
• Cátedra Radboud Excellence en la Universidad Radboud Nijmegen ^[18] (2014)
• Miembro del EATCS (2015)
• Premio a los logros distinguidos de EATCS (2016)
• Premio McDowell , por contribuciones innovadoras en temas que abarcan desde la complejidad computacional hasta el análisis de cálculos algebraicos, la lógica de programas y la verificación (2016)
• Becario Presidencial Weiss ^[19] (2018)
• Premio POPL a la mejor ponencia destacada ^[20] por el artículo "Álgebra de Kleene protegida con pruebas: verificación de programas no interpretados en tiempo casi lineal" ^[21] (2020)
• Premio Alonzo Church, ^[7] por su trabajo fundamental en el desarrollo de la teoría y aplicaciones del Álgebra de Kleene con Pruebas, un sistema ecuacional para razonar sobre programas iterativos, publicado en el artículo "Álgebra de Kleene con pruebas" ^[6] (2022)
• Premio al artículo destacado de OOPSLA ^[22] por el artículo "Abstracciones formales para la programación de paquetes" ^[23] (2023)

Referencias

1. "Facultad". Departamento de Ciencias de la Computación . Universidad de Cornell . Consultado el 25 de julio de 2024 .
2. Dexter Kozen en el Proyecto de Genealogía Matemática
3. Kozen, Dexter (1976-12-01). Complejidad de álgebras finitamente presentadas (Informe). Universidad de Cornell . Consultado el 25 de julio de 2024 .
4. Harel, David; Kozen, Dexter; Tiuryn, Jerzy (2000). Lógica dinámica. Cambridge, MA: MIT Press. ISBN 978-026227-495-1.
5. Dexter Kozen (1983). "Resultados del cálculo μ proposicional". Theoretical Computer Science 27 (3): 333–354.
6. Kozen, Dexter (mayo de 1977). "Álgebra de Kleene con tests". ACM Transactions on Programming Languages ​​and Systems . 19 (3): 427–443. doi : 10.1145/256167.256195 . S2CID  6658131.
7. "Premios anteriores". EACSL . Archivado desde el original el 2023-09-27 . Consultado el 2024-07-25 .
8. Kozen, Dexter (2006). Teoría de la Computación . Londres: Springer. ISBN 978-1-84628-297-3.
9. Kozen, Dexter (1997). Autómatas y Computabilidad . Nueva York: Springer-Verlag. ISBN 978-0-387-94907-9.
10. Kozen, Dexter (1991). El diseño y análisis de algoritmos . Nueva York: Springer-Verlag. ISBN 978-0-387-97687-7.
11. Donald, Bruce. "Dañino si se ingiere - MP3". Bruce Randall Donald . Archivado desde el original el 24 de julio de 2024. Consultado el 25 de julio de 2024 .
12. "Cornell Rugby Football Club > Cornell Men Big Red Men > Contactos del equipo". Archivado desde el original el 19 de abril de 2010. Consultado el 7 de octubre de 2010 .
13. «Premios». Cornell Bowers CIS - Ciencias de la Computación . Archivado desde el original el 20 de septiembre de 2022. Consultado el 8 de septiembre de 2022 .
14. "Dexter C. Kozen". Fundación Memorial John Simon Guggenheim . Consultado el 8 de septiembre de 2022 .
15. "Dexter Kozen". Association for Computing Machinery . Archivado desde el original el 24 de septiembre de 2023. Consultado el 25 de julio de 2024 .
16. "Asociados de la AAAS" (PDF) . AAAS . Consultado el 8 de septiembre de 2022 .
17. Kozen, Dexter (1991). "Un teorema de completitud para las álgebras de Kleene y el álgebra de eventos regulares". Proc. 1991 Sexto Simposio Anual IEEE sobre Lógica en Ciencias de la Computación . Ámsterdam, Países Bajos: IEEE Computer Society . págs. 214–225. doi :10.1109/LICS.1991.151646. hdl : 1813/6963 .
18. "Profesor Dexter Kozen". ru.nl. ​Consultado el 17 de marzo de 2015 .^{[ enlace muerto ]}
19. "Weiss Presidential Fellow (por contribuciones a la educación de pregrado)". Cornell . Consultado el 8 de septiembre de 2022 .
20. "Programa POPL 2020". SIGPLAN . Consultado el 8 de septiembre de 2022 .
21. Smolka, Steffen; Foster, Nate; Hsu, Justin; Kappé, Tobias; Kozen, Dexter; Silva, Alexandra (enero de 2020). "Álgebra de Kleene protegida con pruebas: verificación de programas no interpretados en tiempo casi lineal". Proc of the ACM on Programming Languages ​​. Vol. 4. IEEE Computer Society . págs. 214–225. arXiv : 1907.05920 . doi : 10.1145/3371129 .
22. "Premios". SPLASH 2023 . Archivado desde el original el 4 de marzo de 2024 . Consultado el 25 de julio de 2024 .
23. Mohan, Anshuman; Liu, Yunhe; Foster, Nate; Kappé, Tobias; Kozen, Dexter (16 de octubre de 2023). "Abstracciones formales para la programación de paquetes". Actas de la ACM sobre lenguajes de programación . 7 (OOPSLA2): 1338–1362. arXiv : 2211.11659 . doi :10.1145/3622845.

Enlaces externos

• Página de inicio de Dexter Kozen