Andrew Wilson Appel (nacido en 1960) es profesor Eugene Higgins de informática en la Universidad de Princeton . Es especialmente conocido por sus libros de compilación , la serie Implementación del compilador moderno en ML ( ISBN 0-521-58274-1 ), así como Compilación con continuaciones ( ISBN 0-521-41695-7 ). También es un colaborador importante del compilador Standard ML of New Jersey , junto con David MacQueen , John H. Reppy , Matthias Blume y otros [1] y uno de los autores de Rog-O-Matic. .
Andrew Appel es el hijo del matemático Kenneth Appel , quien demostró el Teorema de los cuatro colores en 1976. [2] Appel se graduó summa cum laude con un AB en física de la Universidad de Princeton en 1981 después de completar una tesis titulada "Investigación de la agrupación de galaxias". utilizando un algoritmo de N-cuerpo asintóticamente rápido", bajo la supervisión del premio Nobel James Peebles . [3] Más tarde recibió un Ph.D. (ciencias de la computación) en la Universidad Carnegie-Mellon , en 1985. [ cita requerida ] Se convirtió en miembro de ACM en 1998, debido a su investigación de lenguajes de programación ycompiladores _ [4]
En 1981, Appel desarrolló un mejor enfoque para el problema de n cuerpos en tiempo lineal rítmico en lugar de cuadrático. [5]
De julio de 2005 a julio de 2006, fue investigador visitante en el Institut national de recherche en informatique et en automatique (INRIA), Rocquencourt , Francia , en un año sabático de la Universidad de Princeton. [ cita requerida ]
Andrew Appel hace campaña sobre temas relacionados con la interacción de la ley y la tecnología informática. Testificó en la fase de sanción del caso antimonopolio de Microsoft en 2002. [6] Se opone a la introducción de algunas máquinas de votación computarizadas , que consideró poco confiables. [7] En 2007, llamó la atención cuando compró varias máquinas de votación con el fin de investigar su seguridad. [8]
Este artículo biográfico relativo a un especialista en informática en los Estados Unidos es un trozo . Puedes ayudar a Wikipedia expandiéndola .