Hopp til innhold

Tony Hoare

Fra Wikipedia, den frie encyklopedi
Tony Hoare
Image
FødtCharles Antony Richard Hoare
11. jan. 1934[1][2][3][4]Rediger på Wikidata
Colombo
Død5. mars 2026[5][4]Rediger på Wikidata (92 år)
Cambridge
BeskjeftigelseInformatiker, ingeniør, programmerer, skribent, universitetslærer Rediger på Wikidata
Akademisk gradDr.scient. (1985; honoris causa, deles ut av: University of Warwick)[6]
Utdannet vedStatsuniversitetet i Moskva (studieretning: maskinoversettelse)
Merton College (akademisk grad: bachelorgrad, postgraduate diploma)
University of Oxford
Dragon School
The King's School[2]
Doktorgrads-
veileder
Leslie Fox[7]
Andrej Kolmogorov[8]
Ektefelle(r)Jill Pym (1962–)[2][9]
FarHenry Samuel Malortie Hoare[2][10]
MorMarjorie Francis Villiers[2][10]
NasjonalitetStorbritannia[11]
Medlem av
7 oppføringer
Utmerkelser
15 oppføringer
Fellow of the Royal Society (1982)[2]
Turing-prisen (1980)[16]
John-von-Neumann-medaljen (2011)[17]
Faradaymedaljen (1985)
F.L.-Bauer-Preis (2007)
Computer History Museum fellow
Kyotoprisen for avansert teknologi (2000)[18]
Computer Pioneer Award (1990)
Programming Languages Achievement Award (2011)
Harry H. Goode Memorial Award (1981)[19]
Æresdoktor ved Universidad Complutense de Madrid (2013)[20]
Fellow of the Royal Academy of Engineering (2005)[2]
Fellow of the British Computer Society
Knight Bachelor (2000)[2]
ACM Fellow (2020)[15]

Charles Antony Richard Hoare (1934–2026),[21] vanligvis kjent som Tony Hoare eller C.A.R. Hoare, var en britisk informatiker. Han utviklet sorteringsalgoritmen Quicksort i 1959.[22] Han utviklet også Hoares logikk for å verifisere programmers korrekthet, og det formelle programmeringsspråket Communicating sequential processes (CSP) for å spesifisere interaksjoner mellom parallelle prosesser (deriblant de spisende flosofers problem) og var inspirasjon for programmeringsspråket occam.[23][24][25][26][27]

Utmerkelser

[rediger | rediger kilde]

Hoare mottok en rekke akademiske medlemskap, æresdoktortitler og priser for sitt virke, blant annet Turing-prisen, Harry H. Goode Memorial Award, Faradaymedaljen, Computer Pioneer Award, John von Neumann-medaljen og Royal Medal.[30][31][32]

Referanser

[rediger | rediger kilde]
  1. ↑ Gemeinsame Normdatei, besøkt 24. april 2014[Hentet fra Wikidata]
  2. 1 2 3 4 5 6 7 8 Who's Who, Who's Who UK-ID U20298[Hentet fra Wikidata]
  3. ↑ Social Networks and Archival Context, SNAC Ark-ID w6vt663z, besøkt 9. oktober 2017[Hentet fra Wikidata]
  4. 1 2 Who's Who UK-ID U20298[Hentet fra Wikidata]
  5. ↑ Lance Fortnow, «Tony Hoare (1934-2026)», verkets språk engelsk, besøkt 11. mars 2026[Hentet fra Wikidata]
  6. ↑ warwick.ac.uk[Hentet fra Wikidata]
  7. ↑ Mathematics Genealogy Project, Mathematics Genealogy Project-identifikator 58746, besøkt 28. september 2024[Hentet fra Wikidata]
  8. ↑ Mathematics Genealogy Project, Mathematics Genealogy Project-identifikator 10480, besøkt 28. september 2024[Hentet fra Wikidata]
  9. ↑ The Peerage person ID p14062.htm#i140620[Hentet fra Wikidata]
  10. 1 2 The Peerage[Hentet fra Wikidata]
  11. ↑ LIBRIS, Libris-URI gdsvq7z02f16w2r, utgitt 18. september 2012, besøkt 24. august 2018[Hentet fra Wikidata]
  12. ↑ «Soci Lincei 1870-2026», DOI 10.5281/ZENODO.18315206, besøkt 20. januar 2026[Hentet fra Wikidata]
  13. ↑ www.ae-info.org, AE member ID Hoare_Charles[Hentet fra Wikidata]
  14. ↑ www.theiet.org[Hentet fra Wikidata]
  15. 1 2 Association for Computing Machinery, «2020 ACM Fellows Recognized for Work that Underpins Today’s Computing Innovations», besøkt 24. juni 2024[Hentet fra Wikidata]
  16. ↑ Association for Computing Machinery, «C. Antony ("Tony") R. Hoare DL Author Profile link», besøkt 12. mars 2026[Hentet fra Wikidata]
  17. ↑ Institute of Electrical and Electronics Engineers, «IEEE-LEVEL AWARDS», besøkt 12. mars 2026[Hentet fra Wikidata]
  18. ↑ «Antony Hoare», besøkt 12. mars 2026[Hentet fra Wikidata]
  19. ↑ «Harry H. Goode Memorial Award», besøkt 12. mars 2026[Hentet fra Wikidata]
  20. ↑ Universidad Complutense de Madrid, «Laudatio del Prof. Dr. D. Ricardo Peña Marí», besøkt 12. mars 2026[Hentet fra Wikidata]
  21. ↑ «List of Fellows». Arkivert fra originalen 8. juni 2016. Besøkt 28. januar 2017.
  22. ↑ In 1959, while studying machine translation of languages in Moscow, he invented the now well-known sorting algorithm, "Quicksort." Arkivert 3. april 2015 hos Wayback Machine.
  23. ↑ Antony Hoare Arkivert 3. april 2015 hos Wayback Machine., Computerhistory.org
  24. ↑ C. A. R. Hoare, ACM Digital Library
  25. ↑ List of publications, from Microsoft Academic Search
  26. ↑ Shustek, L. (2009). «Interview: An interview with C.A.R. Hoare». Comm. ACM. 52 (3): 38–41. doi:10.1145/1467247.1467261.
  27. ↑ Hoare, C. A. R. (1974). «Monitors: An operating system structuring concept». Communications of the ACM. 17 (10): 549. doi:10.1145/355620.361161.
  28. ↑ «New Years Honours List – United Kingdom». The London Gazette. 55710 (på engelsk) (Supplement No. 1). 31. desember 1999. s. 2. Besøkt 11. mars 2026.
  29. ↑ «Antony Hoare | Kyoto Prize». 京都賞 (på engelsk). Besøkt 11. mars 2026.
  30. ↑ «Sir Tony Hoare receives medal from Royal Society». Department of Computer Science (på engelsk). Besøkt 11. mars 2026.
  31. ↑ «Tony Hoare | Biography & Facts | Britannica». Encyclopedia Britannica (på engelsk). Besøkt 11. mars 2026.
  32. ↑ «C. Antony R. Hoare - A.M. Turing Award Laureate». amturing.acm.org (på engelsk). Besøkt 11. mars 2026.

Eksterne lenker

[rediger | rediger kilde]