Эндрю Аппель
Эндрю Аппель | |
|---|---|
 Эндрю Аппель в 2006 году | |
| Рожденный | 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
Внешние ссылки
[ редактировать ]
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
 | Эта биографическая статья о компьютерном специалисте из США незавершена . Вы можете помочь Википедии, расширив ее . |