Charles Antony Richard Hoare

Charles Antony Richard Hoare (* 11. január 1934, Kolombo, Srí Lanka) je britský informatik. Je známy predovšetkým ako tvorca triediaceho algoritmu Quicksort. Vyvinul tiež tzv. Hoareovu logiku, ktorá sa používa pri verifikácii správnosti programov a formálny jazyk Communicating sequential processes (CSP), ktorý sa využíva na popis interakcií konkurentných procesov (ako napríklad problém obedujúcich filozofov). V roku 1980 dostal Turingovu cenu za prínos v oblasti špecifikácie a návrhu programovacích jazykov.

 Iné projekty 

Kategória:Narodenia v 1934
Kategória:Držitelia Turingovej ceny
Kategória:Anglickí informatici
Kategória:Priekopníci informatiky
Kategória:Členovia Kráľovskej spoločnosti