Hoare, Charles Anthony Richard

Charles Anthony Richard Hoare
Charles Anthony Richard Hoare

Ved en konference på EPFL den 20. juni 2011
Fødselsdato 11. januar 1934( 1934-01-11 ) (88 år)
Fødselssted Colombo , Ceylon, Det britiske imperium , nu Sri Lanka
Land
Videnskabelig sfære Informatik
Arbejdsplads
Alma Mater
Kendt som skaberen af ​​" quicksort " -algoritmen .
Priser og præmier medlem af Royal Society of London Turing Award ( 1980 ) John von Neumann-medaljen ( 2011 ) Faraday-medalje ( 1985 ) Friedrich L. Bauer-prisen ( 2007 ) Fellow Awards Kyoto Advanced Technology Prize [d] ( 2000 ) Computer Pioneer ( 1990 ) Programming Languages ​​Achievement Award [d] ( 2011 ) Harry Hood Memorial Award ( 1981 ) æresdoktor fra Complutense University of Madrid [d] ( 2013 ) medlem af Royal Academy of Engineering Sciences of Great Britain [d] medlem af British Computer Society [d]
Internet side cs.ox.ac.uk/people/tony.…
Wikiquote logo Citater på Wikiquote
 Mediefiler på Wikimedia Commons

Sir Charles Anthony Richard Hoare ( eng.  Charles Antony Richard Hoare eller Tony Hoare eller CAR Hoare ; født 11. januar 1934 , Colombo , Ceylon, British Empire , nu Sri Lanka ) er en engelsk videnskabsmand med speciale i datalogi og computerteknologi . Han er bedst kendt som udvikleren af ​​" quicksort " -algoritmen ( 1960 ), som er langt den mest populære sorteringsalgoritme i dag .

Andre bemærkelsesværdige resultater af hans arbejde er Z-specifikationssproget og den parallelle kommunikationsmodel for sekventielle processer ( CSP , Communicating Sequential Process). Blandt hans resultater er udviklingen af ​​Hoare Logic , det  videnskabelige grundlag for at konstruere korrekte programmer, der bruges til at definere og udvikle programmeringssprog. Hoare producerede en række skrifter om specifikation, design, implementering og vedligeholdelse af programmer, der viser vigtigheden af ​​videnskabelige resultater for at øge computerens ydeevne og forbedre softwarens pålidelighed.

Biografi

Født i Colombo i Sri Lanka . Han modtog sin BA i klassiske sprog fra University of Oxford i 1956 . Han tjente i Royal Navy of Great Britain i 1956-1958 . Efter at have studeret russisk studerede Hoare i 1959 computeroversættelse ved Moscow State University samt sandsynlighedsteori på Kolmogorov- skolen . I 1960 , på grund af den politiske krise i forbindelse med ødelæggelsen af ​​U-2 rekognosceringsflyet , forlod han Sovjetunionen og begyndte at arbejde for et lille computerfirma, Elliott Brothers , hvor han implementerede ALGOL60- sproget . Der begyndte han at udvikle algoritmer.

I 1968 blev han professor i datalogi og teknik ved Queen 's University Belfast .

I 1977 vendte han tilbage til Oxford som professor i datalogi for at lede Programming Research Group, hvis opgave var at styrke forbindelserne mellem industrielle, akademiske og offentlige strukturer, der arbejder inden for informationsteknologi. Hans forskningsområder i Oxford er korrektheden af ​​softwarespecifikationer, design og udvikling af kritiske og ikke-kritiske systemer.

I 1999 trak han sig tilbage som æresprofessor og flyttede til stillingen som ledende forsker ved Microsoft Research i Cambridge, hvor han arbejder på tidspunktet for 2011 .

Priser

Priserne inkluderer:

I 2013 blev han tildelt titlen som æresdoktor ved St. Petersburg National Research University of Information Technologies, Mechanics and Optics [3] .

Noter

  1. ↑ C. ANTONY ("TONY") R.  HOARE . — «For hans grundlæggende bidrag til definition og design af programmeringssprog.». Hentet: 1. september 2021.
  2. ↑ Kyoto-prisen . Hentet 21. februar 2012. Arkiveret fra originalen 4. februar 2012. Kyoto-prisen / Prisvindere / Liste efter år
  3. ↑ Præsentation af æresdoktor ved NRU ITMOs diplom og kjole til Sir Tony Hoare (14. maj 2013). Hentet: 1. september 2021.

Bøger

Links

  Gå til Wikidata-elementet  Tematiske steder
Ordbøger og encyklopædier
 Turing prisvindere