Charles Antony Richard Hoare
brytyjski informatyk
Charles Antony Richard Hoare Tony Hoare (ur. 11 stycznia 1934 w Kolombo)[1] – brytyjski informatyk, twórca algorytmu sortowania quicksort.
2011 | |
Data i miejsce urodzenia | |
---|---|
Zawód, zajęcie | |
Miejsce zamieszkania | |
Alma Mater | |
Strona internetowa |
Stworzył także logikę Hoare’a służącą do weryfikowania poprawności programów oraz stworzył język formalny Communicating Sequential Processes (CSP) używany do specyfikowania interakcji współbieżnych procesów (zob. problem ucztujących filozofów). Przyczynił się do powstania języka programowania Occam.
W 1980 roku, w dowód uznania za wkład w rozwój języków programowania, otrzymał nagrodę Turinga. Laureat Nagrody Kioto w dziedznie zaawansowanych technologii w 2000 roku[2].
Przypisy
edytuj- ↑ Charles Antony Richard Hoare, [w:] Encyklopedia PWN [online], Wydawnictwo Naukowe PWN [dostęp 2024-05-22] .
- ↑ Antony Hoare [online], Kyoto Prize [dostęp 2020-03-21] (ang.).
Kontrola autorytatywna (osoba):
- ISNI: 0000000121467986
- VIAF: 108123782
- LCCN: n84148204
- GND: 119103265
- NDL: 00443453
- LIBRIS: gdsvq7z02f16w2r
- SUDOC: 059577576
- SBN: CFIV069117
- NLA: 35198576
- NKC: mub2011666475
- NTA: 074960059
- BIBSYS: 90243370
- CiNii: DA00020063
- PLWABN: 9810640595405606
- NUKAT: n95002488
- J9U: 987007262637405171
- LNB: 000065181
- NSK: 000697965
- CONOR: 79318883
- LIH: LNB:ZNA;=BF
Identyfikatory zewnętrzne: