토니 호어

Tony Hoare
자전거 경주자는 토니 호어를 참고하세요.
어르신.

토니 호어

FRS 프링
Sir Tony Hoare IMG 5125.jpg
2011년 토니 호어
태어난
찰스 안토니 리처드 호어

(1934-01-11) 1934년 1월 11일 (88세)
콜롬보, 영국 실론
기타 이름C. A. R. 호어
모교
로 알려져 있다
어워드
과학 경력
필드컴퓨터 공학
기관
박사과정 학생
웹 사이트www.cs.ox.ac.uk/people/tony.hoare

찰스 앤서니 리처드 호어 경(토니 호어 또는 C. A. R. 호어) FRS FREng[3](FRS FRENG, 1934년 [4]1월 11일 ~ )은 영국의 컴퓨터 과학자로 프로그래밍 언어, 알고리즘, 운영체제, 공식 검증 및 동시 [5]컴퓨팅에 기초적인 공헌을 했습니다.그의 업적은 1980년에 보통 컴퓨터 공학에서 가장 뛰어난 것으로 여겨지는 튜링상을 그에게 안겨주었다.

Hoare는 1959~1960년에 [6]정렬 알고리즘 퀵소트를 개발했다.그는 프로그램의 정확성을 검증하기 위한 자명한 기초인 Hoare 논리를 개발했다.동시성의 의미론에서, 그는 동시 프로세스의 상호작용을 지정하기 위해 공식 언어 커뮤니케이션 순차 프로세스(CSP)를 도입했고, Edsger Dijkstra와 함께 식사 철학자의 [7][8][9][10][11][12]문제를 공식화했다.그는 또한 늘 포인터를 ALGOL 어족에 도입하여 개발(나중에 비판)한 공로를 인정받고 있다.1977년부터, 그는 옥스퍼드 대학과 캠브리지의 마이크로소프트 연구소에서 근무해왔다.

교육과 초기 생활

토니 호어는 영국 실론의 콜롬보(현재의 스리랑카)에서 태어났다. 그의 아버지는 식민지 공무원이고 어머니는 차 재배가의 딸이었다.호어는 옥스포드의 드래곤 스쿨과 캔터베리의 [13]킹스 스쿨에서 영국에서 교육을 받았다.그 후 [14]그는 옥스퍼드 머튼 대학에서 고전과 철학을 공부했다.1956년 졸업 후 그는 영국 [14]해군에서 18개월 동안 군복무를 했고 그곳에서 [15]러시아어를 배웠다.그는 1958년 통계학 [14]대학원 자격증을 공부하기 위해 옥스퍼드 대학으로 돌아왔고, 이곳에서 [16]레슬리 폭스로부터 페란티 머큐리의 오토코드를 배웠다.그 후 그는 영국 의회 [14]교환학생으로 모스크바 주립대학교에 진학하여 안드레이 [15]콜모고로프 밑에서 기계번역을 공부했다.

연구 및 경력

1960년, Hoare는 소련을 떠나 런던에 위치한 작은 컴퓨터 제조 회사인 Elliott Brothers [14]Ltd에서 일하기 시작했다.그곳에서 그는 ALGOL 60이라는 언어를 구현하고 주요 [17][18]알고리즘을 개발하기 시작했습니다.

그는 국제정보처리연맹(IFIP) 알고리즘 언어 및 계산 실무그룹 2.1의 일원으로 프로그래밍 및 정보학 분야의 국제표준 개발에 참여했습니다.알고리즘 언어 2.1은 [19]ALGOL 60 및 ALGOL [20]68 언어를 지정, 유지 및 지원합니다.

1968년 벨파스트 퀸스 대학교 컴퓨터과학과 교수가 되었고, 1977년 옥스퍼드 대학교 컴퓨터연구소(현 옥스퍼드 대학교 컴퓨터과학부)의 프로그래밍 연구그룹을 이끌기 위해 옥스퍼드 대학교 컴퓨터과학과 교수로 복귀했습니다.그는 현재 그곳의 명예 교수이며 영국 [21][22][23]캠브리지에 있는 마이크로소프트 리서치의 수석 연구원이기도 하다.

Hoare의 가장 중요한 업적은 다음과 같은 분야입니다: 그의 정렬 및 선택 알고리즘(Quicksort 및 Quickselect), Hoare 로직, 동시 프로세스 간의 상호작용을 지정하기 위해 사용되는 공식 언어 통신 순차 프로세스(CSP), 컴퓨터 구조화모니터 개념을 사용하는 운영 [24][25]체제 및 프로그래밍 언어의 자명한 사양을 사용합니다.

사과와 철회

Tony Hoare는 2009년 소프트웨어 컨퍼런스에서 다음과 같은 null [26]reference를 발명한 것에 대해 사과했습니다.

