C.A.R. Hoare
brytyjski informatyk
Charles Antony Richard Hoare (Tony Hoare, ur. 11 stycznia 1934 w Kolombo, Sri Lanka) – brytyjski informatyk, znany jako 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[1].
Przypisy
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
- WorldCat: lccn-n84148204
Identyfikatory zewnętrzne:
🔥 Top keywords: Wikipedia:Strona głównaSpecjalna:SzukajLiga Mistrzów UEFAFacebookKotyninaYouTubeSzczepan TwardochIzabela BodnarJadwiga StaniszkisWho put Bella in the Wych Elm?Jacek ProtasiewiczPolskaDubajCarlo AncelottiReal MadrytLiga Mistrzów UEFA (2023/2024)Ninja Warrior PolskaIranKatarzyna KotulaFallout (seria)IzraelStanisław DerehajłoAndrij Łunin17 kwietniaKlaudiusz ŠevkovićRobert MazurekBrama (ryba)Zmarli w kwietniu 2024Czarny RomanII wojna światowaPep GuardiolaAdolf HitlerFentanylŁukasz GibałaCzernihówRobert LewandowskiPokolenie ZWarszawaXHamster