Эндрю Уилсон Аппель: Американдық ғалым және компьютер технологиясы сарапашысы
Andrew Appel
Эндрю Уилсон Аппел – Принстон университетінің компьютер ғылымы профессоры, компиляторлар бойынша кітаптарымен және Standard ML жүйесіне зерттемелерімен танымал.
Ағылшыншамен салыстырыңыз: абзацты басыңыз — түпнұсқа терезеде ашылады. Абзац астындағы EN түймесі оны мәтін ішінде көрсетеді.
Кіріспе
Американдық компьютер ғалымы Эндрю Уилсон Аппел (1960 жылы туған) – Принстон университетінің Эвгений Хиггинс атындағы компьютер ғылымы профессоры. Ол ең алдымен компиляторлар туралы кітаптарымен, соның ішінде ML тіліндегі қазіргі заманғы компиляторды іске асыру сериясымен, және «Жалғастырулармен компиляциялау» еңбегімен танымал. Ол сонымен қатар Дэвид Маккуин, Джон Х. Реппи, Маттиас Блум және басқалармен бірге Нью-Джерси стандартты ML компиляторын жасауға зор үлес қосты, сондай-ақ «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 жылы Принстон университетін физика мамандығы бойынша "Сумма кум лауд" деген жоғары бағамен бітірді, ал Нобель сыйлығының лауреаты Джеймс Пиблстің жетекшілігімен "Асимптотикалық жылдам N дене алгоритмін пайдалана отырып, галактикалар кластерін зерттеу" атты дипломдық жұмысын аяқтады. Кейін ол 1985 жылы Карнеги Меллон университетінде компьютерлік ғылымдар бойынша филология ғылымдарының докторы (Ph.D.) дәрежесін алды. Ол 1998 жылы бағдарламалау тілдері мен компиляторларды зерттеуі үшін ACM Fellow атанды. 1981 жылы Аппел n денелік мәселені квадраттық емес, сызықтық уақытта шешуге арналған жақсы тәсілді жасады. 2005 жылдың шілдесінен 2006 жылдың шілдесіне дейін ол Принстон университетіндегі демалысы кезінде Францияның Роккенкорт қаласындағы National Institut de recherche en informatique et en automatique (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.