я Альфред

я Альфред
я Альфред
Рожденный	Альфред Вайно Ахо ; 9 августа 1941 г. (82 года) ; Тимминс , Онтарио , Канада
Национальность	Канадский ; Американский
Альма-матер	Университет Торонто ; Принстонский университет ;
Известный	Awk Язык программирования ; Принципы проектирования компилятора ; Составители: принципы, методы и инструменты ; Алгоритм Ахо-Корасика ;
Награды	Сотрудник Bell Labs (1984) ; ФАААС (1986) ; Сотрудник IEEE (1988) ; ФАКМ (1996) ; Медаль IEEE Джона фон Неймана (2003 г.) ; Член НАЭ ; Премия Тьюринга (2020) ;
	Научная карьера
Поля	Информатика
Учреждения	Колумбийский университет
Диссертация	Индексированные грамматики: расширение контекстно-свободных грамматик (1968)
Докторантура	Джон Хопкрофт
Докторанты	Криста Своре ; Гаурав Кс ; Марк Эдди ; Марсио Бусс ;

Альфред Вайно Ахо (родился 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 Edition. У. Х. Фриман, 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 г.
^ Jump up to: ^а ^б Премия ACM Тьюринга вручается новаторам, которые сформировали основы компиляторов и алгоритмов языков программирования . Проверено 31 марта 2021 г.
^ «Создание надежных программ ненадежными программистами» (PDF) . Отличница .
^ Фитчард, Кевин (31 марта 2021 г.). «Ал Ахо и Джеффри Уллман из Bell Labs удостоены престижной премии Тьюринга» . Лаборатория Nokia Bell . Архивировано из оригинала 1 апреля 2021 года . Проверено 3 апреля 2021 г.
^ «Профиль и подробные достижения лауреатов премии C&C Prize 2017 года» (PDF) . Фонд NEC C&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 .
^ Jump up to: ^а ^б Ибараки, Стивен . «Джеффри Ульман и Альфред Ахо, лауреаты премии 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 г.
^ Jump up to: ^а ^б «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 цифровой библиотеке

[mathgene-1] Альфред Вайно Ахо в проекте «Математическая генеалогия»

[2] Ахо, А .; Готтлоб, Г. (2014). «Место в первом ряду для редакционной трансформации Communications ». Коммуникации АКМ . 57 (4): 5. дои : 10.1145/2582611 . S2CID 21553189 .

[3] Ахо, А.В. (1990). «Алгоритмы поиска шаблонов в строках». Справочник по теоретической информатике . МТИ Пресс. стр. 255–300.

[4] «Новости ИТ, карьера, бизнес-технологии, обзоры» . Компьютерный мир . Архивировано из оригинала 29 мая 2008 года . Проверено 18 мая 2023 г.

[:0-5] Jump up to: ^а ^б Премия ACM Тьюринга вручается новаторам, которые сформировали основы компиляторов и алгоритмов языков программирования . Проверено 31 марта 2021 г.

[6] «Создание надежных программ ненадежными программистами» (PDF) . Отличница .

[7] Фитчард, Кевин (31 марта 2021 г.). «Ал Ахо и Джеффри Уллман из Bell Labs удостоены престижной премии Тьюринга» . Лаборатория Nokia Bell . Архивировано из оригинала 1 апреля 2021 года . Проверено 3 апреля 2021 г.

[8] «Профиль и подробные достижения лауреатов премии C&C Prize 2017 года» (PDF) . Фонд NEC C&C . Архивировано (PDF) из оригинала 20 января 2022 г.

[9] Ахо, А.В. (1968). «Индексированные грамматики — расширение контекстно-свободных грамматик» . Журнал АКМ . 15 (4): 647–671. дои : 10.1145/321479.321488 . S2CID 9539666 .

[10] Ахо, А.В. (1969). «Вложенные стековые автоматы» . Журнал АКМ . 16 (3): 383–406. дои : 10.1145/321526.321529 . S2CID 685569 .

[11] Рэмбоу, Оуэн; Сатта, Джорджио (28 июля 1999 г.). «Независимый параллелизм в системах конечного копирования и параллельной перезаписи». Теоретическая информатика . 223 (1–2): 87–120. дои : 10.1016/S0304-3975(97)00190-4 . ISSN 0304-3975 .

[12] Чулик, Карел; Майбаум, TSE (1974). «Системы параллельного переписывания терминов» . В Лёксе, Жак (ред.). Автоматы, языки и программирование . Конспекты лекций по информатике. Том. 14. Берлин, Гейдельберг: Шпрингер. стр. 495–510. дои : 10.1007/978-3-662-21545-6_38 . ISBN 978-3-662-21545-6 .

[13] Ахо, Альфред В.; Корасик, Маргарет Дж. (июнь 1975 г.). «Эффективное сопоставление строк: помощь в библиографическом поиске» . Коммуникации АКМ . 18 (6): 333–340. дои : 10.1145/360825.360855 . S2CID 207735784 .

[14] Ахо, А.В.; Джонсон, Южная Каролина; Ульман, JD (1977). «Генерация кода для выражений с общими подвыражениями» . Журнал АКМ . 24 : 146–160. дои : 10.1145/321992.322001 . S2CID 2614214 .

[red-15] Моррис, Ричард (1 октября 2009 г.). «Стивен Кертис Джонсон: Компьютерщик недели» . Программное обеспечение «Красные ворота» . Проверено 19 января 2018 г.

[16] Леск, МЭ; Шмидт, Э. «Lex – генератор лексического анализатора» . Проверено 16 августа 2010 г.

[17] Левин, Джон Р .; Мейсон, Тони; Браун, Дуг (1992). lex & yacc (2-е изд.). О'Рейли . стр. 1–2 . ISBN 1-56592-000-7 .

[18] «DYOL: Создайте свой собственный язык — корпус — Dragon Books — Purple Dragon» . slebok.github.io . Проверено 3 апреля 2021 г.

[alg_design_&_analysis-19] Ахо, Альфред В .; Хопкрофт, Джон Э .; Уллман, Джеффри Д. (1974). Проектирование и анализ компьютерных алгоритмов . Аддисон-Уэсли. ISBN 978-0-201-00029-0 .

[Ibaraki-20] Jump up to: ^а ^б Ибараки, Стивен . «Джеффри Ульман и Альфред Ахо, лауреаты премии ACM AMTuring 2020 года» . Forbes.com . Проверено 3 апреля 2021 г.

[21] Ахо, А.В.; Керниган, BW; Вайнбергер, П.Дж. (1979). «Awk — язык сканирования и обработки шаблонов». Программное обеспечение: практика и опыт . 9 (4): 267. CiteSeerX 10.1.1.80.4787 . дои : 10.1002/спе.4380090403 . S2CID 29399630 .

[22] «Языки и компиляторы» . Landc.cs.columbia.edu . Проверено 18 мая 2023 г.

[23] «Запись Google Scholar для Альфреда Ахо» .

[AAAS-24] «Книга участников, 1780–2010: Глава A» (PDF) . Американская академия искусств и наук. Архивировано (PDF) из оригинала 10 мая 2011 г. Проверено 6 апреля 2011 г.

[:1-25] Jump up to: ^а ^б «DLS – Альфред Ахо» . Школа компьютерных наук Черитона . 16 февраля 2017 года . Проверено 3 апреля 2021 г.

[Do-26] Делай, Лиз. « Нобелевская премия в области вычислительной техники: выпускник Университета инженерных наук Альфред Ахо получает премию AM Тьюринга» . utoronto.ca . Проверено 3 апреля 2021 г.

[27] «Краткое подавление США доказательств вызывает гнев» . Нью-Йорк Таймс . 17 февраля 1987 года . Проверено 10 ноября 2015 г. - через Safari.

[28] «Церемония награждения C&C 2017» . Фонд NEC C&C . Архивировано из оригинала 10 июля 2018 года . Проверено 3 апреля 2021 г.

[29] «Смотреть: ученый-компьютерщик Альфред Ахо» . Фонд Саймонса . 18 июля 2013 года . Проверено 3 апреля 2021 г.

[30] «Основной список получателей» . Общество выпускников Колумбии . Проверено 15 апреля 2023 г.

[31] Течения в теории вычислений под редакцией Альфреда В. Ахо. Содействующие авторы: Рональд В. Бук [и другие] . OCLC 976868524 . Получено 1 апреля 2021 г. - через worldcat.org.

[32] Основы информатики . OCLC 24669768 . Получено 1 апреля 2021 г. - через worldcat.org.

[33] Основы информатики . OCLC 797873166 . Получено 1 апреля 2021 г. - через worldcat.org.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]

