C.A.R. Hoare

Z Wikipedii, wolnej encyklopedii
Przejdź do nawigacji Przejdź do wyszukiwania
Tony Hoare
Charles Antony Richard Hoare
ilustracja
Data i miejsce urodzenia 11 stycznia 1934
Kolombo, Sri Lanka
Zawód informatyk
Miejsce zamieszkania Cambridge
Alma Mater Merton College, Moskiewski Uniwersytet Państwowy
Strona internetowa

Charles Antony Richard Hoare (Tony Hoare, ur. 11 stycznia 1934 w Kolombo, Sri Lanka) – brytyjski informatyk, znany jako twórca algorytmu sortowania quicksort.

Rozwinął 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ę także 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.

Zobacz też[edytuj | edytuj kod]