Hoare Charles Anthony Richard

Hoare

[ho:^r]

Charles Anthony Richard, ur. 11 I 1934, Kolombo,

informatyk brytyjski;

1968–77 profesor uniwersytetu w Belfaście i od 1977 w Oksfordzie; od 1977 czł. Akad. Eur., od 1982 czł. Król. Tow. w Londynie; zajmuje się opisem własności algorytmów, szczególnie współbieżnych; zdefiniował formalizm mat. CSP (ang. Communicating Sequential Processes), pozwalający opisywać wymianę danych między procesami wykonującymi algorytm współbieżny — stał się on pierwowzorem języka programowania Occam i wyspecjalizowanych procesorów do przetwarzania sygnałów, tzw. transputerów; laureat Nagrody Turinga (1980); Structured Programming (1972, wspólnie z E.W. Dijkstra i O.J. Dahlem), Communicating Sequential Processes (1986).