Alfred Aho Explained

Alfred Aho
Birth Name:Alfred Vaino Aho
Birth Date:9 August 1941
Birth Place:Timmins, Ontario, Canada
Nationality:Canadian
American
Field:Computer science
Work Institution:Columbia University
Thesis Title:Indexed Grammars: An Extension of Context Free Grammars
Thesis Year:1968
Doctoral Advisor:John Hopcroft

Alfred Vaino Aho (born August 9, 1941) is a Canadian computer scientist best known for his work on programming languages, compilers, and related algorithms, and his textbooks on the art and science of computer programming.[1]

Notes and References

  1. Book: A.V. . Aho . Algorithms for Finding Patterns in Strings . Handbook of Theoretical Computer Science . MIT Press . 1990 . 255–300 .
  2. Web site: IT news, careers, business technology, reviews. https://web.archive.org/web/20080529034813/http://www.computerworld.com.au/index.php/id%3B1726534212%3Bfp%3B4194304%3Bfpid%3B1. dead. May 29, 2008. Computerworld. May 18, 2023.
  3. Web site: Creating Reliable Programs from Unreliable Programmers . Excellentia.
  4. Web site: Fitchard. Kevin. March 31, 2021. Bell Labs' Al Aho and Jeffrey Ullman honored with the prestigious Turing Award. live. April 3, 2021. Nokia Bell Labs. en. https://web.archive.org/web/20210401055811/https://www.bell-labs.com/institute/blog/bell-labs-al-aho-and-jeffrey-ullman-honored-with-turing-award/ . April 1, 2021 .
  5. Web site: Profile and Detailed Achievements of the Group B Recipients of the 2017 C&C Prize. live. The NEC C&C Foundation. https://web.archive.org/web/20220120120256/https://www.nec.com/en/press/201710/images/1101-01-02.pdf . January 20, 2022 .
  6. Aho. A. V.. 1968. Indexed Grammars—An Extension of Context-Free Grammars. Journal of the ACM. 15. 4. 647–671. 10.1145/321479.321488. 9539666. free.
  7. Aho. A. V.. 1969. Nested Stack Automata. Journal of the ACM. 16. 3. 383–406. 10.1145/321526.321529. 685569. free.
  8. Rambow. Owen. Satta. Giorgio. July 28, 1999. Independent parallelism in finite copying parallel rewriting systems. Theoretical Computer Science. en. 223. 1–2. 87–120. 10.1016/S0304-3975(97)00190-4. 0304-3975.
  9. Book: Culik. Karel. Maibaum. T. S. E.. Automata, Languages and Programming . Parallel Rewriting Systems on Terms . 1974. Loeckx. Jacques. https://link.springer.com/chapter/10.1007%2F978-3-662-21545-6_38. Lecture Notes in Computer Science. 14. en. Berlin, Heidelberg. Springer. 495–510. 10.1007/978-3-662-21545-6_38. 978-3-662-21545-6.
  10. Aho. Alfred V.. Corasick. Margaret J.. June 1975. Efficient String Matching: An Aid to Bibliographic Search. Communications of the ACM. 18. 6. 333–340. 10.1145/360825.360855. 207735784. free.
  11. Aho. A. V.. Johnson. S. C.. Ullman. J. D.. 1977. Code Generation for Expressions with Common Subexpressions. Journal of the ACM. 24. 146–160. 10.1145/321992.322001. 2614214. free.
  12. News: Morris. Richard. October 1, 2009. Stephen Curtis Johnson: Geek of the Week. Red Gate Software. January 19, 2018.
  13. Web site: Lesk. M.E.. Schmidt. E.. Lex – A Lexical Analyzer Generator. August 16, 2010.
  14. Book: Levine. John R.. lex & yacc. Mason. Tony. Brown. Doug. O'Reilly. 1992. 1-56592-000-7. 2. 1–2. John R. Levine. registration.
  15. Web site: DYOL: Design Your Own Language — corpus — Dragon Books — Purple Dragon. April 3, 2021. slebok.github.io.
  16. Book: Alfred V. . Aho . Alfred Aho . John E. . Hopcroft . John Hopcroft . Jeffrey D. . Ullman . Jeffrey Ullman . 1974 . The Design and Analysis of Computer Algorithms . Addison-Wesley . 978-0-201-00029-0.
  17. Web site: Jeffrey Ullman And Alfred Aho, 2020 ACM A.M.Turing Award Recipients . forbes.com . Stephen . Ibaraki . Stephen Ibaraki . April 3, 2021.
  18. Aho. A. V.. Kernighan. B. W.. Weinberger. P. J.. 1979. Awk — a pattern scanning and processing language. Software: Practice and Experience. 9. 4. 267. 10.1.1.80.4787. 10.1002/spe.4380090403. 29399630.
  19. Web site: Languages and Compilers. landc.cs.columbia.edu. May 18, 2023.
  20. Web site: Google Scholar Record for Alfred Aho.
  21. Web site: Book of Members, 1780–2010: Chapter A. American Academy of Arts and Sciences. April 6, 2011. https://web.archive.org/web/20110510021801/http://www.amacad.org/publications/BookofMembers/ChapterA.pdf. May 10, 2011 . live.
  22. Web site: February 16, 2017. DLS – Alfred Aho. April 3, 2021. Cheriton School of Computer Science. en.
  23. Web site: 'Nobel Prize of computing:' U of T Engineering alumnus Alfred Aho receives A.M. Turing Award . utoronto.ca . Liz . Do . April 3, 2021.
  24. News: Brief U.S. Suppression of Proof Stirs Anger. February 17, 1987. November 10, 2015. Safari. The New York Times.
  25. Web site: 2017 C&C Prize Ceremony. live. April 3, 2021. NEC C&C Foundation. https://web.archive.org/web/20180710002803/http://www.candc.or.jp:80/en/2017/ceremony.html . July 10, 2018 .
  26. https://awards.acm.org/about/2020-turing ACM Turing Award Honors Innovators Who Shaped the Foundations of Programming Language Compilers and Algorithms
  27. Web site: July 18, 2013. Watch: Computer Scientist Alfred Aho. April 3, 2021. Simons Foundation. en-US.
  28. Web site: Master Recipient List . 2023-04-15 . Society of Columbia Graduates . en-US.
  29. Book: Currents in the theory of computing, edited by Alfred V. Aho. Contributing authors: Ronald V. Book [and others]. ]. worldcat.org . 976868524 . April 1, 2021.
  30. Book: Foundations of computer science . worldcat.org . 24669768 . April 1, 2021.
  31. Book: Foundations of computer science . worldcat.org . 797873166 . April 1, 2021.
  32. 10.1145/2582611. A front row seat to Communications editorial transformation| journal = Communications of the ACM| volume = 57| issue = 4| pages = 5| year = 2014| last1 = Aho | first1 = A. | author-link1 = Alfred Aho| last2 = Gottlob | first2 = G. | s2cid = 21553189| author-link2 = Georg Gottlob}}[1] [2]

    Aho was elected into the National Academy of Engineering in 1999 for his contributions to the fields of algorithms and programming tools.

    He and his long-time collaborator Jeffrey Ullman are the recipients of the 2020 Turing Award, generally recognized as the highest distinction in computer science.

    Career

    Aho received a B.A.Sc. (1963) in Engineering Physics from the University of Toronto, then an M.A. (1965) and Ph.D. (1967) in Electrical Engineering/Computer Science from Princeton University.[3] He conducted research at Bell Labs from 1967 to 1991, and again from 1997 to 2002 as Vice President of the Computing Sciences Research Center.[4] Since 1995, he has held the Lawrence Gussman Professorship in Computer Science at Columbia University. He served as chair of the department from 1995 to 1997, and again in the spring of 2003.[5]

    In his PhD thesis Aho created indexed grammars[6] and the nested-stack automaton[7] as vehicles for extending the power of context-free languages, but retaining many of their decidability and closure properties. One application of indexed grammars is modelling parallel rewriting systems,[8] particularly in biological applications.[9]

    After graduating from Princeton, Aho joined the Computing Sciences Research Center at Bell Labs where he devised efficient regular expression and string-pattern matching algorithms that he implemented in the first versions of the Unix tools [[egrep]] and [[fgrep]]. The fgrep algorithm has become known as the Aho–Corasick algorithm; it is used by several bibliographic search-systems, including the one developed by Margaret J. Corasick, and by other string-searching applications.[10]

    At Bell Labs, Aho worked closely with Steve Johnson and Jeffrey Ullman to develop efficient algorithms for analyzing and translating programming languages.[11] Steve Johnson used the bottom-up LALR parsing algorithms to create the syntax-analyzer generator yacc,[12] and Michael E. Lesk and Eric Schmidt used Aho's regular-expression pattern-matching algorithms to create the lexical-analyzer generator lex.[13] The lex and yacc tools and their derivatives have been used to develop the front ends of many of today's programming language compilers.[14]

    Aho and Ullman wrote a series of textbooks on compiling techniques that codified the theory relevant to compiler design. Their 1977 textbook Principles of Compiler Design had a green dragon on the front cover and became known as "the green dragon book". In 1986 Aho and Ullman were joined by Ravi Sethi to create a new edition, "the red dragon book" (which was briefly shown in the 1995 movie Hackers), and in 2006 also by Monica Lam to create "the purple dragon book". The dragon books are used for university courses as well as industry references.[15]

    In 1974, Aho, John Hopcroft, and Ullman wrote The Design and Analysis of Computer Algorithms,[16] codifying some of their early research on algorithms. This book became one of the most highly cited books in computer science for several decades and helped to stimulate the creation of algorithms and data structures as a central course in the computer science curriculum.[17]

    Aho is also widely known for his co-authorship of the AWK programming language with Peter J. Weinberger and Brian Kernighan (the "A" stands for "Aho").[18] Aho's research interests include programming languages, compilers, algorithms, and quantum computing. He is part of the Language and Compilers research-group at Columbia University.[19]

    Overall, his works have been cited 81,040 times and he has an h-index of 66, as of May 8, 2019.[20]

    Aho has received many prestigious honors, including the IEEE's John von Neumann Medal and membership in the National Academy of Engineering. He was elected a Fellow of the American Academy of Arts and Sciences in 2003.[21] He holds honorary doctorates from the University of Waterloo,[22] from the University of Helsinki, and from the University of Toronto.[23] He is a Fellow of the American Association for the Advancement of Science, ACM, Bell Labs, and IEEE.

    Aho has twice served as chair of the Advisory Committee for the Computer and Information Science and Engineering Directorate of the National Science Foundation. He is a past president of the ACM Special Interest Group on Algorithms and Computability Theory.[24] Aho, Hopcroft, and Ullman were co-recipients of the 2017 C&C Prize awarded by NEC Corporation.[25] He and Ullman were named recipients of the 2020 Turing Award on March 31, 2021.[26]

    Teaching

    Aho has taught at Columbia University in New York City since 1995. He won the Great Teacher Award from the Society of Columbia Graduates in 2003.[27] [28]

    Books

    • A. V. Aho and J. D. Ullman, The Theory of Parsing, Translation, and Compiling, Vol. 1, Parsing. Prentice Hall, 1972.
    • A. V. Aho (ed.) Currents in the Theory of Computing. Prentice Hall, 1973. [29]
    • A. V. Aho and J. D. Ullman, The Theory of Parsing, Translation, and Compiling, Vol. 2, Compiling. Prentice-Hall, 1973.
    • Book: Alfred V. . Aho . Alfred Aho . John E. . Hopcroft . John Hopcroft . Jeffrey D. . Ullman . Jeffrey Ullman . 1974 . The Design and Analysis of Computer Algorithms . Addison-Wesley . 978-0-201-00029-0.
    • A. V. Aho and J. D. Ullman, Principles of Compiler Design. Addison-Wesley, 1977.
    • A. V. Aho, J. E. Hopcroft, J. D. Ullman, Data Structures and Algorithms. Addison-Wesley, 1983.
    • A. V. Aho, R. Sethi, J. D. Ullman, . Addison-Wesley, Reading MA 1986.
    • A. V. Aho, B. W. Kernighan, and P. J. Weinberger, The AWK Programming Language. Addison-Wesley, 1988.
    • A. V. Aho and J. D. Ullman, Foundations of Computer Science. W. H. Freeman/Computer Science Press, 1992. [30] [31]
      • A. V. Aho and J. D. Ullman, Foundations of Computer Science, C Edition. W. H. Freeman, 1995.
    • A. V. Aho, M. S. Lam, R. Sethi, and J. D. Ullman, , Second Edition. Addison-Wesley, 2007.

    External links

    .