Hoare, Charles Anthony Richard

Charles Anthony Richard Hoare
Charles Anthony Richard Hoare

Vid en konferens på EPFL den 20 juni 2011
Födelsedatum 11 januari 1934( 1934-01-11 ) (88 år gammal)
Födelseort Colombo , Ceylon, Brittiska imperiet , nu Sri Lanka
Land
Vetenskaplig sfär Informatik
Arbetsplats
Alma mater
Känd som skaparen av " quicksort " -algoritmen .
Utmärkelser och priser medlem av Royal Society of London Turing Award ( 1980 ) John von Neumann-medalj ( 2011 ) Faraday-medalj ( 1985 ) Friedrich L. Bauer-priset ( 2007 ) Fellow Awards Kyoto Advanced Technology Prize [d] ( 2000 ) Computer Pioneer ( 1990 ) Programming Languages ​​Achievement Award [d] ( 2011 ) Harry Hood Memorial Award ( 1981 ) hedersdoktor från Complutense University of Madrid [d] ( 2013 ) medlem av Royal Academy of Engineering Sciences of Great Britain [d] medlem av British Computer Society [d]
Hemsida cs.ox.ac.uk/people/tony.…
Wikiquote logotyp Citat på Wikiquote
 Mediafiler på Wikimedia Commons

Sir Charles Anthony Richard Hoare ( eng.  Charles Antony Richard Hoare eller Tony Hoare eller CAR Hoare ; född 11 januari 1934 , Colombo , Ceylon, brittiska imperiet , nu Sri Lanka ) är en engelsk vetenskapsman som specialiserat sig på datavetenskap och datateknik . Han är mest känd som utvecklaren av " quicksort " -algoritmen ( 1960 ), som är den i särklass mest populära sorteringsalgoritmen idag .

Andra anmärkningsvärda resultat av hans arbete är Z-specifikationsspråket och den parallella kommunikationsmodellen för sekventiella processer ( CSP , Communicating Sequential Process). Bland hans prestationer är utvecklingen av Hoare Logic , den  vetenskapliga grunden för att konstruera korrekta program som används för att definiera och utveckla programmeringsspråk. Hoare producerade en serie skrifter om specifikation, design, implementering och underhåll av program som visar vikten av vetenskapliga resultat för att öka datorns prestanda och förbättra programvarans tillförlitlighet.

Biografi

Född i Colombo på Sri Lanka . Han tog sin kandidatexamen i klassiska språk från University of Oxford 1956 . Han tjänstgjorde i Royal Navy of Great Britain 1956-1958 . Efter att ha studerat ryska studerade Hoare 1959 datoröversättning vid Moscow State University , samt sannolikhetsteori vid Kolmogorov- skolan . 1960 , på grund av den politiska krisen i samband med förstörelsen av U-2 spaningsflygplan , lämnade han Sovjetunionen och började arbeta för ett litet datorföretag, Elliott Brothers , där han implementerade språket ALGOL60 . Där började han utveckla algoritmer.

1968 blev han professor i datavetenskap och teknik vid Queen 's University Belfast .

1977 återvände han till Oxford som professor i datavetenskap för att leda programforskningsgruppen, vars uppgift var att stärka kopplingarna mellan industriella, akademiska och statliga strukturer som arbetar inom informationsteknologiområdet. Hans forskningsområden vid Oxford är korrektheten av mjukvaruspecifikationer, design och utveckling av kritiska och icke-kritiska system.

1999 gick han i pension som hedersprofessor och flyttade till positionen som ledande forskare vid Microsoft Research i Cambridge, där han arbetar vid tiden 2011 .

Utmärkelser

Priserna inkluderar:

2013 tilldelades han titeln hedersdoktor vid St. Petersburg National Research University of Information Technologies, Mechanics and Optics [3] .

Anteckningar

  1. ↑ C. ANTONY ("TONY") R.  HOARE . — «För hans grundläggande bidrag till definitionen och utformningen av programmeringsspråk.». Hämtad: 1 september 2021.
  2. ↑ Kyoto-priset . Hämtad 21 februari 2012. Arkiverad från originalet 4 februari 2012. Kyotopriset / Pristagare / Lista efter år
  3. ↑ Presentation av hedersdoktorn vid NRU ITMOs diplom och klänning till Sir Tony Hoare (14 maj 2013). Hämtad: 1 september 2021.

Böcker

Länkar

  Gå till Wikidata-objektet  Tematiska platser
Ordböcker och uppslagsverk
 Vinnare av Turingpriset