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.

.

Charles Antony Richard Hoare
Beskrivelse af dette billede, kommenteres også nedenfor
Charles Antony Richard Hoare under en konference på EPFL den 20. juni 2011.
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

Doktorgrad Honoris Causa

Skrifter

Artikler (udvælgelse)

Bøger

Ole-Johan Dahl , Edsger Dijkstra og CAR Hoare, Structured Programming , Academic Press ,( ISBN  0-12-200550-3 , OCLC  23937947 ).

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

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

  1. 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] )`.
  2. Citat fra webstedet Turing Prize.
  3. Royal Society Fellows  " , Royal Society (adgang 20. november 2010 )
  4. Programming Languages ​​Achievement Award 2011  " , ACM
  5. IEEE John von Neumann Medal Modtagere  " , IEEE
  6. Honorary Graduates 1989 to present  " , bath.ac.uk , University of Bath (adgang 18. februar 2012 )
  7. (pl) Krzysztof Diks, Profesor Hoare doktorem honoris causa Uniwersytetu Warszawskiego  " , University of Warsaw ,
  8. (Es) Los informáticos Tony Hoare y Mateo Valero serán investidos hoy doctores honoris causa por la Complutense  " ,(adgang til 10. maj 2013 )
  9. (in) Tony Hoare , Null References: The billion Dollar Mistake  " , QCon London,
  10. (in) Tony Hoare , Null References: The billion Dollar Mistake  " , InfoQ.com ,
  11. (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
  12. (i) Donald Knuth, Struktureret Programmering med Goto Statements  " , ACM Computing Surveys , Vol.  6, nr .  4,, s.  261-301 ( læs online ).
  13. (i) Donald Knuth, The Fejl af Tex  " , Software-Practice & Experience , vol.  19, nr .  7,, s.  607–685(genoptrykt i Literate Programming , side 276).
  14. (in) For tidlig optimering er roden til alt ondt: Hoare, en e-mail fra 2004  "hans.gerwitz.com ,(adgang til 10. november 2013 ) .

eksterne links

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.

Opiniones de nuestros usuarios

Kamilla Juul

Endelig en artikel om Charles Antony Richard Hoare, der er let at læse.

Johan Bruhn

Oplysningerne om Charles Antony Richard Hoare er meget interessante og pålidelige, ligesom resten af de artikler, jeg har læst indtil videre, som allerede er mange, for jeg har ventet i næsten en time på min Tinder-date, og han er ikke dukket op, så jeg tror, han har brændt mig af. Jeg benytter lejligheden til at efterlade et par stjerner til firmaet og til at skide på mit skide liv

Nina Johannesen

Nogle gange, når man søger oplysninger på internettet om noget, finder man artikler, der er for lange og insisterer på at tale om ting, der ikke interesserer en. Jeg kunne godt lide denne artikel om Charles Antony Richard Hoare, fordi den går lige til sagen og fortæller præcis det, jeg gerne vil have den til at gøre, uden at fortabe mig i ubrugelig information., Det er en god artikel om Charles Antony Richard Hoare