Charles Antony Richard Hoare, brytyjski pionier informatyki (od 1977 r. profesor w Uniwersytecie Oksfordzkim), jeden z twórców Ä inzynierii oprogramowania, teorii dowodzenia poprawnosci programów, autor teorii komunikacji miedzy procesami sekwencyjnymi, wdrozonej w jezyku Ä occam i w transputerach. Prace teoretyczne nad ujednoliceniem teorii programowania. Autor znanego algorytmu Ä sortowania szybkiego (quicksort), wspóltwórca paradygmatu programowania strukturalnego. Zob. tez Dijkstra, wielcy w informatyce.
- wielcy w informatyce, udzial znanych matematyków...