알프레드 아호

Alfred Aho
알프레드 아호
태어난
알프레드 바이노 아호

(1941-08-09) 1941년 8월 9일(81세)
캐나다 온타리오 주 팀민스
국적.캐나다어
아메리칸
모교
로 알려져 있다
어워드
과학 경력
필드컴퓨터 공학
기관컬럼비아 대학교
논문색인화된 문법:문맥 자유 문법의 확장 (1968)
박사 어드바이저존 홉크로프트[1]
박사과정 학생크리스타 스보레

알프레드 바이노 아호(Alfred Vaino Aho, 1941년 8월 9일 ~ )는 프로그래밍 언어, 컴파일러 및 관련 알고리즘과 컴퓨터 [2][3][4]프로그래밍의 예술과 과학 교과서로 잘 알려진 캐나다의 컴퓨터 과학자이다.

아호는 알고리즘과 프로그래밍 도구 분야에 기여한 공로로 1999년에 국립 공학 아카데미에 선출되었습니다.

그와 그의 오랜 협력자인 Jeffrey Ulman은 일반적으로 컴퓨터 [5]공학에서 가장 뛰어난 것으로 알려진 2020 Turing Award 수상자입니다.

직업

아호는 학사 학위를 받았다.토론토 대학에서 공학물리학 학사(1963년), 프린스턴 [6]대학에서 전기공학/컴퓨터과학 석사(1965년), 박사(1967년)를 취득했습니다.1967년부터 1991년까지 Bell Labs에서, 1997년부터 2002년까지 Computing Sciences Research Center의 [7]부사장으로서 연구를 실시했습니다.1995년부터, 그는 콜롬비아 대학에서 로렌스 거스먼 컴퓨터 과학 교수직을 맡아왔습니다.그는 1995년부터 1997년까지, 그리고 [8]2003년 봄에 다시 학과장을 역임했습니다.

박사학위 논문에서 Aho는 컨텍스트가 없는 언어의 힘을 확장하기 위한 수단으로 색인화된[9] 문법과 중첩된 스택 자동화를[10] 개발했지만, 그 결정성 및 폐쇄성 중 많은 부분을 유지했습니다.색인화된 문법의 응용 프로그램 중 하나는 병렬 개서 [11]시스템을 모델링하는 것이며, 특히 생물학적 [12]응용 프로그램에서 그러하다.

Princeton 졸업 후 Bell Labs Computing Sciences Research Center에 입사하여 Unix 툴의 첫 버전에서 구현한 효율적인 정규 표현과 문자열 패턴 매칭 알고리즘을 고안했습니다.egrep그리고.fgrep.그fgrep알고리즘은 Aho-Corasick 알고리즘으로 알려지게 되었습니다; 이것은 Margaret J. Corasick에 의해 개발된 것을 포함한 여러 서지 검색 시스템과 다른 문자열 검색 애플리케이션에 [13]의해 사용됩니다.

Bell Labs에서 Aho는 Steve Johnson 및 Jeffrey Ulman과 긴밀히 협력하여 프로그래밍 [14]언어를 분석하고 번역하기 위한 효율적인 알고리즘을 개발했습니다.Steve Johnson은 LALR 해석 알고리즘을 사용하여 구문 분석기 [15]yacc 및 Michael E를 만들었습니다. Lesk와 Eric Schmidt는 Aho의 정규 표현 패턴 매칭 알고리즘을 사용하여 어휘 분석기 생성기 [16]lex를 만들었습니다.렉스 및 yacc 툴과 그 파생 모델은 오늘날 많은 프로그래밍 언어 [17]컴파일러의 프런트 엔드를 개발하는 데 사용되어 왔습니다.

Aho와 Ullman은 컴파일러 설계와 관련된 이론을 체계화한 기술 편찬에 관한 일련의 교과서를 썼다.1977년 출간된 교과서 '컴파일러 디자인의 원리'의 표지에는 녹색 용(龍)이 그려져 있어 '녹색 용(龍)'으로 알려지게 됐다.1986년 아호와 울만은 라비 세티와 함께 새 판인 "홍룡책"을 만들었고, 2006년에는 모니카 램이 "보라색 용책"을 만들었다.드래곤북은 대학 과정뿐만 아니라 업계 참고 [18]자료로도 사용됩니다.

1974년 Aho, John Hopcroft 및 Ullman은 알고리즘에 대한 초기 연구의 일부를 정리한 컴퓨터 알고리즘의 설계와 분석을 작성했습니다.이 책은 수십 년 동안 컴퓨터 과학에서 가장 많이 인용된 책 중 하나가 되었고 컴퓨터 과학 [19]커리큘럼의 중심 과정인 알고리즘과 데이터 구조의 창조를 자극하는 데 도움이 되었습니다.

