Charles Antony Richard Hoare

Charles Antony Richard Hoare, během konference v EPFL 20. června 2011. Klíčové údaje

Narození	11. ledna 1934 Colombo (Ceylon, nyní Srí Lanka )
Domov	Cambridge
Státní příslušnost	britský
Oblasti	počítačová věda
Instituce	Elliott Brothers Queen's University of Belfast University of Oxford Moscow State University Microsoft Research
Diplom	Oxford University - Moskevská státní univerzita
Studenti PhD	Andrew P. Black, Stephen Brookes, Cliff Jones, David Naumann, Bill Roscoe, William Stewart
Známý pro	Logický Quicksort Hoare CSP
Ocenění	Turing Award (1980) Harry H. Goode Memorial Award od IEEE Computer Society (1981)

Charles Antony Richard Hoare (obvykle označovaný jako Tony Hoare nebo CAR Hoare ), narozen dne11. ledna 1934v Colombo , Ceylon (nyní Sri Lanka ), je britský emeritním profesorem v Oxford University Computing laboratoře .

Je známo, že vynalezl v roce 1959/1960 na rychlé třídění algoritmus ještě široce použitý dnes quicksort . Hoare je první, kdo napsal kompletní kompilátor pro jazyk Algol 60 , včetně volání rekurzivních procedur; je to na počátku logiky Hoare, která se používá k ověření správnosti programů a formálního jazyka Communicating sequential process (CSP), což umožňuje specifikovat interakci souběžných procesů (včetně slavného problému večeře filozofů ) a která inspirovala programovací jazyky Occam nebo Ada i koncept monitoru .

Životopis

Hoare se narodil v Colombu na Cejlonu (nyní Srí Lanka ), syn britského páru. V roce 1956 dokončil studium Classics (Classics) na Merton College of Oxford University s bakalářským titulem . Pokračoval rok statistickým studiem na postgraduální úrovni v Oxfordu, poté absolvoval vojenskou službu v Royal Navy . Poté studoval ruštinu a automatický překlad přirozených jazyků na Lomonosovově univerzitě na Moskevské státní univerzitě ve škole Andreje Kolmogorova . V roce 1960 opustil Sovětský svaz a nastoupil do svého prvního zaměstnání u malého anglického výrobce počítačů Elliott Brothers ; jeho první prací je implementace jazyka Algol 60 na strojích tohoto výrobce. Také zahájil své první studie algoritmů a zejména publikoval třídicí algoritmus zvaný quicksort . V roce 1968 byl akreditován na Queen's University v Belfastu . V roce 1977 se vrátil do Oxfordu jako profesor výpočetní techniky a po smrti Christophera Stracheyho převzal vedení Programming Research Group v Oxford University Computing Laboratory , dřívější název univerzitního oddělení počítačových věd.

Hoare je emeritním profesorem na Oxfordské univerzitě a hlavním vyšetřovatelem ve společnosti Microsoft Research v Cambridge v Anglii.

Jeho nejvíce významné příspěvky jsou proslulé quicksort třídění algoritmus a najdete rychlý algoritmus výběru , Hoare logika , formální komunikujících sekvenčních procesů (CSP) jazyk používaný k určení interakce mezi konkurenčními postupy , strukturování systémů. Provozem počítačů zavedením pojmu z monitoru a formální specifikace programovacích jazyků .

Ocenění a uznání

1980 Turingova cena za „jeho zásadní příspěvek k definici a návrhu programovacích jazyků “. Ocenění bylo předáno k němu každoroční ACM konferenci v Nashville, Tennessee , na27. října 1980autor: Walter Carlson, předseda Výboru pro ocenění. Přepis Hoareovy řeči se objevil pod názvem Císařovy staré šaty .
1981: Harry H. Goode Memorial Award od IEEE Computer Society
1982: pracovník na Royal Society .
2000 do hodnosti Knight Bachelor za služby pro vzdělávání v IT
2000: Kjótská cena za informační vědu
2005: Fellow na Royal Academy of Engineering
2006: Fellow v muzeu dějin počítače (CHM) v Mountain View „pro rozvoj Quicksort algoritmu a pro všechny jeho příspěvky k teorii programovacích jazyků “
2007: Cena Friedricha L. Bauera
2011: Programovací jazyky Achievement award od SIGPLAN z ACM (2011)
2012: John von Neumann medaile z IEEE

Doktoráty Honoris Causa

1987: čestný doktor věd na Queen's University v Belfastu
1993: čestný doktor věd z University of Bath
2007: honoris causa doktorát z vědy z katedry informatiky na Ekonomické univerzitě v Aténách (AUEB)
2012: čestný doktorát z Varšavské univerzity
2013: čestný doktorát na Complutense University of Madrid

Spisy

Články (výběr)

CAR Hoare, „Assertions, A Personal Perspective“ , Manfred Broy, Ernst Denert (eds), Software Pioneers - Contribution to Software Engineering , Springer,2002( ISBN 3-540-43081-4 , online prezentace )
CAR Hoare, „ Monitory: koncept strukturování operačního systému “, Komunikace ACM , sv. 17, n o 10,Říjen 1974, str. 549-557 ( DOI 10.1145 / 355620.361161 )
CAR Hoare, „ Axiomatický základ pro počítačové programování “, komunikace ACM , sv. 14, n o 1,1971, str. 39–45 ( DOI 10.1145 / 363235.363259 )
CAR Hoare, „ Důkaz programu: FIND “, sdělení ACM , sv. 12, n o 10,1969, str. 576–580, 583 ( DOI 10.1145 / 362452.36248 )
CAR Hoare, „ Důkaz správnosti údajů “, Acta Informatica , sv. 1, n O 4,1972, str. 271–28 ( DOI 10.1007 / BF00289507 )(Přetištěno v knize Software Pioneers )
CAR Hoare, „ Retrospektiva: Axiomatický základ pro počítačové programování “, Komunikace ACM , sv. 52, n o 10,2009, str. 30-32 ( DOI 10.1145 / 1562764.1562779 )

