Tony Hoare
Videz
Za britanskega kolesarja glej Tony Hoar.
Tony Hoare | |
---|---|
Rojstvo | Charles Antony Richard Hoare 11. januar 1934[1][2] (90 let) Kolombo |
Druga imena | C. A. R. Hoare |
Narodnost | britanska |
Področja | računalništvo |
Ustanove | |
Izobrazba | |
Doktorski študenti |
|
Poznan po | |
Pomembne nagrade |
|
Spletna stran | www.cs.ox.ac.uk/people/tony.hoare/ |
Sir Charles Antony Richard Hoare (Tony Hoare ali C. A. R. Hoare) FRS FREng[5], britanski računalnikar in programer, * 1. januar 1934, Kolombo, Britanski Cejlon (sedaj Šrilanka).[6]
Hoare je prispeval osnovne dosežke na področja programskih jezikov, algoritmov, operacijskih sistemov, formalne verifikacije in sočasnega izračunavanja.[7] 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.
Sklici
[uredi | uredi kodo]- ↑ Record #119103265 // Gemeinsame Normdatei — 2012—2016.
- ↑ SNAC — 2010.
- ↑ 3,0 3,1 3,2 Tony Hoare na Projektu Matematična genealogija (angleško).
- ↑ Sampaio (1993).
- ↑ »List of Fellows« (v angleščini). Arhivirano iz prvotnega spletišča dne 8. junija 2016. Pridobljeno 17. oktobra 2022. Arhivirano 2016-06-08 na Wayback Machine.
- ↑ »Birthdays Jan 10«. The Times (v angleščini). London. 10. januar 2009. Arhivirano iz prvotnega spletišča dne 29. junija 2011. Pridobljeno 9. januarja 2010.
- ↑ Jones; Misra (2021).
Viri
[uredi | uredi kodo]- 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.[mrtva povezava]