Tony Hoare

Tony Hoare
Født	Charles Antony Richard Hoare; 11. jan. 1934; Colombo
Død	5. mars 2026 (92 år); Cambridge
Beskjeftigelse	Informatiker, ingeniør, programmerer, skribent, universitetslærer
Utdannet ved	Statsuniversitetet i Moskva (studieretning: maskinoversettelse); Merton College (akademisk grad: bachelorgrad, postgraduate diploma); University of Oxford; Dragon School; The King's School
Doktorgrads-; veileder	Leslie Fox; Andrej Kolmogorov
Ektefelle	Jill Pym (1962–)
Far	Henry Samuel Malortie Hoare
Mor	Marjorie Francis Villiers
Nasjonalitet	Storbritannia
Medlem av	7 oppføringer Royal Society; Accademia Nazionale dei Lincei (1988–); Academia Europaea (1989–; tilknytning: AE section Informatics); Bayerische Akademie der Wissenschaften; National Academy of Sciences (2017–; International Member of the National Academy of Sciences); UK Computing Research Committee; Association for Computing Machinery (2021–; ACM Fellow);
Utmerkelser	15 oppføringer Fellow of the Royal Society (1982); Turing-prisen (1980); John-von-Neumann-medaljen (2011); Faradaymedaljen (1985); F.L.-Bauer-Preis (2007); Computer History Museum fellow; Kyotoprisen for avansert teknologi (2000); Computer Pioneer Award (1990); Programming Languages Achievement Award (2011); Harry H. Goode Memorial Award (1981); Æresdoktor ved Universidad Complutense de Madrid (2013); Fellow of the Royal Academy of Engineering (2005); Fellow of the British Computer Society; Knight Bachelor (2000); ACM Fellow (2020)
	Tony Hoare på Commons

Charles Antony Richard Hoare (1934–2026),^[19] vanligvis kjent som Tony Hoare eller C.A.R. Hoare, var en britisk informatiker. Han utviklet sorteringsalgoritmen Quicksort i 1959.^[20] 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.^[21]^[22]^[23]^[24]^[25]

Utmerkelser

Knight Bachelor, med tiltaleform sir (2000)^[26]
Kyotoprisen (2000, Japan)^[27]

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.^[28]^[29]^[30]

Referanser

↑ Gemeinsame Normdatei, besøkt 24. april 2014^{[Hentet fra Wikidata]}
1 2 3 4 5 6 7 8 Who's Who, Who's Who UK-ID U20298^{[Hentet fra Wikidata]}
↑ Social Networks and Archival Context, SNAC Ark-ID w6vt663z, besøkt 9. oktober 2017^{[Hentet fra Wikidata]}
↑ Lance Fortnow, «Tony Hoare (1934-2026)», verkets språk engelsk, besøkt 11. mars 2026^{[Hentet fra Wikidata]}
↑ Mathematics Genealogy Project, Mathematics Genealogy Project-identifikator 58746, besøkt 28. september 2024^{[Hentet fra Wikidata]}
↑ Mathematics Genealogy Project, Mathematics Genealogy Project-identifikator 10480, besøkt 28. september 2024^{[Hentet fra Wikidata]}
↑ The Peerage person ID p14062.htm#i140620^{[Hentet fra Wikidata]}
1 2 The Peerage^{[Hentet fra Wikidata]}
↑ LIBRIS, Libris-URI gdsvq7z02f16w2r, utgitt 18. september 2012, besøkt 24. august 2018^{[Hentet fra Wikidata]}
↑ «Soci Lincei 1870-2026», DOI 10.5281/ZENODO.18315206, besøkt 20. januar 2026^{[Hentet fra Wikidata]}
↑ www.ae-info.org, AE member ID Hoare_Charles^{[Hentet fra Wikidata]}
↑ www.theiet.org^{[Hentet fra Wikidata]}
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]}
↑ Association for Computing Machinery, «C. Antony ("Tony") R. Hoare DL Author Profile link», besøkt 12. mars 2026^{[Hentet fra Wikidata]}
↑ Institute of Electrical and Electronics Engineers, «IEEE-LEVEL AWARDS», besøkt 12. mars 2026^{[Hentet fra Wikidata]}
↑ «Antony Hoare», besøkt 12. mars 2026^{[Hentet fra Wikidata]}
↑ «Harry H. Goode Memorial Award», besøkt 12. mars 2026^{[Hentet fra Wikidata]}
↑ Universidad Complutense de Madrid, «Laudatio del Prof. Dr. D. Ricardo Peña Marí», besøkt 12. mars 2026^{[Hentet fra Wikidata]}
↑ «List of Fellows». Arkivert fra originalen 8. juni 2016. Besøkt 28. januar 2017.
↑ 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.
↑ Antony Hoare Arkivert 3. april 2015 hos Wayback Machine., Computerhistory.org
↑ C. A. R. Hoare, ACM Digital Library
↑ List of publications, from Microsoft Academic Search
↑ Shustek, L. (2009). «Interview: An interview with C.A.R. Hoare». Comm. ACM. 52 (3): 38–41. doi:10.1145/1467247.1467261.
↑ Hoare, C. A. R. (1974). «Monitors: An operating system structuring concept». Communications of the ACM. 17 (10): 549. doi:10.1145/355620.361161.
↑ «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.
↑ «Antony Hoare | Kyoto Prize». 京都賞 (på engelsk). Besøkt 11. mars 2026.
↑ «Sir Tony Hoare receives medal from Royal Society». Department of Computer Science (på engelsk). Besøkt 11. mars 2026.
↑ «Tony Hoare | Biography & Facts | Britannica». Encyclopedia Britannica (på engelsk). Besøkt 11. mars 2026.
↑ «C. Antony R. Hoare - A.M. Turing Award Laureate». amturing.acm.org (på engelsk). Besøkt 11. mars 2026.

