Charles Antony Richard Hoare
Skočit na navigaci
Skočit na vyhledávání
Charles Antony Richard Hoare | |
![]() britský informatik | |
Narodenie | 11. január 1934 (87 rokov) Kolombo, Srí Lanka |
---|---|
Odkazy | |
Commons | ![]() |
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[upraviť | upraviť kód]
Commons ponúka multimediálne súbory na tému Charles Antony Richard Hoare