Эндрю Уилсон Аппель (родился в 1960 году) — профессор компьютерных наук имени Юджина Хиггинса в Принстонском университете . Он особенно известен своими книгами о компиляторах , серией Modern Compiler Implementation in ML ( ISBN 0-521-58274-1 ), а также Compiling With Continuations ( ISBN 0-521-41695-7 ). Он также является основным участником компилятора Standard ML of New Jersey , наряду с Дэвидом Маккуином, Джоном Х. Реппи, Маттиасом Блюмом и другими [1] и одним из авторов Rog-O-Matic .
Эндрю Аппель — сын математика Кеннета Аппеля , который доказал теорему о четырёх красках в 1976 году. [2] Аппель с отличием окончил Принстонский университет со степенью бакалавра по физике в 1981 году после завершения дипломной работы под названием «Исследование кластеризации галактик с использованием асимптотически быстрого алгоритма N-тел» под руководством лауреата Нобелевской премии Джеймса Пиблза . [3] Позже он получил степень доктора философии (компьютерные науки) в Университете Карнеги — Меллона в 1985 году. [4] Он стал членом ACM в 1998 году благодаря своим исследованиям языков программирования и компиляторов . [5]
В 1981 году Аппель разработал лучший подход к задаче n тел в линейно-рифмическом, а не квадратичном времени. [6]
С июля 2005 по июль 2006 года он был приглашенным исследователем в Национальном научно-исследовательском институте информатики и автоматизации (INRIA), Рокенкур , Франция , во время творческого отпуска в Принстонском университете. [ нужна ссылка ]
Эндрю Аппель проводит кампании по вопросам, связанным с взаимодействием права и компьютерных технологий. Он давал показания на этапе штрафов по антимонопольному делу Microsoft в 2002 году. [7] Он выступает против внедрения некоторых компьютеризированных машин для голосования , которые он считал ненадежными. [8] В 2007 году он привлек внимание, когда приобрел несколько машин для голосования с целью исследования их безопасности. [9] В 2024 году он давал показания в качестве эксперта по машинам для голосования на слушаниях в федеральном суде, которые привели к предварительному запрету на систему «линий округов» Нью-Джерси, которая, как утверждалось, давала несправедливое преимущество кандидатам, поддерживаемым организациями политических партий округов. [10]
