Cet article est uneébauche concernant l’informatique et une personnalitécanadienne.
Pour les articles homonymes, voirAho.
Naissance | |
---|---|
Nom de naissance | |
Nationalité | |
Formation | |
Activités |
A travaillé pour | |
---|---|
Membre de | |
Directeur de thèse | |
Site web | |
Distinctions | Prix Turing() ![]() Liste détaillée ACM Fellow() Great Teacher Award(d)() Médaille John von Neumann() C&C Prize(en)() Prix Turing() Membre de l'IEEE Membre de l'Académie américaine des arts et des sciences ![]() |
Alfred Vaino Aho (né le àTimmins,Ontario) est un informaticiencanadien qui travaille dans leslaboratoires Bell ; il est professeur d'informatique à l'université Columbia.
Il est particulièrement connu pour avoir créé le langage de programmationAwk avecPeter Weinberger etBrian Kernighan, et pour avoir écrit avecRavi Sethi etJeffrey Ullman leDragon book, livre de référence dans le domaine de lacompilation.
Il est, avecMargaret Corasick, le créateur de l'algorithme d'Aho-Corasick publié en 1975 et utilisé dans l'utilitairegrep disponible sousUnix.
En2003, il reçoit lamédaille John von Neumann[1] et en2020 leprix Turing[2].
Aho a passé une licence de physique à l'université de Toronto et soutenu en 1966 sa thèse en génie électrique à l'université de Princeton. Dans ce mémoire, il emploie pour la première fois les concepts degrammaire indexée et d'automate à piles emboîtées pour étendre les possibilités deslangages formels, tout en préservant leurcaractère décidable et déterministe.
Aho rejoint ensuite le Centre de recherches informatiques des Laboratoires Bell, où il sera employé jusqu'en 1991 : il y met au point des algorithmes rapides dereconnaissance de motifs et d'analyse syntaxique (notamment l'algorithme d'Aho-Corasick), qui seront d'ailleurs intégrés dans les premières versions de l'environnementUnix sous la forme des commandesegrep
etfgrep
. Ils ont été depuis exploités dans divers programmes de recherche bibliographique, dont celui deMargaret J. Corasick.
Aho travaille alors étroitement avecSteve Johnson etJeffrey Ullman au développement d'algorithmes rapides d'analyse et de conversion : Steve Johnson se sert de ses algorithmes récursifs de conversion pour écrire l'analyseur syntaxiqueyacc, tandis queMichael E. Lesk etEric Schmidt intègrent ses algorithmes d'analyse d'expressions régulières pour l'analyseur lexicallex. lex et yacc (et leurs dérivés) font aujourd'hui partie de l'interface de la plupart des compilateurs.
Aho a exercé les fonctions de chef de département d'informatique de l'université Columbia, puis celles de vice-président du Centre de recherches informatiques des Laboratoires Bell de 1997 à 2002. En 2011, il s'est vu attribuer la chaire Lawrence Gussman d'informatique à l'université Columbia
(Sélection d'ouvrages)