Dexter Campbell Kozen es un científico informático teórico estadounidense . Es Joseph Newton Pew, Jr. Profesor de Ingeniería en la Universidad de Cornell . Recibió su licenciatura en Dartmouth College en 1974 y su doctorado en ciencias de la computación en 1977 de la Universidad de Cornell, donde fue asesorado por Juris Hartmanis . [1] Asesoró a numerosos Ph.D. estudiantes.
Él es un miembro de la Association for Computing Machinery , [2] un compañero de Guggenheim , y ha recibido una concesión excepcional de Innovación de IBM Corporation. También ha sido nombrado Facultad del Año por la Asociación de Estudiantes de Ciencias de la Computación de Cornell.
Dexter Kozen fue uno de los primeros profesores en recibir el honor de una cátedra en The Radboud Excellence Initiative en Radboud University 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 μ 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 era guitarrista, cantante y compositor de la banda "Harmful if Swallowed". También ocupa el puesto de consejero de la facultad del club de fútbol de rugby de Cornell [7] y juega para el equipo de rugby Cortland Homer Thundering Herd.
Referencias
- ^ Dexter Kozen en el Proyecto de genealogía matemática
- ^ "Dexter Kozen - ganador del premio" . Asociación de Maquinaria Informática . Consultado el 31 de octubre de 2013 .
- ^ "Profesor Dexter Kozen" . ru.nl . Consultado el 17 de marzo de 2015 .[ enlace muerto ]
- ^ David Harel , Dexter Kozen y Jerzy Tiuryn , "Lógica dinámica". Prensa del MIT, 2000.
- ^ Dexter Kozen (1983). "Resultados sobre el cálculo μ proposicional". Ciencias de la computación teóricas 27 (3): 333–354.
- ^ Dexter Kozen (2006). Teoría de la Computación. Saltador. ISBN 1-84628-297-7 .
- ^ "Copia archivada" . Archivado desde el original el 19 de abril de 2010 . Consultado el 7 de octubre de 2010 .CS1 maint: copia archivada como título ( enlace )