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]

David face.png  Tento článok týkajúci sa biografie osobnosti je zatiaľ „výhonok“. Pomôž Wikipédii tým, že ho doplníš a rozšíriš.

Alan Perlis (1966) · Maurice Wilkes (1967) · Richard Hamming (1968) · Marvin Minsky (1969) · James Hardy Wilkinson (1970) · John McCarthy (1971) · Edsger Wybe Dijkstra (1972) · Charles Bachman (1973) · Donald Ervin Knuth (1974) · Allen Newell/Herbert Simon (1975) · Michael Oser Rabin/Dana Scott (1976) · John Backus (1977) · Robert Floyd (1978) · Kenneth Iverson (1979) · C. A. R. Hoare (1980) · Edgar Frank Codd (1981) · Stephen Cook (1982) · Ken Thompson/Dennis Ritchie (1983) · Niklaus Wirth (1984) · Richard Karp (1985) · John Hopcroft/Robert Tarjan (1986) · John Cocke (1987) · Ivan Sutherland (1988) · William Kahan (1989) · Fernando Corbató (1990) · Robin Milner (1991) · Butler Lampson (1992) · Juris Hartmanis/Richard Stearns (1993) · Edward Feigenbaum/Raj Reddy (1994) · Manuel Blum (1995) · Amir Pnueli (1996) · Douglas Engelbart (1997) · James Gray (1998) · Frederick Brooks (1999) · Andrew Jao (2000) · Ole-Johan Dahl/Kristen Nygaard (2001) · Ronald Rivest/Adi Šamir/Leonard Adleman (2002) · Alan Kay (2003) · Vinton Cerf/Robert Kahn (2004) · Peter Naur (2005) · Frances Allenová (2006) · Edmund Clarke/Ernest Allen Emerson/Joseph Sifakis (2007) · Barbara Liskovová (2008) · Charles Thacker (2009) · Leslie Valiant (2010) · Judea Pearl (2011) · Silvio Micali/Shafi Goldwasser (2012) · Leslie Lamport (2013)
Zdroj: „http://sk.wikipedia.org/w/index.php?title=Charles_Antony_Richard_Hoare&oldid=5623642“