stringtranslate.com

Альфред Ахо

Альфред Вайно Ахо (родился 9 августа 1941 года) — канадский учёный-компьютерщик, наиболее известный своими работами по языкам программирования , компиляторам и связанным с ними алгоритмам, а также своими учебниками по искусству и науке компьютерного программирования. [2] [3] [4]

В 1999 году Ахо был избран в Национальную инженерную академию за вклад в области алгоритмов и инструментов программирования.

Он и его давний коллега Джеффри Ульман стали лауреатами премии Тьюринга 2020 года , которая, как правило, считается высшей наградой в области компьютерных наук . [5]

Карьера

Ахо получил степень бакалавра наук (1963) по инженерной физике в Университете Торонто , затем степень магистра наук (1965) и степень доктора наук (1967) по электротехнике/компьютерным наукам в Принстонском университете . [6] Он проводил исследования в Bell Labs с 1967 по 1991 год, а затем с 1997 по 2002 год в качестве вице-президента Исследовательского центра вычислительных наук. [7] С 1995 года он занимает должность профессора Лоуренса Гассмана по компьютерным наукам в Колумбийском университете . Он занимал должность заведующего кафедрой с 1995 по 1997 год и снова весной 2003 года. [8]

В своей докторской диссертации Ахо создал индексированные грамматики [9] и вложенный стековый автомат [10] как средства для расширения возможностей контекстно-свободных языков , но сохраняя многие из их разрешимости и свойств замкнутости. Одним из применений индексированных грамматик является моделирование параллельных систем переписывания, [11] особенно в биологических приложениях. [12]

После окончания Принстона Ахо присоединился к Исследовательскому центру вычислительных наук в Bell Labs, где он разработал эффективные алгоритмы регулярных выражений и сопоставления строковых шаблонов, которые он реализовал в первых версиях инструментов Unixegrep и fgrep. fgrepАлгоритм стал известен как алгоритм Ахо–Корасик ; он используется несколькими библиографическими поисковыми системами, включая разработанную Маргарет Дж. Корасик, и другими приложениями для поиска строк. [13]

В Bell Labs Ахо тесно сотрудничал со Стивом Джонсоном и Джеффри Ульманом для разработки эффективных алгоритмов анализа и перевода языков программирования. [14] Стив Джонсон использовал восходящие алгоритмы синтаксического анализа LALR для создания генератора синтаксического анализатора yacc , [15] а Майкл Э. Леск и Эрик Шмидт использовали алгоритмы сопоставления шаблонов регулярных выражений Ахо для создания генератора лексического анализатора lex . [16] Инструменты lex и yacc и их производные использовались для разработки интерфейсов многих современных компиляторов языков программирования. [17]

Ахо и Ульман написали серию учебников по методам компиляции, которые систематизировали теорию, относящуюся к проектированию компиляторов. Их учебник 1977 года « Принципы проектирования компиляторов» имел на обложке зеленого дракона и стал известен как «книга зеленого дракона». В 1986 году к Ахо и Ульману присоединился Рави Сетхи , чтобы создать новое издание, «книгу красного дракона» (которая была кратко показана в фильме 1995 года « Хакеры »), а в 2006 году также Моника Лэм , чтобы создать « книгу пурпурного дракона ». Книги дракона используются для университетских курсов, а также в качестве отраслевых справочников. [18]

В 1974 году Ахо, Джон Хопкрофт и Ульман написали книгу «Проектирование и анализ компьютерных алгоритмов» , [19] систематизировав некоторые из своих ранних исследований алгоритмов. Эта книга стала одной из самых цитируемых книг по информатике на протяжении нескольких десятилетий и помогла стимулировать создание алгоритмов и структур данных в качестве центрального курса в учебной программе по информатике. [20]

Ахо также широко известен своим соавтором языка программирования AWK с Питером Дж. Вайнбергером и Брайаном Керниганом («A» означает «Aho»). [21] По состоянию на 2010 год исследовательские интересы Ахо включают языки программирования, компиляторы, алгоритмы и квантовые вычисления . Он является членом исследовательской группы по языкам и компиляторам в Колумбийском университете. [22]

