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.
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 |
Iné projekty
- Commons ponúka multimediálne súbory na tému Charles Antony Richard Hoare
🔥 Top keywords: Hlavná stránkaŠpeciálne:HľadanieFacebookYouTubeŠpeciálne:PoslednéÚpravySlovenskoLiga majstrov UEFABratislavaCloud seedingJán MazákAdriana SklenaříkovaVoľby do Európskeho parlamentu na Slovensku v roku 2024Likvidita (platobná schopnosť)Real Madrid CFMilan Rastislav ŠtefánikDeň narcisovDubaj (mesto)17. aprílSlovenská abecedaČlenovia Európskej únieIzraelZoznam miest na SlovenskuDeň ZemeFedor FlašíkFrýdek-MístekZuzana DolinkováČierny kašeľIveta BartošováDruhá svetová vojnaKoníkovitéDunaj, k vašim službámKošiceIgnác GessayZoznam okresov na SlovenskuMajstrovstvá sveta v ľadovom hokeji 2024Medveď hnedýAlojz HlinaRys ostrovidTomáš Taraba