Neil D. Jones (nacido el 22 de marzo de 1941 en Centralia, Illinois , EE. UU.) Es un informático estadounidense . Actualmente es profesor emérito de informática en la Universidad de Copenhague .
Neil D. Jones | |
---|---|
Nació | 22 de marzo de 1941 (edad Centralia, Illinois , Estados Unidos | 80)
Nacionalidad | americano |
Ciudadanía | Danés (desde 1991) |
alma mater | Universidad de Western Ontario |
Conocido por | Evaluación parcial , análisis de flujo de control , terminación por cambio de tamaño |
Premios | Orden del Dannebrog (1998); Premio al Logro de Lenguajes de Programación SIGPLAN (2014) |
Carrera científica | |
Campos | Ciencias de la Computación |
Instituciones | Universidad de Copenhague Universidad de Aarhus Universidad de Kansas Universidad Estatal de Pensilvania Universidad de Western Ontario |
Asesor de doctorado | Arto Salomaa |
Su trabajo abarca tanto los lenguajes de programación como la teoría de la computación. Dentro de los lenguajes de programación, es particularmente conocido por su trabajo en evaluación parcial y por su trabajo pionero tanto en análisis de flujo de datos , análisis de flujo de control [1] y análisis de terminación . [2] Dentro de la teoría de la computación, fue uno de los pioneros del estudio de las reducciones de espacio logarítmico y P-completitud. [3]
Neil D. Jones es Caballero de la Orden de Dannebrog (desde 1998) y también miembro de la Academia Europaea (desde 1999). Es miembro de 1998 de la Association for Computing Machinery por "contribuciones destacadas a la compilación dirigida por semántica, especialmente a la evaluación parcial, ya la teoría de la computación, los modelos formales y su realización práctica". [4]
enlaces externos
Publicaciones Seleccionadas
- Neil D. Jones, Carsten K. Gomard y Peter Sestoft: Evaluación parcial y generación automática de programas (1993) Libro, texto completo disponible en línea.
- Neil D. Jones, Computability and Complexity from a Programming Perspective (1997) Libro, publicado por MIT Press, el texto en línea es una versión revisada y corregida.
Referencias
- ^ Neil D. Jones (1981), "Análisis de flujo de expresiones lambda", Autómatas, lenguajes y programación , Lecture Notes in Computer Science, 115 : 114-128, doi : 10.1007 / 3-540-10843-2_10 , ISBN 978-3-540-10843-6
- ^ Chin Soon Lee, Neil D. Jones y Amir M. Ben-Amram (2001), "El principio de cambio de tamaño para la terminación del programa", Principios de lenguajes de programación , 36 (3): 81–92, doi : 10.1145 / 373243.360210
- ^ Neil D. Jones y William T. Laaser (1974), "Problemas completos para el tiempo polinomial determinista", Simposio sobre la teoría de la computación : 40-46, doi : 10.1145 / 800119.803883 , S2CID 12251817
- ^ "Neil D. Jones" . Asociación de Maquinaria Informática . Consultado el 19 de julio de 2017 .