Charles Antony Richard Hoare
| Charles Antony Richard Hoare | |
 britský informatik | |
| Narodenie | 11. január 1934 (90 rokov) Kolombo, Srí Lanka |
|---|---|
| Odkazy | |
| Webstránka | ac.uk |
| Commons |  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
[upraviť | upraviť zdroj]
Commons ponúka multimediálne súbory na tému Charles Antony Richard Hoare
|
Tento článok týkajúci sa biografie osobnosti je zatiaľ „výhonok“. Pomôž Wikipédii tým, že ho doplníš a rozšíriš. |