Эндрю Аппель
Эндрю Аппель | |
---|---|
Рожденный | 1960 |
Родитель |
|
Родственники | Питер Х. Аппель (брат) |
Эндрю Уилсон Аппель (род. 1960) — профессор информатики Юджина Хиггинса в Принстонском университете . Он особенно известен благодаря своим по компиляторам книгам «Современная реализация компилятора в ML» (англ. Modern Compiler Implementation in ML). ISBN 0-521-58274-1 ) серии, а также компиляция с продолжениями ( 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]
Ссылки [ править ]
- ^ Команда SML/Нью-Джерси
- ^ «Памяти: Кеннет Аппель» . math.illinois.edu . Архивировано из оригинала 23 июля 2020 г. Проверено 7 сентября 2020 г.
- ^ Исследование кластеризации галактик с использованием асимптотически быстрого алгоритма N-тел . 1981.
- ^ Аппель, Эндрю (1985). Оценка времени компиляции и генерация кода для компиляторов, ориентированных на семантику (доктор философии). Университет Карнеги-Меллон.
- ^ «Эндрю В. Аппель» . Награды.acm.org . Проверено 24 июля 2019 г.
- ^ Исследование кластеризации галактик с использованием асимптотически быстрого алгоритма N-тел . Эндрю В. Аппель, старшая диссертация, Принстонский университет, 1981 г.
- ^ «ТЕХНОЛОГИЯ; Microsoft Windows видна угроза» , The New York Times , 2 мая 2007 г.
- ^ Эндрю, Колл (14 июня 2006 г.). «Это не урна» (PDF) . Проверено 22 апреля 2020 г.
- ^ Джонс, Ричард Г. (13 февраля 2007 г.), «Иск направлен на обеспечение безопасности избирательных бюллетеней в Нью-Джерси» , The New York Times
- ^ Фокс, Джои (18 марта 2024 г.), «Энди Ким выступает против границ округа на федеральных слушаниях» , New Jersey Globe