Fødsel |
9. august 1941 Timmins |
---|---|
Fødselsnavn | Alfred Vaino Aho |
Nasjonalitet | Kanadisk |
Opplæring |
University of Toronto Princeton University |
Aktiviteter | Informatiker , ingeniør , programmerer |
Jobbet for | Columbia universitet |
---|---|
Felt | Informatikk |
Medlem av |
Institute of Electrical and Electronics Engineers United States National Academy of Engineering American Academy of Arts and Sciences Association for Computing Machinery |
Veileder | John hopcroft |
Nettsted | (no) www.cs.columbia.edu/~aho |
Utmerkelser |
Turing-prisen (2020) |
Prinsipper for Compiler Design ( d ) , AWK |
Alfred Vaino Aho (født den9. august 1941i Timmins , Ontario ) er en kanadisk informatiker som jobber i Bell Laboratories ; han er professor i informatikk ved Columbia University .
Han er spesielt kjent for å ha skapt Awk programmeringsspråk med Peter J. Weinberger og Brian Kernighan , og for å ha skrevet med Ravi Sethi og Jeffrey Ullman den Drage bok , et oppslagsverk innen samling .
Han er sammen med Margaret Corasick , skaperen av Aho-Corasick-algoritmen, publisert i 1975 og brukt i grep- verktøyet tilgjengelig på UNIX .
I 2003 fikk han John von Neumann-medalje og i 2020 den Turing-prisen .
Aho oppnådde en bachelorgrad i fysikk fra University of Toronto og forsvarte i 1966 sin avhandling i elektroteknikk ved Princeton University . I denne oppgaven bruker han for første gang begrepene indeksert grammatikk og nestet stakeautomat for å utvide mulighetene for formelle språk , samtidig som de bevarer deres avgjørende og deterministiske karakter .
Aho ble deretter med i Computer Research Center of Bell Laboratories, hvor han var ansatt til 1991: han utviklet raske algoritmer for mønstergjenkjenning og syntaksanalyse (spesielt Aho-Corasick-algoritmen ), som dessuten vil bli integrert i de første versjonene av Unix. miljø i form av kommandoer og . De har siden blitt brukt i forskjellige bibliografiske forskningsprogrammer, inkludert Margaret J. Corasick . egrepfgrep
Aho deretter jobbet tett med Steve Johnson og Jeffrey Ullman å utvikle raske analyse og konvertering algoritmer: Steve Johnson brukte sin rekursive konvertering algoritmer til å skrive yacc parser , mens Michael E. Lesk og Eric Schmidt integrere sin regulære uttrykk analyse algoritmer for lex leksikalsk analysator . lex og yacc (og deres derivater) er en del av grensesnittet til de fleste kompilatorer i dag.
Aho fungerte som leder for informatikkavdelingen ved Columbia University , deretter visepresident for Bell Laboratories Computer Research Center fra 1997 til 2002. I 2011 ble han tildelt Lawrence Chair. Gussman for informatikk ved Columbia University
(Utvalg av bøker)