Aho는 또한 Peter J. Weinberger, Brian Kernighan과 AWK 프로그래밍 언어의 공동 저자로 널리 알려져 있습니다.[20]2010년 현재, Aho의 연구에는 프로그래밍 언어, 컴파일러, 알고리즘, 양자 컴퓨팅이 포함됩니다.그는 콜롬비아 [21]대학의 언어 및 컴파일러 연구 그룹에 속해 있습니다.

전체적으로 그의 작품은 81,040회 인용되었으며 2019년 [22]5월 8일 현재 h-index는 66이다.

Aho는 IEEE의 John von Neumann 메달과 국립 공학 아카데미 회원 자격을 포함한 많은 명망 있는 영예를 받았습니다.그는 2003년에 [23]미국 예술 과학 아카데미의 펠로우로 선출되었다.워털루 대학교,[24] [24]헬싱키 대학교, [25]토론토 대학교에서 명예 박사 학위를 받았습니다.그는 미국과학진보협회, ACM, Bell Labs [19]및 IEEE 펠로우입니다.

아호 씨는 미국 국립과학재단 컴퓨터정보과학기술국 자문위원회 위원장을 두 차례 역임했다.그는 알고리즘과 계산 가능성 [26]이론에 관한 ACM Special Interest Group의 전 회장입니다.아호, 홉크로프트, 울만은 [27]NEC Corporation이 수여하는 2017 C&C Prize의 공동 수상자였다.2021년 [5]3월 31일 그와 울만은 2020년 튜링상 수상자로 지명되었다.

가르치다

아호는 1995년부터 뉴욕에 있는 콜롬비아 대학에서 가르쳤다.그는 [28]2003년 컬럼비아 대학 졸업생 협회로부터 위대한 교사상을 받았다.

책들

  • A. V. Aho와 J. D. 울만, 해석, 번역, 컴파일 이론, 제1권, 해석프렌티스 홀, 1972년 ISBN0-13-914556-7
  • A. V. Aho (ed.)컴퓨팅 이론의 전류프렌티스 홀, 1973년ISBN 0-13-195651-5[29]
  • A. V. Aho와 J. D. 울만, 해석, 번역, 컴파일 이론, 제2권, 컴파일.프렌티스 홀, 1973년ISBN 978-0-13-914564-3
  • A. V. Aho, J.E. 홉크로프트, J.D. Ulman, 컴퓨터 알고리즘의 설계와 분석.애디슨 웨슬리, 1974년ISBN 0-201-00023-7
  • A. V. Aho와 J. D. Ullman, 컴파일러 설계의 원리애디슨 웨슬리, 1977년ISBN 0-201-00022-9
  • A. V. Aho, J.E. 홉크로프트, J.D. Ulman, 데이터 구조 및 알고리즘.애디슨 웨슬리, 1983년ISBN 0-201-00023-7
  • A. V. 아호, R. 세티, J. D. Ulman, 컴파일러: 원칙, 기술 및 도구.애디슨 웨슬리, 리딩 MA 1986년ISBN 0-201-10088-6
  • A. V. Aho, B. W. Kernighan 및 P. J. Weinberger, AWK 프로그래밍 언어.애디슨 웨슬리, 1988년ISBN 978-0-201-07981-4
  • A. V. Aho와 J. D. 울먼, 컴퓨터 과학 재단W. H. Freeman / 컴퓨터 사이언스 프레스, 1992.ISBN978-0-7167-8233-9[30][31]
  • A. V. Aho, M. S. Lam, R. 세티, 그리고 J.D. Ulman, 컴파일러: 원칙, 기술 및 도구, 제2판애디슨 웨슬리, 2007년ISBN 978-0-321-48681-3

