Tony Hoare
Videz
Za britanskega kolesarja glej Tony Hoar.
| Tony Hoare | |
|---|---|
Tony Hoare leta 2011 | |
| Rojstvo | Charles Antony Richard Hoare 11. januar 1934[1][2][3] Kolombo |
| Smrt | 5. marec 2026[4] (92 let) Cambridge |
| Druga imena | C. A. R. Hoare |
| Narodnost | |
| 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[7], britanski računalnikar in programer, * 1. januar 1934, Kolombo, Britanski Cejlon (sedaj Šrilanka),[8] † 5. marec 2026.
Hoare je prispeval osnovne dosežke na področja programskih jezikov, algoritmov, operacijskih sistemov, formalne verifikacije in sočasnega izračunavanja.[9] 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.
- ↑ Who's who — (neprevedeno), 1849. — ISSN 0083-937X
- ↑ Fortnow L. Tony Hoare (1934-2026)
- 1 2 3 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]