Eksterne lenker

(en) Offisielt nettsted

(en) C. A. R. Hoare – kategori av bilder, video eller lyd på Commons

Denne artikkelen er en spire. Du kan hjelpe Wikipedia ved å utvide den.

[hash-f6f7cdf3b7dec9923484fbbd5daee432400b9c0e-1] Gemeinsame Normdatei, besøkt 24. april 2014^{[Hentet fra Wikidata]}

[hash-10b4b7c993f6f83aa891d670a18411522924f34e-2] 1 2 3 4 5 6 7 8 Who's Who, Who's Who UK-ID U20298^{[Hentet fra Wikidata]}

[hash-6d8068a32d2a3eab2664359098862978fc09762d-3] Social Networks and Archival Context, SNAC Ark-ID w6vt663z, besøkt 9. oktober 2017^{[Hentet fra Wikidata]}

[hash-fb29f024408a6aac77d9aae265c8fbb7395bea20-4] Lance Fortnow, «Tony Hoare (1934-2026)», verkets språk engelsk, besøkt 11. mars 2026^{[Hentet fra Wikidata]}

[hash-12385450b9a398ce8be4d992ec992c94361a17c0-5] Mathematics Genealogy Project, Mathematics Genealogy Project-identifikator 58746, besøkt 28. september 2024^{[Hentet fra Wikidata]}

[hash-93f8c64a69204c48341c00d871f8ae1a7cdb8c3d-6] Mathematics Genealogy Project, Mathematics Genealogy Project-identifikator 10480, besøkt 28. september 2024^{[Hentet fra Wikidata]}

[hash-b991438af20d47908830e96449c9dadc82a8118c-7] The Peerage person ID p14062.htm#i140620^{[Hentet fra Wikidata]}

[hash-3913844e06e055e8cd81608f22bad0e604d89d2d-8] 1 2 The Peerage^{[Hentet fra Wikidata]}

[hash-984cda8c74cb41f8d8c6fdaf5c498c336b028640-9] LIBRIS, Libris-URI gdsvq7z02f16w2r, utgitt 18. september 2012, besøkt 24. august 2018^{[Hentet fra Wikidata]}

[hash-720bc256aa76413c9a6f6c575203abf9eeca5551-10] «Soci Lincei 1870-2026», DOI 10.5281/ZENODO.18315206, besøkt 20. januar 2026^{[Hentet fra Wikidata]}

[hash-0e19e35a94e5d6e387bae05594f5e4fc0b253289-11] www.ae-info.org, AE member ID Hoare_Charles^{[Hentet fra Wikidata]}

[hash-6966a9447c570bfc6739f9b340d4bd1e17abfc5f-12] www.theiet.org^{[Hentet fra Wikidata]}

[hash-615c20dbbe18962ae17c5a3ac1b5154b65f0bfef-13] 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]}

[hash-e5daa1611e8a8339b32f84a05a8babd0fc8b2253-14] Association for Computing Machinery, «C. Antony ("Tony") R. Hoare DL Author Profile link», besøkt 12. mars 2026^{[Hentet fra Wikidata]}

[hash-60247a8e41edc775a413e5c6ded7ea933b15ad14-15] Institute of Electrical and Electronics Engineers, «IEEE-LEVEL AWARDS», besøkt 12. mars 2026^{[Hentet fra Wikidata]}

[hash-f4e860febd1c26a9cb29a05a37630f02ffe341d4-16] «Antony Hoare», besøkt 12. mars 2026^{[Hentet fra Wikidata]}

[hash-a449ac619bbea0ac27c2febae8f79be05c4b4023-17] «Harry H. Goode Memorial Award», besøkt 12. mars 2026^{[Hentet fra Wikidata]}

[hash-6a737f69b896d93e8b1f979dc5a3d46d85158bdb-18] Universidad Complutense de Madrid, «Laudatio del Prof. Dr. D. Ricardo Peña Marí», besøkt 12. mars 2026^{[Hentet fra Wikidata]}

[List_of_Fellows-19] «List of Fellows». Arkivert fra originalen 8. juni 2016. Besøkt 28. januar 2017.

[20] 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.

[ACM-21] Antony Hoare Arkivert 3. april 2015 hos Wayback Machine., Computerhistory.org

[dblp-22] C. A. R. Hoare, ACM Digital Library

[microsoft-23] List of publications, from Microsoft Academic Search

[24] Shustek, L. (2009). «Interview: An interview with C.A.R. Hoare». Comm. ACM. 52 (3): 38–41. doi:10.1145/1467247.1467261.

[monitors-25] Hoare, C. A. R. (1974). «Monitors: An operating system structuring concept». Communications of the ACM. 17 (10): 549. doi:10.1145/355620.361161.

[26] «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.

[27] «Antony Hoare | Kyoto Prize». 京都賞 (på engelsk). Besøkt 11. mars 2026.

[28] «Sir Tony Hoare receives medal from Royal Society». Department of Computer Science (på engelsk). Besøkt 11. mars 2026.

[29] «Tony Hoare | Biography & Facts | Britannica». Encyclopedia Britannica (på engelsk). Besøkt 11. mars 2026.

[30] «C. Antony R. Hoare - A.M. Turing Award Laureate». amturing.acm.org (på engelsk). Besøkt 11. mars 2026.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]

[24]

[25]

[26]

[27]

[28]

[29]

[30]