레퍼런스

  1. ^ 수학 계보 프로젝트의 알프레드 바이노 아호
  2. ^ Aho, A.; Gottlob, G. (2014). "A front row seat to Communications' editorial transformation". Communications of the ACM. 57 (4): 5. doi:10.1145/2582611. S2CID 21553189.
  3. ^ Aho, A.V. (1990). "Algorithms for Finding Patterns in Strings". Handbook of Theoretical Computer Science. MIT Press. pp. 255–300.
  4. ^ 알프레드 5세와의 컴퓨터 세계 인터뷰 Aho 2008년 5월 29일 Wayback Machine에서 아카이브 완료
  5. ^ a b ACM Turing Award는 프로그래밍 언어 컴파일러와 알고리즘의 기초를 만든 혁신가에게 수여됩니다.2021년 3월 31일 취득.
  6. ^ "Creating Reliable Programs from Unreliable Programmers" (PDF). Excellentia.
  7. ^ Fitchard, Kevin (March 31, 2021). "Bell Labs' Al Aho and Jeffrey Ullman honored with the prestigious Turing Award". Nokia Bell Labs. Archived from the original on April 1, 2021. Retrieved April 3, 2021.
  8. ^ "Profile and Detailed Achievements of the Group B Recipients of the 2017 C&C Prize" (PDF). The NEC C&C Foundation. Archived (PDF) from the original on January 20, 2022.
  9. ^ Aho, A. V. (1968). "Indexed Grammars—An Extension of Context-Free Grammars". Journal of the ACM. 15 (4): 647–671. doi:10.1145/321479.321488. S2CID 9539666.
  10. ^ Aho, A. V. (1969). "Nested Stack Automata". Journal of the ACM. 16 (3): 383–406. doi:10.1145/321526.321529. S2CID 685569.
  11. ^ Rambow, Owen; Satta, Giorgio (July 28, 1999). "Independent parallelism in finite copying parallel rewriting systems". Theoretical Computer Science. 223 (1–2): 87–120. doi:10.1016/S0304-3975(97)00190-4. ISSN 0304-3975.
  12. ^ Culik, Karel; Maibaum, T. S. E. (1974). Loeckx, Jacques (ed.). "Parallel Rewriting Systems on Terms". Automata, Languages and Programming. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer. 14: 495–510. doi:10.1007/978-3-662-21545-6_38. ISBN 978-3-662-21545-6.
  13. ^ Aho, Alfred V.; Corasick, Margaret J. (June 1975). "Efficient String Matching: An Aid to Bibliographic Search". Communications of the ACM. 18 (6): 333–340. doi:10.1145/360825.360855. S2CID 207735784.
  14. ^ Aho, A. V.; Johnson, S. C.; Ullman, J. D. (1977). "Code Generation for Expressions with Common Subexpressions". Journal of the ACM. 24: 146–160. doi:10.1145/321992.322001. S2CID 2614214.
  15. ^ Morris, Richard (October 1, 2009). "Stephen Curtis Johnson: Geek of the Week". Red Gate Software. Retrieved January 19, 2018.
  16. ^ Lesk, M.E.; Schmidt, E. "Lex – A Lexical Analyzer Generator". Retrieved August 16, 2010.
  17. ^ Levine, John R.; Mason, Tony; Brown, Doug (1992). lex & yacc (2 ed.). O'Reilly. pp. 1–2. ISBN 1-56592-000-7.
  18. ^ "DYOL: Design Your Own Language — corpus — Dragon Books — Purple Dragon". slebok.github.io. Retrieved April 3, 2021.
  19. ^ a b Ibaraki, Stephen. "Jeffrey Ullman And Alfred Aho, 2020 ACM A.M.Turing Award Recipients". forbes.com. Retrieved April 3, 2021.
  20. ^ Aho, A. V.; Kernighan, B. W.; Weinberger, P. J. (1979). "Awk — a pattern scanning and processing language". Software: Practice and Experience. 9 (4): 267. CiteSeerX 10.1.1.80.4787. doi:10.1002/spe.4380090403. S2CID 29399630.
  21. ^ http://landc.cs.columbia.edu/
  22. ^ "Google Scholar Record for Alfred Aho".
  23. ^ "Book of Members, 1780–2010: Chapter A" (PDF). American Academy of Arts and Sciences. Archived (PDF) from the original on May 10, 2011. Retrieved April 6, 2011.
  24. ^ a b "DLS – Alfred Aho". Cheriton School of Computer Science. February 16, 2017. Retrieved April 3, 2021.
  25. ^ Do, Liz. "'Nobel Prize of computing:' U of T Engineering alumnus Alfred Aho receives A.M. Turing Award". utoronto.ca. Retrieved April 3, 2021.
  26. ^ "Brief U.S. Suppression of Proof Stirs Anger". The New York Times. February 17, 1987. Retrieved November 10, 2015 – via Safari.
  27. ^ "2017 C&C Prize Ceremony". NEC C&C Foundation. Archived from the original on July 10, 2018. Retrieved April 3, 2021.
  28. ^ "Watch: Computer Scientist Alfred Aho". Simons Foundation. July 18, 2013. Retrieved April 3, 2021.
  29. ^ Currents in the theory of computing, edited by Alfred V. Aho. Contributing authors: Ronald V. Book [and others]. worldcat.org. OCLC 976868524. Retrieved April 1, 2021.
  30. ^ Foundations of computer science. worldcat.org. OCLC 24669768. Retrieved April 1, 2021.
  31. ^ "Foundations of computer science". worldcat.org. Retrieved April 1, 2021.

외부 링크