Knihy

Ole-Johan Dahl , Edsger Dijkstra a CAR Hoare, strukturované programování , akademický tisk ,1972( ISBN 0-12-200550-3 , OCLC 23937947 ).

CAR Hoare, Komunikace sekvenčních procesů , Prentice Hall International Series in Computer Science,1985( číst online )

pevná ( ISBN 0-13-153271-5 ) nebo brožované ( ISBN 0-13-153289-8 ) .

CAR Hoare a Michael JC Gordon, mechanizované uvažování a návrh hardwaru , Prentice Hall International Series in Computer Science,1992( ISBN 0-13-572405-8 , OCLC 25712842 ).
CAR Hoare a He Jifeng, Sjednocující teorie programování , Prentice Hall International Series in Computer Science,1998( ISBN 0-13-458761-8 , OCLC 38199961 ).

Životopisné rozhovory

(en) Jonathan Bowen , „ Oral History of Sir Antony Hoare “ , Museum of Computer History , CHM Referenční číslo: X3698.2007,8. září 2006(k dispozici na 1. st září 2013 )
(in) Len Shustek, „ An Interview with CAR Hoare “ , Communications of the ACM , vol. 52, n o 3,Březen 2009, str. 38–41 ( DOI 10.1145 / 1467247.1467261 )
(en) Philip Frana, „ Interview with Charles Antony Richard Hoare “ , Charles Babbage Institute , University of Minnesota, Minneapolis,17. července 2002(k dispozici na 1. st září 2013 )

Myšlenky na programování

Hoare nabídl mnoho myšlenek na programování a jeho vývoj, z nichž zde je ukázka:

Na konferenci v roce 2009 se Hoare „omlouvá za vynalezení ukazatele NULL “ těmito slovy: „Říkám tomu moje chyba v miliardách dolarů. V roce 1965 jsem navrhoval první kompletní systém psaní pro objektově orientovaný jazyk a nemohl jsem odolat přidání nulové reference, jen proto, že byla tak snadno implementovatelná. To vedlo k nesčetným chybám,… které za posledních čtyřicet let pravděpodobně způsobily škodu za miliardu dolarů. "
Úvaha v roce 1995 o vývoji mentality vůči programování: „Před deseti lety vědci ve formálních metodách předpovídali, že programátoři přijmou formální metody, které by vyřešily problémy se spolehlivostí. Nyní se programy staly velmi dlouhými a příliš velkými, aby je bylo možné snadno zvládnout formálními metodami. Ukázalo se, že svět příliš netrpí problémy, které měl náš výzkum vyřešit. "
Rada k programování: „Malá vylepšení by měla být odmítnuta asi v 97% případů, protože předčasná optimalizace je kořenem všeho zlého“ , je ve skutečnosti způsobena Donaldem Knuthem . Knuth to připisoval Hoareovi; druhý odmítá otcovství.

Poznámky

C. AR Hoare, „ Staré šaty císaře, “ sdělení ACM , sv. 24, n O 2Únor 1981, str. 5–83 ( DOI 10.1145 / 358549.358561 , číst online [PDF] )`.
Citace z webu Turing Prize.
„ Fellows of the Royal Society “ , Royal Society (přístup ke dni 20. listopadu 2010 )
„ Programming Languages Achievement Award 2011 “ , ACM
„ Příjemci medaile IEEE Johna von Neumanna “ , IEEE
„ Čestní absolventi 1989 do současnosti “ , bath.ac.uk , University of Bath (přístup k 18. února 2012 )
(pl) Krzysztof Diks, „ Profesor Hoare doktorem honoris causa Uniwersytetu Warszawskiego “ , Varšavská univerzita ,15. listopadu 2012
(Es) " Los informáticos Tony Hoare y Mateo Valero serán investidos hoy doctores honoris causa por la Complutense " ,10. května 2013(zpřístupněno 10. května 2013 )
(in) Tony Hoare , „ Nulové odkazy: Miliardová chyba v dolarech “ , QCon London,9. března 2009
(in) Tony Hoare , „ Nulové odkazy: Miliardová chyba v dolarech “ , InfoQ.com ,25. srpna 2009
(in) CAR Hoare , „Unification of Theories: A Challenge for Computing Science“ v Haveraaen Magne Olaf Owe, Ole-Johan Dahl (redaktoři), Nedávné trendy ve specifikaci datových typů: Vybrané příspěvky , Springer al. „Přednášky v informatice“ ( n ° 1130),1996( ISBN 3-540-61629-2 ) , str. 49-57
(in) Donald Knuth, „ Strukturované programování s příkazy Goto “ , ACM Computing Surveys , sv. 6, n O 4,1974, str. 261-301 ( číst online ).
(in) Donald Knuth, „ The Errors of Tex “ , Software-Practice & Experience , roč. 19, n o 7,1989, str. 607–685(dotisk v Literate Programming , strana 276).
(in) „ Předčasná optimalizace je kořenem všeho zla: Hoare, e-mail z roku 2004 “ na hans.gerwitz.com ,12. srpna 2004(zpřístupněno 10. listopadu 2013 ) .

externí odkazy

Hoareova osobní stránka na webu Microsoft Research
Zdroje výzkumu :
- (en) Digitální bibliografie a projekt knihovny
- (en) Genealogický projekt z matematiky
- (en-GB) Royal Society
- (en + ja + zh-Hans + zh-Hant + ru) Scopus
Autoritní záznamy :