나는 그것을 10억 달러의 실수라고 부른다.그것은 1965년에 무효표시가 발명된 것이다.그 때, 저는 오브젝트 지향 언어(ALGOL W)의 레퍼런스를 위한 최초의 종합형 시스템을 설계하고 있었습니다.제 목표는 모든 참조를 안전하게 사용하고 컴파일러에 의해 자동으로 확인되도록 하는 것이었습니다.하지만 나는 단지 그것이 실행하기에 너무 쉽다는 이유로, 불필요한 참조를 넣으려는 유혹을 뿌리칠 수 없었다.이로 인해 수많은 오류, 취약성 및 시스템 충돌이 발생했으며, 이는 지난 40년간 [28]10억 달러의 고통과 피해를 야기했을 것입니다.

Hoare의 Oxford 부서는 수년 동안 CSP 및 Z와 같은 공식 사양 언어를 연구했습니다.이는 업계의 예상 점유율을 달성하지 못했고, 1995년 Hoare는 다음과 같은 최초 [29]가정을 반영하게 되었습니다.

10년 전, 공식 방법 연구자들(그리고 그 중 가장 잘못 알고 있었다)은 프로그램의 규모가 커지고 안전이 중요해질 때 발생하는 신뢰성 문제를 해결하기 위해 공식화에 의해 약속된 모든 지원을 프로그래밍 세계가 감사하는 마음으로 받아들일 것이라고 예측했다.이제 프로그램은 매우 크고 매우 중요해지고 있습니다. 공식적인 방법으로 쉽게 해결할 수 있는 규모를 훨씬 넘어섰습니다.많은 문제와 실패가 있었지만, 이는 거의 항상 요구사항의 부적절한 분석이나 관리 제어가 원인입니다.세계는 우리의 연구가 원래 해결하려고 했던 문제로부터 크게 고통받지 않는 것으로 드러났습니다.

상과 명예

사생활

1962년, 호어는 그의 [43]연구팀의 멤버인 질 핌과 결혼했다.

