Альфред Ахо
Альфред Ахо | |
|---|---|
| Рожденный | Альфред Вайно Ахо 9 августа 1941 г. |
| Национальность | Канадский Американский |
| Альма-матер | |
| Известный | |
| Награды |
|
| Научная карьера | |
| Поля | Информатика |
| Учреждения | Колумбийский университет |
| Тезис | Индексированные грамматики: расширение контекстно-свободных грамматик (1968) |
| Докторантура | Джон Хопкрофт [1] |
| Докторанты | |
Альфред Вайно Ахо (родился 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, где разработал эффективные алгоритмы сопоставления регулярных выражений и строковых шаблонов, которые он реализовал в первых версиях Unix. инструментов egrep и fgrep. fgrepалгоритм стал известен как алгоритм Ахо-Корасика ; он используется несколькими системами библиографического поиска, включая систему, разработанную Маргарет Дж. Корасик, и другими приложениями строкового поиска. [13]
В Bell Labs Ахо тесно сотрудничал со Стивом Джонсоном и Джеффри Уллманом над разработкой эффективных алгоритмов анализа и трансляции языков программирования. [14] Стив Джонсон использовал восходящие алгоритмы синтаксического анализа LALR для создания генератора синтаксического анализатора yacc . [15] а Майкл Э. Леск и Эрик Шмидт использовали алгоритмы сопоставления с образцом регулярных выражений Ахо для создания генератора лексического анализатора lex . [16] Инструменты lex и yacc и их производные использовались для разработки интерфейсов многих современных компиляторов языков программирования. [17]
Ахо и Ульман написали серию учебников по методам компиляции, в которых систематизирована теория, относящаяся к проектированию компиляторов. В их учебнике 1977 года «Принципы проектирования компиляторов» на обложке был изображен зеленый дракон, и он стал известен как «книга зеленого дракона». В 1986 году к Ахо и Ульману присоединился Рави Сетхи для создания нового издания, «Книги о красном драконе» (которая была кратко показана в фильме 1995 года « Хакеры »), а в 2006 году также Моника Лам для создания « Книги о фиолетовом драконе ». Книги о драконах используются в университетских курсах, а также в качестве справочников по отрасли. [18]
В 1974 году Ахо, Джон Хопкрофт и Уллман написали « Проектирование и анализ компьютерных алгоритмов» . [19] кодифицируя некоторые из своих ранних исследований алгоритмов. Эта книга стала одной из наиболее цитируемых книг по информатике за несколько десятилетий и помогла стимулировать создание алгоритмов и структур данных в качестве центрального курса в учебной программе по информатике. [20]
Ахо также широко известен своим соавторством языка программирования AWK с Питером Дж. Вайнбергером и Брайаном Керниганом («А» означает «Ахо»). [21] По состоянию на 2010 год [update]Научные интересы Ахо включают языки программирования, компиляторы, алгоритмы и квантовые вычисления . Он входит в исследовательскую группу по языкам и компиляторам Колумбийского университета. [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]
Книги [ править ]
- А. В. Ахо и Дж. Д. Ульман , Теория синтаксического анализа, перевода и компиляции, Vol. 1. Разбор. Прентис Холл, 1972 год. ISBN 0-13-914556-7
- А. В. Ахо (редактор) Тенденции в теории вычислений. Прентис Холл, 1973 год. ISBN 0-13-195651-5 [31]
- А. В. Ахо и Дж. Д. Ульман , Теория синтаксического анализа, перевода и компиляции, Vol. 2. Компиляция. Прентис-Холл, 1973 год. ISBN 978-0-13-914564-3
- Ахо, Альфред В .; Хопкрофт, Джон Э .; Уллман, Джеффри Д. (1974). Проектирование и анализ компьютерных алгоритмов . Аддисон-Уэсли. ISBN 978-0-201-00029-0 .
- А. В. Ахо и Дж. Д. Ульман , Принципы проектирования компиляторов. Аддисон-Уэсли, 1977 год. ISBN 0-201-00022-9
- А.В. Ахо, Дж.Э. Хопкрофт , Дж.Д. Ульман , Структуры данных и алгоритмы. Аддисон-Уэсли, 1983 год. ISBN 0-201-00023-7
- А. В. Ахо, Р. Сетхи , Дж. Д. Ульман , Составители: принципы, методы и инструменты . Аддисон-Уэсли, Ридинг, Массачусетс, 1986 г. ISBN 0-201-10088-6
- А.В. Ахо, Б.В. Керниган и П.Дж. Вайнбергер , Язык программирования AWK. Аддисон-Уэсли, 1988 год. ISBN 978-0-201-07981-4
- А.В. Ахо и Дж.Д. Ульман , Основы информатики . WH Freeman/Computer Science Press, 1992. ISBN 978-0-7167-8233-9 [32] [33]
- А. В. Ахо и Дж. Д. Ульман , «Основы информатики», издание C. У. Х. Фриман, 1995. ISBN 978-0-7167-8284-1
- А. В. Ахо, М. С. Лам , Р. Сетхи и Дж. Д. Ульман , Составители: принципы, методы и инструменты , второе издание. Аддисон-Уэсли, 2007. ISBN 978-0-321-48681-3
Ссылки [ править ]
- ^ Альфред Вайно Ахо в проекте «Математическая генеалогия»
- ^ Ахо, А .; Готтлоб, Г. (2014). «Место в первом ряду для Communications редакционной трансформации ». Коммуникации АКМ . 57 (4): 5. дои : 10.1145/2582611 . S2CID 21553189 .
- ^ Ахо, А.В. (1990). «Алгоритмы поиска шаблонов в строках». Справочник по теоретической информатике . МТИ Пресс. стр. 255–300.
- ^ «Новости ИТ, карьера, бизнес-технологии, обзоры» . Компьютерный мир . Архивировано из оригинала 29 мая 2008 года . Проверено 18 мая 2023 г.
- ^ Перейти обратно: а б Премия ACM Тьюринга вручается новаторам, которые сформировали основы компиляторов и алгоритмов языков программирования . Проверено 31 марта 2021 г.
- ^ «Создание надежных программ ненадежными программистами» (PDF) . Отличница .
- ^ Фитчард, Кевин (31 марта 2021 г.). «Ал Ахо и Джеффри Уллман из Bell Labs удостоены престижной премии Тьюринга» . Лаборатория Нокиа Белл . Архивировано из оригинала 1 апреля 2021 года . Проверено 3 апреля 2021 г.
- ^ «Профиль и подробные достижения лауреатов премии C&C Prize 2017 года» (PDF) . C Фонд NEC &C . Архивировано (PDF) из оригинала 20 января 2022 г.
- ^ Ахо, А. В. (1968). «Индексированные грамматики — расширение контекстно-свободных грамматик» . Журнал АКМ . 15 (4): 647–671. дои : 10.1145/321479.321488 . S2CID 9539666 .
- ^ Ахо, А. В. (1969). «Вложенные стековые автоматы» . Журнал АКМ . 16 (3): 383–406. дои : 10.1145/321526.321529 . S2CID 685569 .
- ^ Рэмбоу, Оуэн; Сатта, Джорджио (28 июля 1999 г.). «Независимый параллелизм в системах конечного копирования и параллельной перезаписи». Теоретическая информатика . 223 (1–2): 87–120. дои : 10.1016/S0304-3975(97)00190-4 . ISSN 0304-3975 .
- ^ Чулик, Карел; Майбаум, TSE (1974). «Системы параллельного переписывания терминов» . В Лёксе, Жак (ред.). Автоматы, языки и программирование . Конспекты лекций по информатике. Том. 14. Берлин, Гейдельберг: Шпрингер. стр. 495–510. дои : 10.1007/978-3-662-21545-6_38 . ISBN 978-3-662-21545-6 .
- ^ Ахо, Альфред В.; Корасик, Маргарет Дж. (июнь 1975 г.). «Эффективное сопоставление строк: помощь в библиографическом поиске» . Коммуникации АКМ . 18 (6): 333–340. дои : 10.1145/360825.360855 . S2CID 207735784 .
- ^ Ахо, А.В.; Джонсон, Южная Каролина; Ульман, JD (1977). «Генерация кода для выражений с общими подвыражениями» . Журнал АКМ . 24 : 146–160. дои : 10.1145/321992.322001 . S2CID 2614214 .
- ^ Моррис, Ричард (1 октября 2009 г.). «Стивен Кертис Джонсон: Компьютерщик недели» . Программное обеспечение «Красные ворота» . Проверено 19 января 2018 г.
- ^ Леск, МЭ; Шмидт, Э. «Lex – генератор лексического анализатора» . Проверено 16 августа 2010 г.
- ^ Левин, Джон Р .; Мейсон, Тони; Браун, Дуг (1992). lex & yacc (2-е изд.). О'Рейли . стр. 1–2 . ISBN 1-56592-000-7 .
- ^ «DYOL: Создайте свой собственный язык — корпус — Dragon Books — Purple Dragon» . slebok.github.io . Проверено 3 апреля 2021 г.
- ^ Ахо, Альфред В .; Хопкрофт, Джон Э .; Уллман, Джеффри Д. (1974). Проектирование и анализ компьютерных алгоритмов . Аддисон-Уэсли. ISBN 978-0-201-00029-0 .
- ^ Перейти обратно: а б Ибараки, Стивен . «Джеффри Ульман и Альфред Ахо, лауреаты премии ACM AMTuring 2020 года» . Forbes.com . Проверено 3 апреля 2021 г.
- ^ Ахо, А.В.; Керниган, BW; Вайнбергер, П.Дж. (1979). «Awk — язык сканирования и обработки шаблонов». Программное обеспечение: практика и опыт . 9 (4): 267. CiteSeerX 10.1.1.80.4787 . дои : 10.1002/спе.4380090403 . S2CID 29399630 .
- ^ «Языки и компиляторы» . Landc.cs.columbia.edu . Проверено 18 мая 2023 г.
- ^ «Запись Google Scholar для Альфреда Ахо» .
- ^ «Книга участников, 1780–2010: Глава A» (PDF) . Американская академия искусств и наук. Архивировано (PDF) из оригинала 10 мая 2011 г. Проверено 6 апреля 2011 г.
- ^ Перейти обратно: а б «DLS – Альфред Ахо» . Школа компьютерных наук Черитона . 16 февраля 2017 года . Проверено 3 апреля 2021 г.
- ^ Делай, Лиз. « Нобелевская премия в области вычислительной техники: выпускник Университета инженерных наук Альфред Ахо получает премию AM Тьюринга» . utoronto.ca . Проверено 3 апреля 2021 г.
- ^ «Краткое подавление США доказательств вызывает гнев» . Нью-Йорк Таймс . 17 февраля 1987 года . Проверено 10 ноября 2015 г. - через Safari.
- ^ «Церемония награждения C&C 2017» . Фонд NEC C&C . Архивировано из оригинала 10 июля 2018 года . Проверено 3 апреля 2021 г.
- ^ «Смотреть: ученый-компьютерщик Альфред Ахо» . Фонд Саймонса . 18 июля 2013 года . Проверено 3 апреля 2021 г.
- ^ «Основной список получателей» . Общество выпускников Колумбии . Проверено 15 апреля 2023 г.
- ^ Течения в теории вычислений под редакцией Альфреда В. Ахо. Содействующие авторы: Рональд В. Бук [и другие] . OCLC 976868524 . Получено 1 апреля 2021 г. - через worldcat.org.
- ^ Основы информатики . OCLC 24669768 . Получено 1 апреля 2021 г. - через worldcat.org.
- ^ Основы информатики . OCLC 797873166 . Получено 1 апреля 2021 г. - через worldcat.org.
Внешние ссылки [ править ]
- Ахо, Альфред Вайно из zbMATH
- Альфред В. Ахо в ACM цифровой библиотеке
- 1941 года рождения
- Канадские ученые-компьютерщики
- Канадцы финского происхождения
- факультет Колумбийского университета
- Факультет Колумбийской школы инженерии и прикладных наук
- 1996 г. Члены Ассоциации вычислительной техники.
- Члены IEEE
- Американцы финского происхождения
- Живые люди
- Выпускники Школы инженерии и прикладных наук Принстонского университета
- Разработчики языков программирования
- Ученые из Bell Labs
- Теоретики-компьютерщики
- Лауреаты премии Тьюринга
- Выпускники Университета Торонто
- Люди из Тимминса
- Ученые из Онтарио
- Члены Американской академии искусств и наук
- Члены Национальной инженерной академии США
- Канадские авторы учебников