Alfred Vaino Aho (geboren am 9. August 1941 in Timmins, Ontario) ist ein kanadischer Computerwissenschaftler.

Karriere

Aho hat einen B.A.Sc. in der Technikphysik von der Universität Torontos und eines Dr. in der Elektrotechnik / Informatik von der Universität von Princeton erhalten. Er hat Forschung an Glockenlaboratorien von 1967 bis 1991, und wieder von 1997 bis 2002 als Vizepräsident des Rechenwissenschaftsforschungszentrums geführt. er hält den Vorsitzenden von Lawrence Gussman der Informatik an der Universität von Columbia. Er hat als Vorsitzende der Abteilung von 1995 bis 1997, und wieder im Frühling 2003 gedient.

In seiner Doktorarbeit hat Aho mit einem Inhaltsverzeichnis versehene Grammatiken und den verschachtelten Stapel-Automaten als Fahrzeuge geschaffen, für die Macht von Sprachen ohne Zusammenhänge zu erweitern, aber viele von ihrer Entscheidbarkeit und Verschluss-Eigenschaften zu behalten. Mit einem Inhaltsverzeichnis versehene Grammatiken sind an parallele Musterneuschreiben-Systeme besonders in biologischen Anwendungen gewöhnt gewesen.

Nach dem Absolvieren des Princeton hat sich Aho dem Rechenwissenschaftsforschungszentrum an Glockenlaboratorien angeschlossen, wo er effizienten regelmäßigen Ausdruck und Schnur-Muster ausgedacht hat, das Algorithmen vergleicht, die er in den ersten Versionen der Werkzeuge von Unix durchgeführt hat und. Der Algorithmus ist bekannt als der Aho-Corasick Algorithmus geworden und wird in mehreren bibliografischen Suchsystemen einschließlich desjenigen weit verwendet, das von Margaret J. Corasick und anderen Schnur-Suche-Anwendungen entwickelt ist.

An Glockenlaboratorien hat Aho nah mit Steve Johnson und Jeffrey Ullman gearbeitet, um effiziente Algorithmen zu entwickeln, um Programmiersprachen zu analysieren und zu übersetzen. Steve Johnson ist von unten nach oben LALR Syntaxanalyse von Algorithmen gewöhnt gewesen, um den Generator von Syntax-Analysator yacc zu schaffen, und Michael E. Lesk und Eric E. Schmidt haben das regelmäßige Ausdruck-Muster von Aho verwendet, das Algorithmen vergleicht, um den Generator von lexikalischen Analysator lex zu schaffen. Der lex und die yacc Werkzeuge und ihre Ableitungen sind verwendet worden, um die Vorderenden von vielen heutigen Programmiersprache-Bearbeitern zu entwickeln.

Aho und Ullman haben eine Reihe von Lehrbüchern auf dem Kompilieren von Techniken geschrieben, die die für das Bearbeiter-Design wichtige Theorie kodifiziert haben. Ihr 1977 Lehrbuch Grundsätze des Bearbeiter-Designs hatte einen grünen Drachen auf dem Vorderdeckel und ist bekannt als "das grüne Drache-Buch geworden." 1986 wurden Aho und Ullman von Ravi Sethi angeschlossen, um eine neue Ausgabe zu schaffen, "das rote Drache-Buch" (der im 1995-Film "Hackers" kurz gezeigt wurde), und 2007 auch durch Monica Lam, um "das purpurrote Drache-Buch zu schaffen." Die Drache-Bücher sind die am weitesten verwendeten Bearbeiter-Lehrbücher weltweit gewesen.

1974 haben Aho, John Hopcroft und Ullman das "Design und die Analyse von Computeralgorithmen," geschrieben, etwas von ihrer frühen Forschung über Algorithmen kodifizierend. Dieses Buch ist eines der am höchsten zitierten Bücher in der Informatik seit mehreren Jahrzehnten geworden und hat geholfen, die Entwicklung von Algorithmen und Datenstrukturen als ein Hauptkurs im Informatik-Lehrplan zu stimulieren.

Aho ist auch für seine Co-Autorschaft der AWK Programmiersprache mit Peter J. Weinberger und Brian Kernighan (Standplätze für "Aho") weit bekannt.

Die Forschungsinteressen von Aho schließen Programmiersprachen, Bearbeiter, Algorithmen und Quant-Computerwissenschaft ein. Er ist ein Teil der Sprache und Bearbeiter-Forschungsgruppe an der Universität von Columbia.