В целом его работы были процитированы 81 040 раз, а его индекс Хирша по состоянию на 8 мая 2019 года составил 66. [23]

Ахо получил множество престижных наград, включая медаль Джона фон Неймана от IEEE и членство в Национальной академии инженерии и Национальной академии наук . Он был избран членом Американской академии искусств и наук в 2003 году. [24] Он имеет почетные докторские степени от Университета Ватерлоо , [25] от Университета Хельсинки , [25] и от Университета Торонто . [26] Он является членом Американской ассоциации содействия развитию науки , ACM , Bell Labs и IEEE . [20]

Ахо дважды занимал пост председателя Консультативного комитета по компьютерным и информационным наукам и инженерному директорату Национального научного фонда. Он является бывшим президентом Специальной группы по интересам ACM по алгоритмам и теории вычислимости . [27] Ахо, Хопкрофт и Ульман были со-лауреатами премии C&C 2017 года , присужденной корпорацией NEC . [28] Он и Ульман были названы лауреатами премии Тьюринга 2020 года 31 марта 2021 года. [5]

Преподавание

Ахо преподает в Колумбийском университете в Нью-Йорке с 1995 года. В 2003 году он получил премию «Великий учитель» от Общества выпускников Колумбийского университета. [29] [30]

Книги

Ссылки

  1. ^ Альфред Вайно Ахо в проекте «Генеалогия математики»
  2. ^ Ахо, А.; Готтлоб, Г. (2014). «Место в первом ряду редакционной трансформации коммуникаций ». Коммуникации ACM . 57 (4): 5. doi :10.1145/2582611. S2CID  21553189.
  3. ^ Ахо, А. В. (1990). «Алгоритмы поиска закономерностей в строках». Справочник по теоретической информатике . MIT Press. С. 255–300.
  4. ^ "IT новости, карьера, бизнес-технологии, обзоры". Computerworld . Архивировано из оригинала 29 мая 2008 г. Получено 18 мая 2023 г.
  5. ^ ab Премия ACM Turing Award присуждается новаторам, заложившим основы компиляторов и алгоритмов языков программирования. Получено 31 марта 2021 г.
  6. ^ «Создание надежных программ ненадежными программистами» (PDF) . Excellentia .
  7. ^ Фитчард, Кевин (31 марта 2021 г.). «Bell Labs' Al Aho и Jeffrey Ullman удостоены престижной премии Тьюринга». Nokia Bell Labs . Архивировано из оригинала 1 апреля 2021 г. Получено 3 апреля 2021 г.
  8. ^ «Профиль и подробные достижения группы B — получателей премии C&C 2017 года» (PDF) . Фонд NEC C&C . Архивировано (PDF) из оригинала 20 января 2022 г.
  9. ^ Ахо, AV (1968). «Индексированные грамматики — расширение контекстно-свободных грамматик». Журнал ACM . 15 (4): 647–671. doi : 10.1145/321479.321488 . S2CID  9539666.
  10. ^ Ахо, AV (1969). «Вложенные стековые автоматы». Журнал ACM . 16 (3): 383–406. doi : 10.1145/321526.321529 . S2CID  685569.
  11. ^ Rambow, Owen; Satta, Giorgio (28 июля 1999 г.). «Независимый параллелизм в конечных копирующих параллельных перезаписывающих системах». Теоретическая информатика . 223 (1–2): 87–120. doi :10.1016/S0304-3975(97)00190-4. ISSN  0304-3975.
  12. ^ Culik, Karel; Maibaum, TSE (1974). "Parallel Rewriting Systems on Terms". В Loeckx, Jacques (ред.). Automata, Languages ​​and Programming . Lecture Notes in Computer Science. Vol. 14. Berlin, Heidelberg: Springer. pp. 495–510. doi :10.1007/978-3-662-21545-6_38. ISBN 978-3-662-21545-6.
  13. ^ Ахо, Альфред В.; Корасик, Маргарет Дж. (июнь 1975 г.). «Эффективное сопоставление строк: помощь в библиографическом поиске». Сообщения ACM . 18 (6): 333–340. doi : 10.1145/360825.360855 . S2CID  207735784.
  14. ^ Ахо, А. В.; Джонсон, С. К.; Ульман, Дж. Д. (1977). «Генерация кода для выражений с общими подвыражениями». Журнал ACM . 24 : 146–160. doi : 10.1145/321992.322001 . S2CID  2614214.
  15. ^ Моррис, Ричард (1 октября 2009 г.). «Стивен Кертис Джонсон: Компьютерщик недели». Red Gate Software . Получено 19 января 2018 г.
  16. ^ Lesk, ME; Schmidt, E. "Lex – A Lexical Analyzer Generator" . Получено 16 августа 2010 г.
  17. ^ Левин, Джон Р.; Мейсон, Тони; Браун, Дуг (1992). lex & yacc (2-е изд.). O'Reilly . стр. 1–2. ISBN 1-56592-000-7.
  18. ^ "DYOL: Design Your Own Language — corpus — Dragon Books — Purple Dragon". slebok.github.io . Получено 3 апреля 2021 г. .
  19. ^ Ахо, Альфред В.; Хопкрофт, Джон Э .; Ульман, Джеффри Д. (1974). Проектирование и анализ компьютерных алгоритмов . Эддисон-Уэсли. ISBN 978-0-201-00029-0.
  20. ^ ab Ibaraki, Stephen . "Джеффри Ульман и Альфред Ахо, лауреаты премии ACM AMTuring Award 2020". forbes.com . Получено 3 апреля 2021 г.
  21. ^ Ахо, А. В.; Керниган, Б. В.; Вайнбергер, П. Дж. (1979). «Awk — язык сканирования и обработки шаблонов». Программное обеспечение: практика и опыт . 9 (4): 267. CiteSeerX 10.1.1.80.4787 . doi :10.1002/spe.4380090403. S2CID  29399630. 
  22. ^ "Языки и компиляторы". landc.cs.columbia.edu . Получено 18 мая 2023 г. .
  23. ^ "Google Scholar Record для Альфреда Ахо".
  24. ^ "Book of Members, 1780–2010: Chapter A" (PDF) . Американская академия искусств и наук. Архивировано (PDF) из оригинала 10 мая 2011 г. . Получено 6 апреля 2011 г. .
  25. ^ ab "DLS – Alfred Aho". Cheriton School of Computer Science . 16 февраля 2017 г. Получено 3 апреля 2021 г.
  26. ^ До, Лиз. «Нобелевская премия по вычислениям: выпускник факультета инженерии Университета Торонто Альфред Ахо получает премию имени А. М. Тьюринга». utoronto.ca . Получено 3 апреля 2021 г.
  27. ^ «Кратковременное сокрытие доказательств в США вызвало гнев». The New York Times . 17 февраля 1987 г. Получено 10 ноября 2015 г. – через Safari.
  28. ^ "Церемония награждения премией C&C 2017 года". NEC C&C Foundation . Архивировано из оригинала 10 июля 2018 г. Получено 3 апреля 2021 г.
  29. ^ "Watch: Computer Scientist Alfred Aho". Simons Foundation . 18 июля 2013 г. Получено 3 апреля 2021 г.
  30. ^ "Master Recipient List". Society of Columbia Graduates . Получено 15 апреля 2023 г.
  31. ^ Текущие события в теории вычислений, под редакцией Альфреда В. Ахо. Соавторы: Рональд В. Бук [и другие]. OCLC  976868524. Получено 1 апреля 2021 г. – через worldcat.org.
  32. ^ Основы компьютерной науки. OCLC  24669768. Получено 1 апреля 2021 г. – через worldcat.org.
  33. ^ Основы компьютерной науки. OCLC  797873166. Получено 1 апреля 2021 г. – через worldcat.org.

Внешние ссылки