Charles Antony Richard Hoare

Charles Antony Richard Hoare Beskrivelse av dette bildet, også kommentert nedenfor Charles Antony Richard Hoare, under en konferanse på EPFL 20. juni 2011. Nøkkeldata
Fødsel 11. januar 1934
Colombo (Ceylon, nå Sri Lanka )
Hjem Cambridge
Nasjonalitet Britisk
Områder informatikk
Institusjoner Elliott Brothers
Queen's University of Belfast
University of Oxford
Moscow State University
Microsoft Research
Diplom Oxford University - Moscow State University
PhD studenter Andrew P. Black, Stephen Brookes, Cliff Jones, David Naumann, Bill Roscoe, William Stewart
Kjent for
Hoare CSP Logical Quicksort
Utmerkelser Turing Award (1980)
Harry H. Goode Memorial Award fra IEEE Computer Society (1981)

Charles Antony Richard Hoare (vanligvis referert til som Tony Hoare eller CAR Hoare ), født den11. januar 1934i Colombo , Ceylon (nå Sri Lanka ), er en britisk emeritusprofessor ved Oxford University Computing Laboratory .

Han er kjent for å ha oppfunnet i 1959/1960 den raske sorteringsalgoritme fortsatt mye brukt i dag quicksort . Hoare er den første som har skrevet en komplett kompilator for Algol 60- språket , inkludert anrop til rekursive prosedyrer; det er opprinnelsen til logikken til Hoare som brukes til å verifisere korrektheten til programmer og det formelle språket Kommunisere sekvensielle prosesser (CSP) som gjør det mulig å spesifisere samspillet mellom samtidige prosesser (inkludert det berømte problemet med middag av filosofer ) og som inspirerte programmeringsspråkene Occam eller Ada samt begrepet monitor .

Biografi

Hoare ble født i Colombo , Ceylon (nå Sri Lanka ), sønn av et britisk par. I 1956 fullførte han studiene Classics (Classics) ved Merton College of Oxford University med en grad Bachelor . Han fortsatte i et år med statistiske studier på høyere nivå i Oxford, og fullførte deretter militærtjenesten i Royal Navy . Deretter studerte han russisk og automatisk oversettelse av naturlige språk ved Lomonosov University , Moscow State University, på Andrei Kolmogorov- skolen . I 1960 forlot han Sovjetunionen , og begynte sin første jobb hos en liten engelsk dataprodusent, Elliott Brothers  ; hans første arbeid er implementeringen av Algol 60- språket på maskinene til denne produsenten. Han startet også sine første studier av algoritmer, og publiserte spesielt sorteringsalgoritmen kalt quicksort . I 1968 ble han akkreditert til Queen's University, Belfast . I 1977 returnerte han til Oxford som professor i informatikk, og etter Christopher Stracheys død overtok han ledelsen for Programming Research Group ved Oxford University Computing Laboratory , det tidligere navnet på universitetets informatikkavdeling.

Hoare er professor emeritus ved Oxford University, og hovedforsker ved Microsoft Research i Cambridge , England.

Dens viktigste bidrag er den berømte quicksort- sorteringsalgoritmen og quickselect- algoritmen , Hoares logikk , det formelle språket Communicating Sequential Processes (CSP) som brukes til å spesifisere samspillet mellom konkurrerende prosesser , strukturering av systemer. Drift av datamaskiner gjennom innføring av konseptet av skjerm , og den formelle spesifikasjonen av programmeringsspråk .

Priser og anerkjennelse

Doktorgrad Honoris Causa

Skrifter

Artikler (utvalg)

Bøker

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

innbundet ( ISBN  0-13-153271-5 ) eller paperback ( ISBN  0-13-153289-8 ) .

Biografiske intervjuer

Tanker om programmering

Hoare tilbød mange tanker om programmering og dens utvikling, som her er et utvalg:

Merknader

  1. C. AR Hoare, “  Keiserens gamle klær,  ” Communications of the ACM , vol.  24 n o  toFebruar 1981, s.  5–83 ( DOI  10.1145 / 358549.358561 , les online [PDF] )`.
  2. Sitat fra nettstedet Turing Prize.
  3. "  Royal Society Fellows  " , Royal Society (åpnet 20. november 2010 )
  4. "  Programming Languages ​​Achievement Award 2011  " , ACM
  5. "  IEEE John von Neumann Medal Mottakere  " , IEEE
  6. "  Honorious Graduates 1989 to present  " , bath.ac.uk , University of Bath (åpnet 18. februar 2012 )
  7. (pl) Krzysztof Diks, "  Profesor Hoare doktorem honoris causa Uniwersytetu Warszawskiego  " , Universitetet i Warszawa ,15. november 2012
  8. (Es) "  Los informáticos Tony Hoare y Mateo Valero serán investidos hoy doctores honoris causa por la Complutense  " ,10. mai 2013(åpnet 10. mai 2013 )
  9. (i) Tony Hoare , "  Null References: The billion Dollar Mistake  " , QCon London,9. mars 2009
  10. (i) Tony Hoare , "  Null References: The billion Dollar Mistake  " , InfoQ.com ,25. august 2009
  11. (in) CAR Hoare , "Unification of Theories: A Challenge for Computing Science" i Haveraaen Magne Olaf Owe, Ole-Johan Dahl (redaktører), Nylige trender innen datatypespesifikasjon : Selected papers , Springer al.  "Lecture Notes-datateknikk" ( n o  1130),1996( ISBN  3-540-61629-2 ) , s.  49-57
  12. (i) Donald Knuth, "  Structured Programming with Goto Statements  " , ACM Computing Surveys , Vol.  6, n o  4,1974, s.  261-301 ( les online ).
  13. (i) Donald Knuth, "  The Errors of Tex  " , Software-Practice & Experience , vol.  19, n o  7,1989, s.  607–685(omtrykt i Literate Programming , side 276).
  14. (in) "  For tidlig optimalisering er roten til alt ondt: Hoare, en e-post fra 2004  " på hans.gerwitz.com ,12. august 2004(åpnet 10. november 2013 ) .

Eksterne linker