Charles Antony Richard Hoare
Den information, vi har kunnet samle om Charles Antony Richard Hoare, er blevet omhyggeligt gennemgået og struktureret for at gøre den så nyttig som muligt. Du er sandsynligvis kommet her for at finde ud af mere om Charles Antony Richard Hoare. På internettet er det let at fare vild i et virvar af sider, der taler om Charles Antony Richard Hoare, men som ikke giver dig det, du gerne vil vide om Charles Antony Richard Hoare. Vi håber, at du vil fortælle os i kommentarerne, om du kan lide det, du har læst om Charles Antony Richard Hoare nedenfor. Hvis de oplysninger om Charles Antony Richard Hoare, som vi giver dig, ikke er hvad du søgte, så lad os det vide, så vi kan forbedre denne hjemmeside dagligt.
.
| Fødsel |
Colombo (Ceylon, nu Sri Lanka ) |
|---|---|
| Hjem | Cambridge |
| Nationalitet | Britisk |
| Områder | computer videnskab |
| Institutioner |
Elliott Brothers Queen's University of Belfast University of Oxford Moscow State University Microsoft Research |
| Eksamensbevis | Oxford University - Moscow State University |
| Ph.d.-studerende | Andrew P. Black, Stephen Brookes, Cliff Jones, David Naumann, Bill Roscoe, William Stewart |
| Berømt for |
Hoare CSP Logisk Quicksort |
| Priser |
Turing Award (1980) Harry H. Goode Memorial Award fra IEEE Computer Society (1981) |
Charles Antony Richard Hoare (normalt benævnt Tony Hoare eller CAR Hoare ), født deni Colombo , Ceylon (nu Sri Lanka ), er en britisk emeritusprofessor ved Oxford University Computing Laboratory .
Han vides at have opfundet den hurtige sorteringsalgoritme, der stadig er meget udbredt i dag quicksort i 1959/1960 . Hoare er den første, der har skrevet en komplet kompilator til Algol 60- sproget , herunder kaldende rekursive procedurer; det er oprindelsen til Hoares logik, der bruges til verifikation af programmernes rigtighed og det formelle sprog Kommunikation af sekventielle processer (CSP), der gør det muligt at specificere interaktionen mellem samtidige processer (inklusive det berømte problem med middag af filosoffer ) og som inspirerede programmeringssprogene Occam eller Ada samt konceptet monitor .
Biografi
Hoare blev født i Colombo , Ceylon (nu Sri Lanka ), søn af et britisk par. I 1956 afsluttede han studier klassikere (klassikere) ved Merton College of Oxford University med en grad bachelor . Han fortsatte i et år med statistiske studier på kandidatniveau i Oxford og afsluttede derefter sin militærtjeneste i Royal Navy . Derefter studerede han russisk og maskinoversættelse af naturlige sprog ved Lomonosov University , Moscow State University, i Andrei Kolmogorovs skole . I 1960 forlod han Sovjetunionen og begyndte sit første job hos en lille engelsk computerproducent, Elliott Brothers ; hans første arbejde er implementeringen af Algol 60- sproget på producenterne. Han begyndte også sine første studier af algoritmer og offentliggjorde især sorteringsalgoritmen kaldet quicksort . I 1968 blev han akkrediteret til Queen's University, Belfast . I 1977 vendte han tilbage til Oxford som professor i datalogi, og efter Christopher Stracheys død tog han ledelsen af Programming Research Group ved Oxford University Computing Laboratory , det tidligere navn på universitetets computervidenskabsafdeling.
Hoare er professor emeritus ved Oxford University og hovedforsker ved Microsoft Research i Cambridge , England.
Dens væsentligste bidrag er den berømte quicksort- sorteringsalgoritme og quickselect- algoritmen , Hoares logik , det formelle CSP-sprog ( Communicating Sequential Processes ), der bruges til at specificere interaktionen mellem konkurrerende processer , strukturering af systemer. Drift af computere gennem introduktion af konceptet af monitor og den formelle specifikation af programmeringssprog .
Præmier og anerkendelse
- 1980 Turing-prisen for “hans grundlæggende bidrag til definition og design af programmeringssprog ”. Prisen blev uddelt til ham på den årlige ACM-konference i Nashville, Tennessee , denaf Walter Carlson, formand for prisudvalget. En transkription af Hoares tale er dukket op under titlen Kejserens gamle tøj .
- 1981: Harry H. Goode Memorial Award fra IEEE Computer Society
- 1982: Fellow af Royal Society .
- 2000 til rang af Knight Bachelor for tjenester til uddannelse i IT
- 2000: Kyoto-prisen for informationsvidenskab
- 2005: Stipendiat fra Royal Academy of Engineering
- 2006: Medarbejder fra Museum of the History of the Computer (CHM) i Mountain View "til udvikling af Quicksort-algoritmen og for alle hans bidrag til teorien om programmeringssprog "
- 2007: Friedrich L. Bauer-pris
- 2011: Præmie for programmering af sprog fra ACM 's SIGPLAN (2011)
- 2012: John von Neumann-medalje fra IEEE
Doktorgrad Honoris Causa
- 1987: Æresdoktor i videnskab fra Queen's University Belfast
- 1993: Æresdoktor i videnskab fra University of Bath
- 2007: honoris causa doktorgrad i naturvidenskab fra datalogisk afdeling ved Athens University of Economics (AUEB)
- 2012: æresdoktor fra universitetet i Warszawa
- 2013: æresdoktor fra Complutense Universitet i Madrid
Skrifter
Artikler (udvælgelse)
- CAR Hoare, "Assertions, A Personal Perspective" , i Manfred Broy, Ernst Denert (red.), Softwarepionerer - Bidrag til Software Engineering , Springer,( ISBN 3-540-43081-4 , online præsentation )
- CAR Hoare, “ Monitors: an operativsystem structuring concept ”, Communications of the ACM , vol. 17, nr . 10,, s. 549-557 ( DOI 10.1145 / 355620.361161 )
- CAR Hoare, “ An Axiomatic Basis for Computer Programming ”, Communications of the ACM , vol. 14, nr . 1,, s. 39–45 ( DOI 10.1145 / 363235.363259 )
- CAR Hoare, “ Proof of a Program: FIND ”, Communications of the ACM , vol. 12, nr . 10,, s. 576–580, 583 ( DOI 10.1145 / 362452.36248 )
- CAR Hoare, “ Bevis for korrekthed af datarepræsentationer ”, Acta Informatica , bind. 1, nr . 4,, s. 271–28 ( DOI 10.1007 / BF00289507 )(Genoptrykt i bogen Software Pioneers )
- CAR Hoare, “ Retrospective: An Axiomatic Basis for Computer Programming ”, Communications of the ACM , vol. 52, nr . 10,, s. 30-32 ( DOI 10.1145 / 1562764.1562779 )
Bøger
Ole-Johan Dahl , Edsger Dijkstra og CAR Hoare, Structured Programming , Academic Press ,( ISBN 0-12-200550-3 , OCLC 23937947 ).
- CAR Hoare, kommunikerer sekventielle processer , Prentice Hall International Series in Computer Science,( læs online )
hardback ( ISBN 0-13-153271-5 ) eller paperback ( ISBN 0-13-153289-8 ) .
- CAR Hoare og Michael JC Gordon, Mechanized Reasoning and Hardware Design , Prentice Hall International Series in Computer Science,( ISBN 0-13-572405-8 , OCLC 25712842 ).
- CAR Hoare og He Jifeng, samlende programmeringsteorier , Prentice Hall International Series in Computer Science,( ISBN 0-13-458761-8 , OCLC 38199961 ).
Biografiske interviews
- (en) Jonathan Bowen , " Oral History of Sir Antony Hoare " , Museum of Computer History , CHM Reference nummer: X3698.2007,(tilgængelige på en st september 2013 )
- (in) Len Shustek, " An Interview with CAR Hoare " , Communications of the ACM , vol. 52, nr . 3,, s. 38–41 ( DOI 10.1145 / 1467247.1467261 )
- (en) Philip Frana, " Et interview med Charles Antony Richard Hoare " , Charles Babbage Institute , University of Minnesota, Minneapolis,(tilgængelige på en st september 2013 )
Tanker om programmering
Hoare tilbød mange tanker om programmering og dens udvikling, hvoraf her er et eksempel:
- På en konference i 2009 undskylder Hoare "[s] for at have opfundet NULL- markøren " med disse ord: "Jeg kalder det min milliarddollarfejl. I 1965 designede jeg det første komplette typesystem til et objektorienteret sprog og kunne ikke modstå at tilføje nulreferencen, simpelthen fordi det var så let at implementere. Dette har ført til utallige fejl, ... som sandsynligvis har forårsaget skade på en milliard dollars i de sidste fyrre år. "
- En refleksion i 1995 om udviklingen af mentaliteter over for programmering: ”For ti år siden forudsagde forskere i formelle metoder , at programmører ville acceptere formelle metoder, der ville løse pålidelighedsproblemer. Nu er programmerne vokset meget lange og alt for store til, at de let kan håndteres med formelle metoder. Det viste sig, at verden ikke lider for meget af de problemer, som vores forskning havde til hensigt at løse. "
- Rådgivningen om programmering: "Små forbedringer bør afvises omkring 97% af tiden, fordi for tidlig optimering er roden til alt ondt" , skyldes faktisk Donald Knuth . Knuth tilskrev det Hoare; sidstnævnte nægter faderskab.
Bemærkninger
- C. AR Hoare, ” Kejserens gamle tøj, ” Kommunikation fra ACM , bind. 24, n o 2, s. 5–83 ( DOI 10.1145 / 358549.358561 , læs online [PDF] )`.
- Citat fra webstedet Turing Prize.
- " Royal Society Fellows " , Royal Society (adgang 20. november 2010 )
- " Programming Languages Achievement Award 2011 " , ACM
- " IEEE John von Neumann Medal Modtagere " , IEEE
- " Honorary Graduates 1989 to present " , bath.ac.uk , University of Bath (adgang 18. februar 2012 )
- (pl) Krzysztof Diks, " Profesor Hoare doktorem honoris causa Uniwersytetu Warszawskiego " , University of Warsaw ,
- (Es) " Los informáticos Tony Hoare y Mateo Valero serán investidos hoy doctores honoris causa por la Complutense " ,(adgang til 10. maj 2013 )
- (in) Tony Hoare , " Null References: The billion Dollar Mistake " , QCon London,
- (in) Tony Hoare , " Null References: The billion Dollar Mistake " , InfoQ.com ,
- (in) CAR Hoare , "Unification of Theories: A Challenge for Computing Science" i Haveraaen Magne Olaf Owe, Ole-Johan Dahl (redaktører), Seneste tendenser inden for datatypespecifikation: Udvalgte papirer , Springer al. "Forelæsningsnotater inden for datalogi" ( nr . 1130),( ISBN 3-540-61629-2 ) , s. 49-57
- (i) Donald Knuth, " Struktureret Programmering med Goto Statements " , ACM Computing Surveys , Vol. 6, nr . 4,, s. 261-301 ( læs online ).
- (i) Donald Knuth, " The Fejl af Tex " , Software-Practice & Experience , vol. 19, nr . 7,, s. 607–685(genoptrykt i Literate Programming , side 276).
- (in) " For tidlig optimering er roden til alt ondt: Hoare, en e-mail fra 2004 " på hans.gerwitz.com ,(adgang til 10. november 2013 ) .
eksterne links
- Hoares personlige side på Microsoft Research-webstedet
- Forskningsressourcer :
- (en) Digital bibliografi og biblioteksprojekt
- (en) Matematik-slægtsforskningsprojekt
- (da-DK) Royal Society
- (da + ja + zh-Hans + zh-Hant + ru) Scopus
- Myndighedsposter :
- Virtuel international myndighedsfil
- International standardnavnidentifikator
- CiNii
- Universitetsdokumentationssystem
- Library of Congress
- Gemeinsame Normdatei
- National Diet Library
- Royal Netherlands Library
- Polens Nationalbibliotek
- Polens universitetsbibliotek
- Sveriges Nationalbibliotek
- Norsk biblioteksbase
- Det Tjekkiske Nationalbibliotek
- Letlands nationalbibliotek
- WorldCat-id
- WorldCat
Vi håber, at de oplysninger, vi har indsamlet om Charles Antony Richard Hoare, har været nyttige for dig. Hvis det er tilfældet, så glem ikke at anbefale os til dine venner og familie, og husk, at du altid kan kontakte os, hvis du har brug for os. Hvis du på trods af vores bestræbelser mener, at det, vi har leveret om _title, ikke er helt korrekt, eller at vi bør tilføje eller rette noget, vil vi være taknemmelige, hvis du vil give os besked. At give den bedste og mest omfattende information om Charles Antony Richard Hoare og ethvert andet emne er essensen af denne hjemmeside; vi er drevet af den samme ånd, som inspirerede skaberne af Encyclopedia Project, og derfor håber vi, at det, du har fundet om Charles Antony Richard Hoare på denne hjemmeside, har hjulpet dig med at udvide din viden.