책들

  • Dahl, O.-J.; Dijkstra, E. W.; Hoare, C. A. R. (1972). Structured Programming. Academic Press. ISBN 978-0-12-200550-3. OCLC 23937947.
  • C. A. R. Hoare(1985년).시퀀셜 프로세스의 커뮤니케이션.컴퓨터 사이언스 프렌티스 홀 국제 시리즈ISBN 978-0131532717(하드백) 또는 ISBN 978-0131532892(페이퍼백).(온라인(http://www.usingcsp.com/)에서 PDF 형식으로 구할 수 있습니다.
  • Hoare, C. A. R. (1989). C. B., Jones (ed.). Essays in computing science. Prentice Hall International Series in Computer Science. ISBN 978-0-13-284027-9.
  • Hoare, C. A. R.; Gordon, M. J. C. (1992). Mechanised Reasoning and Hardware Design. Prentice Hall International Series in Computer Science. ISBN 978-0-13-572405-7. OCLC 25712842.
  • Hoare, C. A. R.; He, Jifeng (1998). Unifying Theories of Programming. Prentice Hall International Series in Computer Science. ISBN 978-0-13-458761-5. OCLC 38199961.

레퍼런스

  1. ^ a b 수학 계보 프로젝트의 토니 호어
  2. ^ Sampaio, Augusto (1993). An algebraic approach to compiler design. bodleian.ox.ac.uk (DPhil thesis). University of Oxford. OCLC 854973008. EThOS uk.bl.ethos.334903.
  3. ^ a b c "List of Fellows".
  4. ^ "Birthdays Jan 10". The Times. London. 10 January 2009. Retrieved 9 January 2010.
  5. ^ Jones, Cliff B.; Misra, Jayadev, eds. (2021). Theories of Programming: The Life and Works of Tony Hoare. ACM Books. Vol. 39. New York, NY: Association for Computing Machinery. doi:10.1145/3477355. ISBN 978-1-4503-8728-6. S2CID 238251696.
  6. ^ "Sir Antony Hoare". Computer History Museum. Archived from the original on 3 April 2015. Retrieved 22 April 2015.
  7. ^ ACM 디지털 라이브러리의 Tony Hoare 작가 프로필 페이지
  8. ^ DBLP 서지 서버의 C. A. R. Hoare
  9. ^ Microsoft Academic에 의한 Tony Hoare 출판물 색인화
  10. ^ Shustek, L. (2009). "Interview: An interview with C.A.R. Hoare". Communications of the ACM. 52 (3): 38–41. doi:10.1145/1467247.1467261. S2CID 1868477.
  11. ^ Hoare, C. A. R. (1974). "Monitors: An operating system structuring concept". Communications of the ACM. 17 (10): 549–557. doi:10.1145/355620.361161. S2CID 1005769.
  12. ^ Bowen, Jonathan (8 September 2006). Oral History of Sir Antony Hoare (PDF). Hoare (Sir Antony, C.A.R.) Oral History, CHM Reference number: X3698.2007 (Report). Computer History Museum. Archived from the original on 2013. Retrieved 18 April 2014.
  13. ^ Lean, Thomas (2011). "Professor Sir Tony Hoare" (PDF). National Life Stories: An Oral History of British Science. UK: British Library. Retrieved 15 September 2014.
  14. ^ a b c d e Levens, R.G.C., ed. (1964). Merton College Register 1900-1964. Oxford: Basil Blackwell. p. 434.
  15. ^ a b Hoare, Tony (Autumn 2009). "My Early Days at Elliotts". Resurrection (48). ISSN 0958-7403. Retrieved 27 May 2014.
  16. ^ Roscoe, Bill; Jones, Cliff (2010). "1 Insight, inspiration and collaboration" (PDF). Reflections on the Work of C.A.R. Hoare. Springer. ISBN 978-1-84882-911-4.
  17. ^ a b Hoare, C.A.R. (February 1981). "The emperor's old clothes". Communications of the ACM. 24 (2): 5–83. doi:10.1145/358549.358561. ISSN 0001-0782.
  18. ^ Hoare, C. A. R. (1981). "The emperor's old clothes". Communications of the ACM. 24 (2): 75–83. doi:10.1145/358549.358561.
  19. ^ Jeuring, Johan; Meertens, Lambert; Guttmann, Walter (17 August 2016). "Profile of IFIP Working Group 2.1". Foswiki. Retrieved 7 October 2020.
  20. ^ Swierstra, Doaitse; Gibbons, Jeremy; Meertens, Lambert (2 March 2011). "ScopeEtc: IFIP21: Foswiki". Foswiki. Retrieved 7 October 2020.
  21. ^ Microsoft 홈페이지– 짧은 전기
  22. ^ 미니애폴리스 미네소타 대학 찰스 배비지 연구소의 C. A. R. 호어와의 구두 역사 인터뷰.
  23. ^ 모니터에 관한 클래식 기사– 모니터에 관한 오리지널 기사
  24. ^ "Preface to the ACM Turing Award lecture" (PDF). Archived from the original (PDF) on 19 April 2012.
  25. ^ "C. Antony (Tony) R. Hoare". Archived from the original on 1 July 2012.
  26. ^ Hoare, Tony (25 August 2009). "Null References: The Billion Dollar Mistake". InfoQ.com.
  27. ^ "Null: The Billion Dollar Mistake". hashnode.com.
  28. ^ Hoare, Tony (2009). "Null References: The Billion Dollar Mistake" (Presentation abstract). QCon London. Archived from the original on 28 June 2009.
  29. ^ Hoare, C. A. R. (1996). "Unification of Theories: A Challenge for Computing Science". Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification. Springer-Verlag. pp. 49–57. ISBN 3-540-61629-2.
  30. ^ Hoare, Charles Anthony Richard (27 October 1980). "The Emperor's Old Clothes: The 1980 ACM Turing Award Lecture" (PDF). Association for Computing Machinery. Archived from the original (PDF) on 19 April 2012.
  31. ^ Anon (1982). "Anthony Hoare FRS". royalsociety.org. London: Royal Society.
  32. ^ "Honorary Graduates 1989 to present". bath.ac.uk. University of Bath. Retrieved 18 February 2012.
  33. ^ "(Charles) Antony Richard (Tony) Hoare Biography". Archived from the original on 17 July 2014.
  34. ^ "Sir Antony Hoare: 2006 Fellow". Archived from the original on 3 April 2015. Retrieved 8 March 2020."Archived copy". Archived from the original on 3 April 2015. Retrieved 22 April 2015.{{cite web}}: CS1 maint: 제목으로 아카이브된 복사(링크)
  35. ^ "Annual Review 2007: Principal's Review". www1.hw.ac.uk. Archived from the original on 5 March 2016. Retrieved 29 March 2016.
  36. ^ "Preisverleihung auf der Festveranstaltung "40 Jahre Informatik in München": TU München vergibt Friedrich L. Bauer-Preis an Tony Hoare" (in German). Technical University of Munich. 26 October 2007. Archived from the original on 10 June 2016. Retrieved 14 May 2016.
  37. ^ "Programming Languages Achievement Award 2011". ACM. Retrieved 28 August 2012.
  38. ^ "IEEE John von Neumann Medal Recipients" (PDF). IEEE. Retrieved 26 February 2011.
  39. ^ Krzysztof, Diks (15 November 2012). "Profesor Hoare doktorem honoris causa Uniwersytetu Warszawskiego" (in Polish). University of Warsaw. Archived from the original on 26 August 2014. Retrieved 26 November 2012.
  40. ^ "Los informáticos Tony Hoare y Mateo Valero serán investidos hoy doctores honoris causa por la Complutense" (in Spanish). 10 May 2013. Retrieved 10 May 2013.
  41. ^ "ACM Programming Systems and Languages Paper Award". Association for Computing Machinery. 1973. Retrieved 7 July 2022.
  42. ^ Hoare, C.A.R. (1972). "Proof of correctness of data representations". Communications of the ACM. 1 (4): 271–281. doi:10.1007/BF00289507.
  43. ^ Jones, Cliff; Roscoe, A. W.; Wood, Kenneth R., eds. (2010). Reflections on the Work of C.A.R. Hoare. Springer Science. p. 3. Bibcode:2010rwch.book.....R.

이 문서에는 CC BY 4.0 라이센스로 제공되는 텍스트가 포함되어 있습니다.

외부 링크

Wikimedia Commons에는 C와 관련된 미디어가 있습니다. A. R. Hoare.
위키 인용문에는 토니 호어와 관련된 인용문이 있습니다.