Charles Antony Richard Hoare

De la Wikipedia, enciclopedia liberă
Jump to navigation Jump to search
Charles Antony Richard Hoare
CAR Hoare.jpg
Charles Antony Richard Hoare
Date personale
Născut (84 de ani)
Colombo, Sri Lanka
Naționalitateenglez
CetățenieFlag of the United Kingdom.svg Regatul Unit Modificați la Wikidata
Ocupațieinformatician
inginer
programator
scriitor
profesor universitar Modificați la Wikidata
Activitate
RezidențăRegatul Unit Regatul Unit
Domeniuinformatician
InstituțieElliott Brothers
Universitatea Regală din Belfast
Universitatea Oxford
Universitatea de Stat Moscova
Microsoft Research
Alma MaterUniversitatea din Moscova
Merton College[*]
Universitatea Oxford  Modificați la Wikidata
OrganizațiiMicrosoft  Modificați la Wikidata
Cunoscut pentruQuicksort
PremiiPremiul Turing, 1980
Modifică date / text Consultați documentația formatului

Charles Antony Richard Hoare (n. 11 ianuarie 1934, Colombo, Sri Lanka) este un informatician britanic, celebru pentru inventarea, în 1960, a algoritmului de sortare quicksort, unul dintre cei mai eficienți și mai utilizați algoritmi de sortare. De asemenea, a dezvoltat logica Hoare pentru verificarea corectitudinii programelor, și limbajul formal CSP, folosit pentru descrierea interacțiunilor proceselor concurente (de exemplu, problema filosofilor). A primit, în 1980, Premiul Turing din partea ACM.



v • d • m
Laureați ai Premiului A. M. Turing

Perlis (1966)  · Wilkes (1967)  · Hamming (1968)  · Minsky (1969)  · Wilkinson (1970)  · McCarthy (1971)  · Dijkstra (1972)  · Bachman (1973)  · Knuth (1974)  · Newell / Simon (1975)  · Rabin / Scott (1976)  · Backus (1977)  · Floyd (1978)  · Iverson (1979)  · Hoare (1980)  · Codd (1981)  · Cook (1982)  · Thompson / Ritchie (1983)  · Wirth (1984)  · Karp (1985)  · Hopcroft / Tarjan (1986)  · Cocke (1987)  · Sutherland (1988)  · Kahan (1989)  · Corbató (1990)  · Milner (1991)  · Lampson (1992)  · Hartmanis / Stearns (1993)  · Feigenbaum / Reddy (1994)  · Blum (1995)  · Pnueli (1996)  · Engelbart (1997)  · Gray (1998)  · Brooks (1999)  · Yao (2000)  · Dahl / Nygaard (2001)  · Rivest / Shamir / Adleman (2002)  · Kay (2003)  · Cerf / Kahn (2004)  · Naur (2005)  · Allen (2006)  · Clarke / Emerson / Sifakis (2007)  · Liskov (2008)  · Thacker (2009)  · Valiant (2010)  · Pearl (2011)  · Micali / Goldwasser (2012)  · Lamport (2013)  · Stonebraker (2014)  · Diffie / Hellman (2015)  · Tim Berners-Lee (2016)

Flag of England.svg Acest articol biografic despre un englez este un ciot. Puteți ajuta Wikipedia prin completarea lui!
Adus de la https://ro.wikipedia.org/w/index.php?title=Charles_Antony_Richard_Hoare&oldid=10093577