알프레드 베이노 아호(Alfred Vaino Aho, 1941년 8월 9일 출생)는 프로그래밍 언어, 컴파일러 및 관련 알고리즘에 대한 연구와 컴퓨터 프로그래밍의 예술과 과학에 관한 교과서로 가장 잘 알려진 캐나다의 컴퓨터 과학자이다. 그는 오랜 협력자인 제프리 울만(Jeffrey Ullman)과 함께 컴퓨터 과학 분야에서 최고의 영예로 일반적으로 인정받는 2020년 튜링상을 수상했다. 아호는 알고리즘과 프로그래밍 도구 분야에 기여한 공로로 1999년 미국 공학한림원 회원으로 선출되었다.
아호의 연구와 저술은 프로그래밍 언어가 설계되고, 분석되고, 컴파일되는 방식에 지속적인 영향을 미쳤다. 특히 컴파일러 설계에 관한 "드래곤 북"으로 알려진 그의 교과서는 여러 세대의 컴퓨터 과학자와 엔지니어를 교육했다. 그의 작업은 이론적 기초부터 Unix 운영 체제에서 사용되는 실용적인 도구에 이르기까지 다양하다.
교육 및 초기 경력
아호는 토론토 대학교에서 공학 물리학 학사(1963), 프린스턴 대학교에서 전기 공학/컴퓨터 과학 석사(1965) 및 박사(1967) 학위를 받았다. 박사 학위 논문에서 아호는 문맥 자유 언어의 힘을 확장하면서도 그들의 결정 가능성과 폐쇄 성질을 유지하는 수단으로 인덱스 문법과 중첩 스택 오토마톤을 창안했다. 인덱스 문법의 한 응용은 특히 생물학적 응용에서 병렬 재작성 시스템을 모델링하는 것이다.
프린스턴 대학교를 졸업한 후 아호는 벨 연구소의 컴퓨팅 과학 연구 센터에 합류하여 효율적인 정규 표현식 및 문자열 패턴 매칭 알고리즘을 고안하고 이를 Unix 도구 egrep과 fgrep의 초기 버전에 구현했다. fgrep 알고리즘은 아호-코라식 알고리즘으로 알려지게 되었으며, 여러 서지 검색 시스템과 기타 문자열 검색 응용 프로그램에서 사용된다.
컴파일러 및 도구에 대한 기여
벨 연구소에서 아호는 스티브 존슨(Steve Johnson) 및 제프리 울만과 긴밀히 협력하여 프로그래밍 언어를 분석하고 번역하는 효율적인 알고리즘을 개발했다. 스티브 존슨은 상향식 LALR 파싱 알고리즘을 사용하여 구문 분석기 생성기 yacc를 만들었고, 마이클 E. 레스크(Michael E. Lesk)와 에릭 슈미트(Eric Schmidt)는 아호의 정규 표현식 패턴 매칭 알고리즘을 사용하여 어휘 분석기 생성기 lex를 만들었다. lex와 yacc 도구 및 그 파생물은 오늘날 많은 프로그래밍 언어 컴파일러의 프론트 엔드를 개발하는 데 사용되었다.
아호는 또한 피터 J. 와인버거(Peter J. Weinberger) 및 브라이언 커니핸(Brian Kernighan)과 함께 AWK 프로그래밍 언어를 공동 저술한 것으로 널리 알려져 있다("A"는 "Aho"를 의미). 이 텍스트 처리 언어는 Unix 환경에서 표준 도구가 되었으며 이후 많은 스크립팅 언어에 영향을 미쳤다.
드래곤 북과 알고리즘
아호와 울만은 컴파일러 설계와 관련된 이론을 체계화한 일련의 교과서를 저술했다. 1977년 교과서 Principles of Compiler Design은 표지에 녹색 용이 그려져 있어 "그린 드래곤 북"으로 알려지게 되었다. 1986년에는 아호와 울만이 라비 세티(Ravi Sethi)와 함께 "레드 드래곤 북"이라는 새 판을 만들었고, 2006년에는 모니카 램(Monica Lam)도 합류하여 "퍼플 드래곤 북"을 만들었다. 드래곤 북은 대학 강의와 산업 현장 참고 자료로 사용된다.
1974년, 아호, 존 홉크로프트(John Hopcroft), 울만은 The Design and Analysis of Computer Algorithms를 저술하여 알고리즘에 대한 초기 연구 중 일부를 체계화했다. 이 책은 수십 년 동안 컴퓨터 과학 분야에서 가장 많이 인용된 책 중 하나가 되었으며, 알고리즘과 자료 구조가 컴퓨터 과학 교육 과정의 핵심 과목으로 자리 잡는 데 기여했다.
학문적 경력 및 영예
1995년부터 아호는 컬럼비아 대학교에서 컴퓨터 과학 로렌스 거스먼 석좌교수로 재직하고 있다. 그는 1995년부터 1997년까지 그리고 2003년 봄에 학과장을 역임했다. 2010년 기준으로 그의 연구 관심사는 프로그래밍 언어, 컴파일러, 알고리즘 및 양자 컴퓨팅을 포함한다. 그는 컬럼비아 대학교의 언어 및 컴파일러 연구 그룹의 일원이다.
아호는 IEEE의 존 폰 노이만 메달과 미국 공학한림원 및 미국 과학한림원 회원 자격을 포함한 많은 권위 있는 영예를 받았다. 그는 2003년 미국 예술 과학 아카데미 펠로우로 선출되었다. 워털루 대학교, 헬싱키 대학교, 토론토 대학교에서 명예 박사 학위를 받았다. 그는 미국 과학 진흥 협회, ACM, 벨 연구소 및 IEEE의 펠로우이다. 아호, 홉크로프트, 울만은 NEC 코퍼레이션이 수여하는 2017년 C&C 상을 공동 수상했다. 그와 울만은 2021년 3월 31일 2020년 튜링상 수상자로 지명되었다.
개인 생활 및 교육
아호는 1995년부터 뉴욕시의 컬럼비아 대학교에서 가르치고 있다. 그는 2003년 컬럼비아 졸업생 협회로부터 그레이트 티처 상을 받았다. 아호는 미국 국립 과학 재단의 컴퓨터 및 정보 과학 공학 이사회 자문 위원회 위원장을 두 번 역임했다. 그는 ACM 알고리즘 및 계산 가능성 이론 특별 관심 그룹의 전 회장이다. 전반적으로 그의 저작은 2019년 5월 8일 기준으로 81,040회 인용되었으며 h-지수는 66이다.