Tony Hoare
Sir Charles Antony Richard Hoare (født 11. januar 1934 i Colombo , Sri Lanka ), bedre kendt som Tony Hoare eller CAR Hoare , er en britisk computerforsker .
Hoare opnåede et højt ry for at udvikle quicksort- algoritmen og Hoare-beregningen , som kan bruges til at bevise rigtigheden af algoritmer . Hoare udviklede også procesalgebraen Communicating Sequential Processes (CSP), som for eksempel påvirkede udviklingen af programmeringssprogene Ada , Occam og Go .
biografi
Hoare blev født i Colombo, Sri Lanka af britiske forældre. I 1956 afsluttede han sine humanistiske studier (klassikere) ved Oxford University med en bachelorgrad.
Dette blev efterfulgt af et år med kandidatstudier i statistik i Oxford, inden de fortsatte med at studere computerstøttet oversættelse af menneskeligt sprog ved Moscow State University . I 1960 begyndte han at arbejde for den lille computerproducent Elliot Brothers med implementeringen af Algol 60 og de første algoritmestudier. I 1968 modtog han sin habilitering ved Queen's University Belfast og vendte tilbage i 1977 som professor i datalogi ved University of Oxford.
Som ekspert i programmeringssprog og deres pålidelighed modsatte Hoare sig offentligt brugen af Ada i sikkerhedsrelevante områder såsom kontrol med nukleare missiler i 1981 , fordi han anså Ada for at være fundamentalt upålidelig. Hvis et programmeringssprog producerer upålidelige programmer i en sådan sammenhæng, kan det være farligere for et samfund end usikre biler, giftige pesticider eller utilsigtede lækager i atomkraftværker.
Sir Antony Hoare er nu professor emeritus ved Oxford University og seniorforsker ved Microsoft Research i Cambridge , England.
Priser
- I 1980 modtog han Turing-prisen for sine grundlæggende resultater med at definere og udvikle programmeringssprog.
- 1985 Faraday-medalje (IEE)
- 1989 Fuldt medlem af Academia Europaea
- 1997 Tilsvarende medlem af det bayerske videnskabsakademi
- I 2000 blev han riddere som ridderbachelor ("Sir").
- I 2000 blev han tildelt Kyoto-prisen .
- 2007 Friedrich L. Bauer-pris
- 2011 John von Neumann-medalje
- 2017 Eksternt medlem af National Academy of Sciences
Citater
”Jeg konkluderer, at der er to måder at konstruere et softwaredesign på: Den ene måde er at gøre det så simpelt, at der tydeligvis ikke er mangler, og den anden måde er at gøre det så kompliceret, at der ikke er nogen åbenlyse mangler. Den første metode er langt vanskeligere. "
”Jeg finder ud af, at der er to måder at oprette et softwaredesign på, enten så simpelt, at det naturligvis ikke har nogen svagheder eller så kompliceret, at det ikke har nogen åbenlyse svagheder. Den første metode er langt vanskeligere. "
"Jeg tror, Quicksort er den eneste virkelig interessante algoritme, jeg nogensinde har udviklet."
"Jeg synes, Quicksort er den eneste virkelig interessante algoritme, jeg nogensinde har udviklet."
Skrifttyper
- Påstande, et personligt perspektiv . I: Manfred Broy, Ernst Denert (red.): Softwarepionerer - Bidrag til softwareteknik . Springer, 2002, ISBN 3-540-43081-4 ( abstracts og mere - de medfølgende DVD'er indeholder en video af Tony Hoares forelæsning).
- Et aksiomatisk grundlag for computerprogrammering . I: Kommunikation af ACM . Bind 14, nr. 1 , 1971, ISSN 0001-0782 , s. 39-45 , doi : 10.1145 / 363235.363259 .
- Bevis for et program: FIND . I: Kommunikation af ACM . Bind 12, nr. 10 , 1969, ISSN 0001-0782 , s. 576-580, 583 , doi : 10.1145 / 362452.362489 (genoptryk i den ovennævnte bog Software Pioneers ).
- Mod en teori om parallel programmering. I: CAR Hoare, RH Perrott (red.): Operativsystemteknikker . Proceedings of a Seminar at Queen's University Belfast 1971, Academic Press 1972, s.61-71.
- Bevis for korrekthed af datarepræsentationer . I: Acta Informatica . Bind 1, nr. 4 , 1972, ISSN 0001-5903 , s. 271-281 , doi : 10.1007 / BF00289507 (genoptryk i ovennævnte bog Software Pioneers ).
- Kommunikation af sekventielle processer . Prentice-Hall, 1985 ( PDF-version ).
- Retrospektiv: Et aksiomatisk grundlag for computerprogrammering . I: Kommunikation af ACM . Bind 52, nr. 10 , 2009, ISSN 0001-0782 , s. 30-32 , doi : 10.1145 / 1562764.1562779 .
Weblinks
- Litteratur af og om Tony Hoare i kataloget over det tyske nationalbibliotek
- Videoer af og om Tony Hoare i AV-portalen Technical Information Library
- Tony Hoare, Oxford University ( Memento 8. august 2007 i internetarkivet )
- Kort biografi hos Microsoft ( Memento fra 17. oktober 2013 i internetarkivet )
Individuelle beviser
- ^ Pearce Wright: Forsvars computersprog upålideligt, siger professor i The Times, 1. juli 1981.
- ^ Medlemskartotek: Charles Hoare. Academia Europaea, adgang til 25. november 2017 .
- ↑ Knights and Dames: HA-HOR ved Leigh Rayment's Peerage
- ^ BIL Hoare: Kejserens gamle tøj . ACM Turing Award-foredraget fra 1980. I: Kommunikation af ACM . Bind 24, nr. 2 , 1981, ISSN 0001-0782 , s. 75-83 , doi : 10.1145 / 358549.358561 .
- ↑ Len Shustek: Et interview med CAR Hoare . I: Kommunikation af ACM . Bind 52, nr. 3. marts 2009, ISSN 0001-0782 , s. 38 ff ., doi : 10.1145 / 1467247.1467261 .
| personlig data | |
|---|---|
| EFTERNAVN | Hoare, Tony |
| ALTERNATIVE NAVNE | Hoare, Charles Antony Richard (fuldt navn); Hoare, BIL |
| KORT BESKRIVELSE | Britisk computerforsker, udvikler af quicksort-algoritmen og Hoare-beregningen |
| FØDSELSDATO | 11. januar 1934 |
| FØDSELSSTED | Colombo , Sri Lanka |