[24]

[25]

[26]

[27]

[28]

[29]

[30]

[31]

[32]

[33]

v т и премии AM Тьюринга Лауреаты
1960s	Alan Perlis (1966) Maurice Vincent Wilkes (1967) Richard Hamming (1968) Marvin Minsky (1969)
1970s	James H. Wilkinson (1970) John McCarthy (1971) Edsger W. Dijkstra (1972) Charles Bachman (1973) Donald Knuth (1974) Allen Newell; Herbert A. Simon (1975) Michael O. Rabin; Dana Scott (1976) John Backus (1977) Robert W. Floyd (1978) Kenneth E. Iverson (1979)
1980s	Tony Hoare (1980) Edgar F. Codd (1981) Stephen Cook (1982) Ken Thompson; Dennis Ritchie (1983) Niklaus Wirth (1984) Richard Karp (1985) John Hopcroft; Robert Tarjan (1986) John Cocke (1987) Ivan Sutherland (1988) William Kahan (1989)
1990s	Fernando J. Corbató (1990) Robin Milner (1991) Butler Lampson (1992) Juris Hartmanis; Richard E. Stearns (1993) Edward Feigenbaum; Raj Reddy (1994) Manuel Blum (1995) Amir Pnueli (1996) Douglas Engelbart (1997) Jim Gray (1998) Fred Brooks (1999)
2000s	Andrew Yao (2000) Ole-Johan Dahl; Kristen Nygaard (2001) Ron Rivest; Adi Shamir; Leonard Adleman (2002) Alan Kay (2003) Vint Cerf; Bob Kahn (2004) Peter Naur (2005) Frances Allen (2006) Edmund M. Clarke; E. Allen Emerson; Joseph Sifakis (2007) Barbara Liskov (2008) Charles P. Thacker (2009)
2010s	Leslie G. Valiant (2010) Judea Pearl (2011) Shafi Goldwasser; Silvio Micali (2012) Leslie Lamport (2013) Michael Stonebraker (2014) Martin Hellman; Whitfield Diffie (2015) Tim Berners-Lee (2016) John L. Hennessy; David Patterson (2017) Yoshua Bengio; Geoffrey Hinton; Yann LeCun (2018) Ed Catmull; Pat Hanrahan (2019)
2020s	Alfred Aho; Jeffrey Ullman (2020) Jack Dongarra (2021) Robert Metcalfe (2022) Avi Wigderson (2023)

Базы данных авторитетного контроля
International	ISNI VIAF WorldCat
National	France BnF data Catalonia Germany Israel Belgium United States Sweden Japan Czech Republic Greece Korea Netherlands Poland
Academics	Association for Computing Machinery CiNii DBLP Google Scholar MathSciNet Mathematics Genealogy Project zbMATH
Other	SNAC IdRef