Back توني هور Arabic تونى هور (مبرمج من المملكه المتحده) ARZ Çarlz Entoni Azerbaijani تونی هور AZB Тони Хор Bulgarian টোনি হোর Bengali/Bangla C. A. R. Hoare BS C. A. R. Hoare Catalan C. A. R. Hoare Czech Tony Hoare German

Tony Hoare

For the bicycle racer, see Tony Hoar.

Sir
Tony Hoare
FRS FREng
Tony Hoare in 2011
Born
Charles Antony Richard Hoare

(1934-01-11) 11 January 1934 (age 90)
Colombo, British Ceylon
Education
Known for
SpouseJill Pym
Children3
Awards
Turing Award (1980)
Harry H. Goode Memorial Award (1981)
Faraday Medal (1985)
Computer Pioneer Award (1990)
Kyoto Prize (2000)
IEEE John von Neumann Medal (2011)
Royal Medal (2023)
Scientific career
FieldsComputer science
Institutions
Doctoral students
Websitewww.cs.ox.ac.uk/people/tony.hoare

Sir Charles Antony Richard Hoare FRS FREng,[3] also known as Tony Hoare or by his initials C. A. R. Hoare (/hɔːr/; born 11 January 1934) is a British computer scientist who has made foundational contributions to programming languages, algorithms, operating systems, formal verification, and concurrent computing.[4] His work earned him the Turing Award, usually regarded as the highest distinction in computer science, in 1980.

Hoare developed the sorting algorithm quicksort in 1959–1960.[5] He developed Hoare logic, an axiomatic basis for verifying program correctness. In the semantics of concurrency, he introduced the formal language communicating sequential processes (CSP) to specify the interactions of concurrent processes, and along with Edsger Dijkstra, formulated the dining philosophers problem.[6][7][8][9][10][11] Since 1977, he has held positions at the University of Oxford and Microsoft Research in Cambridge.

  1. ^ a b Tony Hoare at the Mathematics Genealogy Project
  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.[permanent dead link]
  3. ^ "List of Fellows". Archived from the original on 8 June 2016. Retrieved 17 October 2014.
  4. ^ 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.
  5. ^ "Sir Antony Hoare". Computer History Museum. Archived from the original on 3 April 2015. Retrieved 22 April 2015.
  6. ^ Tony Hoare author profile page at the ACM Digital Library
  7. ^ C. A. R. Hoare at DBLP Bibliography Server Edit this at Wikidata
  8. ^ Tony Hoare publications indexed by Microsoft Academic
  9. ^ 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.
  10. ^ 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.
  11. ^ Bowen, Jonathan (8 September 2006). Oral History of Sir Antony Hoare. Hoare (Sir Antony, C.A.R.) Oral History, CHM Reference number: X3698.2007 (Report). Computer History Museum. Archived from the original on 3 July 2013. Retrieved 18 April 2014.{{cite report}}: CS1 maint: bot: original URL status unknown (link)

Rich TVX News Network Site

Rich TVX News Network Info

© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search