Сравнивайте с английским: нажмите на абзац — оригинал откроется в окне. Кнопка EN под абзацем показывает его прямо в тексте.
Введение
Американский учёный-компьютерщик Эндрю Уилсон Аппел (род. 1960) — профессор компьютерных наук Принстонского университета. Он особенно известен своими книгами по компиляторам, серией "Современная реализация компилятора на ML", а также книгой "Компиляция с использованием продолжений". Он также является одним из основных разработчиков компилятора Standard ML of New Jersey вместе с Дэвидом Маккуином, Джоном Х. Реппи, Маттиасом Блумом и другими, и одним из авторов Rog O Matic.
American computer scientist
Andrew Wilson Appel (born 1960) is the Eugene Higgins Professor of computer science at Princeton University. He is especially well known because of his compiler books, the Modern Compiler Implementation in ML series, as well as Compiling With Continuations He is also a major contributor to the Standard ML of New Jersey compiler, along with David MacQueen, John H. Reppy, Matthias Blume and others and one of the authors of Rog O Matic.
Биография
Эндрю Аппел — сын математика Кеннета Аппела, доказавшего теорему о четырёх красках в 1976 году. Аппел окончил Принстонский университет в 1981 году со степенью бакалавра наук (A.B.) по физике с отличием (summa cum laude), защитив дипломную работу под названием «Исследование кластеризации галактик с использованием асимптотически быстрого N-частичного алгоритма» под руководством лауреата Нобелевской премии Джеймса Пиблса. Позже он получил степень доктора философии (Ph.D.) по компьютерным наукам в Университете Карнеги — Меллона в 1985 году. В 1998 году он стал членом ACM за исследования в области языков программирования и компиляторов. В 1981 году Аппел разработал более эффективный подход к задаче о n телах, работающий за линеарифметическое, а не квадратичное время. С июля 2005 года по июль 2006 года он находился в исследовательском отпуске из Принстонского университета и работал приглашённым исследователем в Институте национальных исследований в области информатики и автоматики (INRIA) в Роккенкуре, Франция. Эндрю Аппел активно выступает по вопросам, связанным с взаимодействием права и компьютерных технологий. В 2002 году он давал показания на стадии вынесения наказания в антимонопольном деле Microsoft. Он выступает против внедрения некоторых компьютеризированных систем голосования, которые он считает ненадежными. В 2007 году он привлек внимание, когда приобрел несколько машин для голосования с целью изучения их безопасности.
Andrew Appel is the son of mathematician Kenneth Appel, who proved the Four Color Theorem in 1976. Appel graduated summa cum laude with an A. B. in physics from Princeton University in 1981 after completing a senior thesis, titled "Investigation of galaxy clustering using an asymptotically fast N body algorithm", under the supervision of Nobel laureate James Peebles. He later received a Ph. D. (computer science) at Carnegie Mellon University, in 1985. He became an ACM Fellow in 1998, due to his research of programming languages and compilers. In 1981, Appel developed a better approach to the n body problem in linearithmic instead of quadratic time. From July 2005 to July 2006, he was a visiting researcher at the Institut national de recherche en informatique et en automatique (INRIA), Rocquencourt, France, on sabbatical from Princeton University. Andrew Appel campaigns on issues related to the interaction of law and computer technology. He testified in the penalty phase of the Microsoft antitrust case in 2002. He is opposed to the introduction of some computerized voting machines, which he deemed untrustworthy. In 2007, he received attention when he purchased a number of voting machines for the purpose of investigating their security.