Hoare, Charles Anthony Richard

Charles Anthony Richard Hoare
Charles Anthony Richard Hoare
Na konferenci v EPFL dne 20. června 2011
Datum narození	11. ledna 1934( 1934-01-11 ) (88 let)
Místo narození	Colombo , Cejlon, Britské impérium , nyní Srí Lanka
Země	Velká Británie
Vědecká sféra	Informatika
Místo výkonu práce	Microsoft Oxfordská univerzita Queen's University Belfast
Alma mater	Moskevská státní univerzita Merton College Oxfordská univerzita dračí škola
Známý jako	tvůrce algoritmu " quicksort " .
Ocenění a ceny	člen Královské společnosti v Londýně Turingova cena ( 1980 ) Medaile Johna von Neumanna ( 2011 ) Faradayova medaile ( 1985 ) Cena Friedricha L. Bauera ( 2007 ) Fellow Awards Kyoto Advanced Technology Prize [d] ( 2000 ) Computer Pioneer ( 1990 ) Cena za úspěch v programovacích jazycích [d] ( 2011 ) Harry Hood Memorial Award ( 1981 ) čestný doktorát z Complutense University of Madrid [d] ( 2013 ) člen Královské akademie inženýrských věd Velké Británie [d] člen Britské počítačové společnosti [d]
webová stránka	cs.ox.ac.uk/people/tony.…
Citace na Wikicitátu
Mediální soubory na Wikimedia Commons

Sir Charles Anthony Richard Hoare ( angl.  Charles Antony Richard Hoare nebo Tony Hoare nebo CAR Hoare ; narozen 11. ledna 1934 , Colombo , Ceylon, British Empire , nyní Srí Lanka ) je anglický vědec specializující se na počítačovou vědu a výpočetní techniku . Je nejlépe známý jako vývojář algoritmu " quicksort " ( 1960 ) , který je dnes zdaleka nejpopulárnějším třídícím algoritmem .

Dalšími pozoruhodnými výsledky jeho práce jsou jazyk specifikace Z a model paralelní komunikace pro sekvenční procesy ( CSP , Communicating Sequential Process). Mezi jeho úspěchy patří vývoj Hoare Logic ,  vědeckého základu pro konstrukci správných programů používaných k definování a vývoji programovacích jazyků. Hoare vytvořil řadu spisů o specifikaci, návrhu, implementaci a údržbě programů, které ukazují důležitost vědeckých výsledků při zvyšování výkonu počítače a zlepšování spolehlivosti softwaru.

Životopis

Narodil se v Colombu na Srí Lance . Získal bakalářský titul z klasických jazyků na Oxfordské univerzitě v roce 1956 . V letech 1956-1958 sloužil v Královském námořnictvu Velké Británie . Po studiu ruštiny studoval Hoare v roce 1959 počítačový překlad na Moskevské státní univerzitě a také teorii pravděpodobnosti na Kolmogorovově škole . V roce 1960 , kvůli politické krizi spojené se zničením průzkumného letounu U-2 , opustil Sovětský svaz a začal pracovat pro malou počítačovou společnost Elliott Brothers , kde implementoval jazyk ALGOL60 . Tam začal vyvíjet algoritmy.

V roce 1968 se stal profesorem informatiky a inženýrství na Queen 's University Belfast .

V roce 1977 se vrátil do Oxfordu jako profesor informatiky, aby vedl Programming Research Group, jejímž úkolem bylo posilovat vazby mezi průmyslovými, akademickými a vládními strukturami působícími v oblasti informačních technologií. Jeho výzkumnými oblastmi v Oxfordu jsou správnost specifikací softwaru, návrh a vývoj kritických a nekritických systémů.

V roce 1999 odešel jako čestný profesor do důchodu a přešel na pozici vedoucího výzkumného pracovníka ve společnosti Microsoft Research v Cambridge, kde působí v roce 2011 .

Ocenění

Mezi ocenění patří:

• 1980 – Turing Award ( ACM Award ) za „jeho vynikající úspěchy v definici a návrhu programovacích jazyků“ [1] .
• 1981 - Harry Hood Memorial Award .
• 1985 - Faradayova medaile .
• 1990 - Průkopník výpočetní techniky .
• 2000 - Rytířský titul za zásluhy ve vzdělávání a informatice, Kyoto Award [2] .
• 2006 – ceny Fellow Museum of Computer History .
• 2011 - Medaile Johna von Neumanna .

V roce 2013 mu byl udělen titul čestného doktora Petrohradské národní výzkumné univerzity informačních technologií, mechaniky a optiky [3] .

Poznámky

1. ↑ C. ANTONY ("TONY") R.  HOARE . — «Za jeho zásadní příspěvky k definici a návrhu programovacích jazyků.». Staženo: 1. září 2021.
2. ↑ Kjótská cena . Získáno 21. února 2012. Archivováno z originálu 4. února 2012.  (neurčitý) Cena Kjóta / Laureáti / Seznam podle roku
3. ↑ Předání diplomu a taláru čestného doktora NRU ITMO Siru Tonymu Hoareovi (14. května 2013). Staženo: 1. září 2021. (Ruština)

Knihy

• O.J. Dahl, E.W. Dijkstra a C.A.R. Hoare, Strukturované programování . Academic Press , 1972. ISBN 0-12-200550-3 . Překlad: Dahl W., Dijkstra E. , Hoor K., Strukturované programování . M.: "Mir", 1975.
• CAR Hoare, Komunikace sekvenčních procesů . Prentice Hall International Series in Computer Science, 1985. ISBN 0-13-153271-5 vázaná nebo ISBN 0-13-153289-8 brožovaná. Překlad: Hoare C., Interakce sekvenčních procesů . M: Mir, 1989.
• CAR Hoare a MJC Gordon, mechanizované uvažování a návrh hardwaru . Prentice Hall International Series in Computer Science, 1992. ISBN 0-13-572405-8 .
• CAR Hoare a He Jifeng, Sjednocující teorie programování . Prentice Hall International Series in Computer Science, 1998. ISBN 0-13-458761-8 .

Odkazy

• http://research.microsoft.com/en-us/people/thoare/ Microsoft Research - krátká biografie
• http://web.comlab.ox.ac.uk/oucl/people/tony.hoare.html University of Oxford-Hoare – emeritní profesor informatiky
• https://web.archive.org/web/20030315091028/http://www.braithwaite-lee.com/opinions/p75-hoare.pdf Přepis projevu Turingovy ceny z roku 1980
• http://www.usingcsp.com/ Kniha o CSP

Tematické stránky	Matematická genealogie Scopus zbMATH Otevřeno šlechtický titul
Slovníky a encyklopedie	Velký Rus Britannica (online)
V bibliografických katalozích BIBSYS: 90243370 CiNii : DA00020063 CONOR : 79318883 GND : 119103265 ICCU : CFIV069117 ISNI : 0000 0001 2146 7986 J9U : 987007262637405171 LCCN : n84148204 LNB : 000065181 NDL : 00443453 NKC : mub2011666475 NLP : A24600799 NSK : 000697965 NTA : 074960059 NUKAT : n95002488 KNIHA : gdsvq7z02f16w2r SUDOC : 059577576 VIAF : 108123782 WorldCat VIAF : 108123782