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 (87 rokov) Kolombo, Srí Lanka | ||
|---|---|---|---|
| Odkazy | |||
| Commons |  Charles Antony Richard Hoare | ||
| |||
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.