Aho hat viele renommierte besondere Auszeichnungen, einschließlich der Medaille von John von Neumann des IEEE und Mitgliedschaft in der Nationalen Akademie der Technik erhalten. Er wurde zu einem Gefährten der amerikanischen Kunstakademie und Wissenschaften 2003 gewählt. Er erhält Ehrendoktorate von der Universität von Waterloo in Ontario und von der Universität Helsinkis in Finnland, und ist ein Gefährte der amerikanischen Vereinigung für die Förderung von Wissenschaft, ACM, Glockenlaboratorien und IEEE. Er hat den Großen Lehrer-Preis von der Gesellschaft von Absolventen von Columbia 2003 gewonnen.

Aho hat zweimal als Vorsitzende des Beratungsausschusses für den Computer und die Informationswissenschaft und das Technikdirektorat des Nationalen Wissenschaftsfundaments gedient. Er ist ein voriger Präsident von ACM Special Interest Group auf Algorithmen und Berechenbarkeitstheorie.

Das Unterrichten

Professor Alfred Aho hat an der Universität von Columbia in New York seit 1995 unterrichtet. Er hat den Großen Lehrer-Preis von der Gesellschaft von Absolventen von Columbia 2003 gewonnen.

Siehe auch

• Aho-Corasick Schnur, die Algorithmus vergleicht

Bücher

• A. V. Aho und J. D. Ullman, Die Theorie der Syntaxanalyse, die Übersetzung, und das Kompilieren, Vol. 1, Grammatisch analysierend. Prentice Hall, 1972. Internationale Standardbuchnummer 0-13-914556-7
• A. V. Aho (Hrsg.). Ströme in der Theorie der Computerwissenschaft. Prentice Hall, 1973.
• A. V. Aho und J. D. Ullman, Die Theorie der Syntaxanalyse, die Übersetzung, und das Kompilieren, Vol. 2, Kompilierend. Prentice-Saal, 1973. Internationale Standardbuchnummer 978-0-13-914564-3
• A. V. Aho, J. E. Hopcroft, J. D. Ullman, Das Design und die Analyse von Computeralgorithmen. Addison-Wesley, 1974. Internationale Standardbuchnummer 0-201-00023-7
• A. V. Aho und J. D. Ullman, Grundsätze des Bearbeiter-Designs. Addison-Wesley, 1977. Internationale Standardbuchnummer 0-201-00022-9
• A. V. Aho, J. E. Hopcroft, J. D. Ullman, Datenstrukturen und Algorithmen. Addison-Wesley, 1983. Internationale Standardbuchnummer 0-201-00023-7
• A. V. Aho, R. Sethi, J. D. Ullman. Addison-Wesley, Magister artium 1986 Lesend. Internationale Standardbuchnummer 0-201-10088-6
• A. V. Aho, B. W. Kernighan, und P. J. Weinberger, Die AWK Programmiersprache. Addison-Wesley, 1988. Internationale Standardbuchnummer 978-0-201-07981-4
• A. V. Aho und J. D. Ullman, Fundamente der Informatik. W. H. Presse des Ehrenbürgers/Informatik, 1992.
• A. V. Aho und J. D. Ullman, Fundamente der Informatik, C Ausgabe. W. H. Freeman, 1995. Internationale Standardbuchnummer 978-0-7167-8284-1
• A. V. Aho, M. S. Lam, R. Sethi, und J. D. Ullman, die Zweite Ausgabe. Addison-Wesley, 2007. Internationale Standardbuchnummer 978-0-321-48681-3
• A. V. Aho, Mit einem Inhaltsverzeichnis versehene Grammatiken - Eine Erweiterung von Grammatiken ohne Zusammenhänge, J. ACM 15 (4), Seiten 647-671, Oktober 1968.
• A. V. Aho, Verschachtelte Stapel-Automaten, J. ACM 16 (3), Seiten 383-406, Juli 1969.
• A. V. Aho und M. J. Corasick, Effiziente Schnur, die Zusammenpasst: eine Hilfe zur Bibliografischen Suche, Comm. ACM 18 (6), Seiten 333-340, Juni 1975.
• A. V. Aho, S. C. Johnson, und J. D. Ullman, Codegeneration für Ausdrücke mit Allgemeinen Subausdrücken, J. ACM 24 (1), Seiten 146-160, Januar 1977.
• A. V. Aho, B. W. Kernighan, und P. J. Weinberger, AWK - Ein Muster Scannende und In einer Prozession gehende Sprache, Software - Praxis und Erfahrung 9 (4), Seiten 267-280, April 1979.
• A. V. Aho. Algorithmen für die Entdeckung von Mustern in Schnuren, Handbuch der Theoretischen Informatik, Seiten 255-300, MIT Presse, 1990.

Links

• Alfred V. Aho
• Computerworld Interview mit Alfred V. Aho
• Zuverlässige Programme von unzuverlässigen Programmierern [PDF, Excellentia] schaffend