1965년 널 참조(null reference)의 구현은 토니 호어(Tony Hoare)의 경력에서 가장 많이 인용되는 오류로 남아 있으며, 그는 이를 '10억 달러짜리 실수'라고 묘사했다. 이러한 시인 외에도 컴퓨터 과학에 대한 그의 근본적인 기여에는 퀵소트 알고리즘의 개발, 프로그램 검증을 위한 형식 논리, 그리고 통신 순차 프로세스(Communicating Sequential Processes)를 통한 동시성 시스템의 명세화가 포함된다.
초기 교육 및 소련 교환학생
1934년 콜롬보에서 태어난 토니 호어는 옥스퍼드의 드래곤 스쿨과 캔터베리의 킹스 스쿨에서 초기 교육을 받았다. 그는 옥스퍼드 대학 Merton College에서 고전문학과 철학을 전공하여 1956년에 졸업했다. 이후 영국 해군에서 복무하는 동안 러시아어에 능통해지게 되었다. 이 기술 덕분에 그는 브리티시 카운슬의 교환학생으로 모스크바 L. V. 로모노소프 모스크바 국립대학교에서 안드레이 콜모고로프의 지도 아래 기계 번역을 공부할 수 있었다.
알고리즘과 논리학에 대한 기여
1960년 소련을 떠난 후 호어는 런던의 Elliott Brothers Ltd에 입사했다. 이 시기에 그는 퀵소트 알고리즘을 개발하고 ALGOL 60용 컴파일러 작업을 했다. 그의 경력은 1968년 벨파스트 퀸즈 대학교 컴퓨터 과학 교수를 포함한 학문적 직위로 이어졌다. 그는 1977년 옥스퍼드 대학교로 돌아와 프로그래밍 연구 그룹을 이끌었고, 1988년부터 2000년 은퇴할 때까지 초대 크리스토퍼 스트레이치 컴퓨터 과학 교수로 재직했다.
형식적 방법과 동시성
호어의 연구는 소프트웨어의 구조적 무결성에 집중되었다. 그는 프로그램의 정확성을 검증하기 위한 공리적 기반을 제공하기 위해 호어 논리를 개발했다. 동시성 컴퓨팅 분야에서는 동시 프로세스 간의 상호작용을 명세하도록 설계된 형식 언어인 통신 순차 프로세스(CSP)를 도입했다. 이러한 분야에서의 그의 연구는 대규모 시스템의 신뢰성 문제를 해결하는 것을 목표로 삼았으나, 그는 나중에 이러한 형식적 방법의 산업적 채택이 실제로는 상당한 한계에 직면했다고 인정했다.
전문적 영예와 말년
호어는 경력 동안 1980년 ACM 튜링상, 1985년 패러데이 메달, 2000년 기사 작위(knighthood)를 포함한 수많은 상을 받았다. 그는 왕립 학회 펠로우였으며 미국 국립과학아카데미와 유럽 아카데미를 비롯한 여러 국제 조직의 회원이었다. 옥스퍼드에서 은퇴한 후 그는 캠브리지의 마이크로소프트 리서치에서 수석 연구원으로 일했다. 호어는 2026년 3월 5일 캠브리지에서 사망했다.
주요 사실
- 출생: 1934년, 콜롬보 - 사망: 2026년, 캠브리지 - 주목할 만한 알고리즘: 퀵소트 - 주된 분야: 컴퓨터 과학 - 튜링상 수상 연도: 1980년 - 주요 학문적 직위: 옥스퍼드 대학교, 벨파스트 퀸즈 대학교 - 기사 작위 서임: 2000년 - 구사 언어: 라틴어, 영어, 러시아어, 고대 그리스어
독자들이 자주 묻는 질문
### 10억 달러짜리 실수는 무엇인가요?
호어는 ALGOL W의 타입 시스템을 설계하는 동안 구현했던 1965년의 널 참조 발명을 설명하기 위해 이 용어를 사용했으며, 이것이 광범위한 시스템 오류로 이어졌다고 언급했다.
### 통신 순차 프로세스(Communicating Sequential Processes)란 무엇인가요?
이는 컴퓨터 시스템 내의 동시 프로세스 간 상호작용을 명세하고 설명하기 위해 호어가 도입한 형식 언어이다.
