Poprzednia

ⓘ C.A.R. Hoare




C.A.R. Hoare
                                     

ⓘ C.A.R. Hoare

Charles Antony Richard Hoare – brytyjski informatyk, znany jako twórca algorytmu sortowania quicksort.

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ę 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.