Tony Hoare

Za britanskega kolesarja glej Tony Hoar.

Sir Charles Antony Richard Hoare (Tony Hoare ali C. A. R. Hoare) FRS FREng, britanski računalnikar in programer, * 1. januar 1934, Kolombo, Britanski Cejlon (sedaj Šrilanka).

Tony Hoare
Tony Hoare leta 2011
Rojstvo	Charles Antony Richard Hoare 11. januar 1934({{padleft:1934|4|0}}-{{padleft:1|2|0}}-{{padleft:11|2|0}}) (90 let) Kolombo
Druga imena	C. A. R. Hoare
Narodnost	britanska
Področja	računalništvo
Ustanove	Elliott Brothers Kraljičina univerza v Belfastu Univerza v Oxfordu Državna univerza v Moskvi Microsoft Research
Izobrazba	Univerza v Oxfordu (BA) Državna univerza v Moskvi
Doktorski študenti	Cliff Jones (1981) Bill Roscoe (1982) Augusto Sampaio (1993)
Poznan po	hitro urejanje (quicksort) Quickselect Hoareova logika ničelna referenca komunikacijski zaporedni procesi strukturalno programiranje ALGOL
Pomembne nagrade	Turingova nagrada (1980) spominska nagrada Harryja H. Goodea (1981) Faradayeva medalja IET (1985) nagrada pionir računalništva (1990) kjotska nagrada (2000) medalja Johna von Neumanna IEEE (2011)
Spletna stran
cs.ox.ac.uk/people/tony.hoare/

Hoare je prispeval osnovne dosežke na področja programskih jezikov, algoritmov, operacijskih sistemov, formalne verifikacije in sočasnega izračunavanja. Za svoje znanstveno delo je leta 1980 prejel Turingovo nagrado, ki po navadi velja za najvišje priznanje na področju računalniških znanosti in je primerljiva z Nobelovo nagrado za druga področja.

Viri

• Jones, Cliff B.; Misra, Jayadev, ur. (2021), Theories of Programming: The Life and Works of Tony Hoare, (ACM Books), zv. 39, New York, NY: Association for Computing Machinery, doi:10.1145/3477355, ISBN 978-1-4503-8728-6, S2CID 238251696
• Sampaio, Augusto (1993). An algebraic approach to compiler design. bodleian.ox.ac.uk (diplomska naloga). Univerza v Oxfordu. OCLC 854973008. Predloga:EThOS.