Charles Antony Richard Hoare Tony Hoare (ur. 11 stycznia 1934 w Kolombo, zm. 5 marca 2026) – brytyjski informatyk, twórca algorytmu sortowania quicksort - transkrypcja wykładu wygłoszonego na okoliczność przyznania Nagrody Turinga.
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. Brał udział w pracach nad językiem ALGOL, w których współpracował m. in. z Niklausem Wirthempóźniejszym twórcą języków Pascal oraz Modula-2.
W 1980 roku, w dowód uznania za wkład w rozwój języków programowania, otrzymał nagrodę Turinga. Laureat Nagrody Kioto w dziedzinie zaawansowanych technologii w 2000 roku.
Uwagi
Przypisy
Kategoria:Brytyjscy informatycy Kategoria:Laureaci Nagrody Turinga Kategoria:Twórcy języków programowania Kategoria:Ludzie urodzeni w Kolombo Kategoria:Laureaci Medalu Johna von Neumanna Kategoria:Pracownicy Microsoftu Kategoria:Urodzeni w 1934 Kategoria:Zmarli w 2026