Charles Antony Richard Hoare

z Wikipédie, slobodnej encyklopédie
Prejsť na: navigácia, hľadanie
Charles Antony Richard Hoare
Charles Antony Richard Hoare
britský informatik

Narodenie 11. január 1934 (80 rokov)
Kolombo, Srí Lanka

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]