Andrew Wilson Appel (nacido en 1960) es profesor de informática de la cátedra Eugene Higgins de la Universidad de Princeton . Es especialmente conocido por sus libros sobre compiladores , la serie Modern Compiler Implementation in ML ( ISBN 0-521-58274-1 ), así como por Compiling With Continuations ( ISBN 0-521-41695-7 ). También es uno de los principales colaboradores del compilador Standard ML de Nueva 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 hijo del matemático Kenneth Appel , quien demostró el Teorema de los Cuatro Colores en 1976. [2] Appel se graduó summa cum laude con una licenciatura en física de la Universidad de Princeton en 1981 después de completar una tesis senior, titulada "Investigación de agrupamiento de galaxias utilizando un algoritmo asintóticamente rápido de N cuerpos", bajo la supervisión del premio Nobel James Peebles . [3] Más tarde recibió un doctorado (ciencias de la computación) en la Universidad Carnegie Mellon , en 1985. [4] Se convirtió en miembro de la ACM en 1998, debido a su investigación de lenguajes de programación y compiladores . [5]
En 1981, Appel desarrolló un mejor enfoque para el problema de n cuerpos en tiempo lineal-ítmico en lugar de cuadrático. [6]
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 necesaria ]
Andrew Appel hace campaña sobre cuestiones relacionadas con la interacción entre la ley y la tecnología informática. Testificó en la fase de sanción del caso antimonopolio de Microsoft en 2002. [7] Se opone a la introducción de algunas máquinas de votación computarizadas , que consideró poco fiables. [8] En 2007, recibió atención cuando compró varias máquinas de votación con el fin de investigar su seguridad. [9] En 2024, testificó como experto en máquinas de votación en audiencias judiciales federales que llevaron a una orden judicial preliminar que desautorizaba el sistema de "líneas de condado" de Nueva Jersey que supuestamente proporcionaba una ventaja injusta a los candidatos respaldados por organizaciones de partidos políticos del condado. [10]
