stringtranslate.com

Dexter Kozen

Dexter Campbell Kozen (nacido el 20 de diciembre de 1951) es un informático teórico estadounidense . Es profesor Joseph Newton Pew, Jr. de Ingeniería en la Universidad de Cornell .

Carrera

Kozen recibió su licenciatura en Dartmouth College en 1974 y su doctorado en informática en 1977 en la Universidad de Cornell, donde fue asesorado por Juris Hartmanis . [1]

Es miembro de la Association for Computing Machinery , [2] miembro del Guggenheim y ha recibido un premio a la innovación destacada de IBM Corporation. También ha sido nombrado Facultad del Año por la Asociación de Estudiantes Universitarios en Ciencias de la Computación de Cornell.

Kozen fue uno de los primeros profesores en recibir el honor de una cátedra en la Iniciativa de Excelencia Radboud en la Universidad Radboud de Nijmegen en los Países Bajos . [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] Además, ha escrito varios libros de texto sobre teoría de la computación , [6] teoría de autómatas , lógica dinámica y algoritmos .

Kozen fue guitarrista, cantante y compositor de la banda "Harmful if Swallowed". También ocupa el puesto de asesor docente del club de rugby de Cornell [7] y juega para el equipo de rugby Cortland Homer Thundering Herd. [ cita necesaria ]

Premios y honores

Referencias

  1. ^ Dexter Kozen en el Proyecto de genealogía de matemáticas
  2. ^ "Dexter Kozen - Ganador del premio". Asociación para Maquinaria de Computación . Consultado el 31 de octubre de 2013 .
  3. ^ "Profesor Dexter Kozen". ru.nl. ​Consultado el 17 de marzo de 2015 .[ enlace muerto ]
  4. ^ David Harel , Dexter Kozen y Jerzy Tiuryn, "Lógica dinámica". Prensa del MIT, 2000.
  5. ^ Dexter Kozen (1983). "Resultados del cálculo μ proposicional". Informática teórica 27 (3): 333–354.
  6. ^ Dexter Kozen (2006). Teoría de la Computación. Saltador. ISBN 1-84628-297-7 . 
  7. ^ "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 .
  8. ^ abcde "Premios". Cornell Bowers CIS - Ciencias de la Computación . Consultado el 8 de septiembre de 2022 .
  9. ^ "Dexter C. Kozen". Fundación en Memoria de John Simon Guggenheim . Consultado el 8 de septiembre de 2022 .
  10. ^ Kozen, Dexter; Tiuryn, Jerzy (1990). "Lógicas de programas". En van Leeuwen, enero (ed.). Manual de Informática Teórica, volumen B. Elsevier y MIT Press. págs. 789–840. ISBN 0444880747.
  11. ^ Harel, David ; Kozen, Dexter; Tiuryn, Jerzy (2000). Lógica dinámica . Prensa del MIT. pag. 476.ISBN​ 9780262527668.
  12. ^ "Becarios AAAS" (PDF) . AAAS . Consultado el 8 de septiembre de 2022 .
  13. ^ 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 Informática . Ámsterdam, Países Bajos: IEEE Computer Society . págs. 214-225. doi :10.1109/LICS.1991.151646. hdl : 1813/6963 .
  14. ^ "Weiss Presidential Fellow (por sus contribuciones a la educación universitaria)". Cornell . Consultado el 8 de septiembre de 2022 .
  15. ^ "Programa POPL 2020". SIGPLAN . Consultado el 8 de septiembre de 2022 .
  16. ^ Smolka, Steffen; Fomentar, Nate; Hsu, Justin; Kappé, Tobías; Kozen, Dexter; Silva, Alexandra (enero de 2020). "Álgebra de Kleene vigilada con pruebas: verificación de programas no interpretados en tiempo casi lineal". Proc de la ACM sobre Lenguajes de Programación . vol. 4. Sociedad de Computación IEEE . págs. 214-225. arXiv : 1907.05920 . doi : 10.1145/3371129 .
  17. ^ "Premio Alonzo Church". EACSL . Consultado el 8 de septiembre de 2022 .
  18. ^ Kozen, Dexter (mayo de 1977). "Álgebra de Kleene con pruebas". Transacciones ACM sobre lenguajes y sistemas de programación . 19 (3): 427–443. doi : 10.1145/256167.256195 . S2CID  6658131.

enlaces externos