Editing Tony Hoare (section)

==Awards and honours==
{{div col|colwidth=35em}}
* ACM Programming Systems and Languages Paper Award (1973)<ref>{{cite web|url=https://awards.acm.org/programming-systems-and-languages-paper|title=ACM Programming Systems and Languages Paper Award |publisher=Association for Computing Machinery|year=1973|accessdate=2022-07-07}}</ref> for the paper "Proof of correctness of data representations"<ref name="HoareActa1972">{{Cite journal|last1=Hoare |first1=C.A.R. |authorlink1=Tony Hoare |title=Proof of correctness of data representations |doi=10.1007/BF00289507 |journal=[[Communications of the ACM]]  |volume=1 |issue=4 |pages=271&ndash;281 |year=1972 |s2cid=34414224 |url=https://dl.acm.org/doi/abs/10.1007/BF00289507}}</ref>
* [[DFBCS|Distinguished Fellow of the British Computer Society]] (1978)
* [[Turing Award]] for "fundamental contributions to the definition and design of [[programming language]]s". The award was presented to him at the ACM Annual Conference in [[Nashville, Tennessee]], on 27 October 1980, by Walter Carlson, chairman of the Awards committee. A transcript of Hoare's speech<ref name="ACM_Turing_Award_lecture">{{cite web
 |url        =http://awards.acm.org/images/awards/140/articles/4622167.pdf
 |title      =The Emperor's Old Clothes: The 1980 ACM Turing Award Lecture
 |date       =27 October 1980
 |archive-url =https://web.archive.org/web/20120419234212/http://awards.acm.org/images/awards/140/articles/4622167.pdf
 |archive-date=19 April 2012
 |last=Hoare |first=Charles Anthony Richard
 |publisher  =Association for Computing Machinery
 |url-status =dead
 |df         =dmy-all
}}</ref> was published in ''[[Communications of the ACM]]''.<ref name="Hoare81" />
* [[Harry H. Goode Memorial Award]] (1981)
* [[Fellow of the Royal Society]] (1982)<ref name=frs>{{cite web |title=Anthony Hoare FRS |url=https://royalsociety.org/people/antony-hoare-11627/ |website=royalsociety.org |publisher=[[Royal Society]] |location=London |author=Anon |year=1982}}</ref>
* Honorary Doctorate of Science by the [[Queen's University Belfast]] (1987)
* Honorary Doctorate of Science, from the [[University of Bath]] (1993)<ref>{{cite web |url=http://www.bath.ac.uk/ceremonies/hongrads/ |title=Honorary Graduates 1989 to present |publisher=[[University of Bath]] |work=bath.ac.uk |access-date=18 February 2012 |archive-date=17 July 2010 |archive-url=https://web.archive.org/web/20100717061336/http://www.bath.ac.uk/ceremonies/hongrads/ |url-status=dead }}</ref>
* Honorary Fellow, [[Kellogg College, Oxford]] (1998)<ref>{{cite web |url = http://www.debretts.com/people-of-today/profile/7309/(Charles)-Antony-Richard-(Tony)-HOARE |title = (Charles) Antony Richard (Tony) Hoare Biography |archive-url=https://archive.today/20140717132017/http://www.debretts.com/people-of-today/profile/7309/(Charles)-Antony-Richard-(Tony)-HOARE |archive-date=17 July 2014 |url-status=dead}}</ref>
* [[Knight Bachelor|Knighted]] for services to education and [[computer science]] ([[2000 New Year Honours|2000]])
* [[Kyoto Prize]] for [[Information science]] (2000)
* [[Fellow]]<ref name="List of Fellows">{{cite web |title=List of Fellows |url=http://www.raeng.org.uk/about-us/people-council-committees/the-fellowship/list-of-fellows |access-date=17 October 2014 |archive-date=8 June 2016 |archive-url=https://web.archive.org/web/20160608094405/http://www.raeng.org.uk/about-us/people-council-committees/the-fellowship/list-of-fellows |url-status=dead }}</ref> of the [[Royal Academy of Engineering]]<ref name="List of Fellows"/> (2005)
* Member of the [[National Academy of Engineering]] (2006) for fundamental contributions to computer science in the areas of algorithms, operating systems, and programming languages.
* [[Computer History Museum]] (CHM) in [[Mountain View, California]] Fellow of the Museum "for development of the [[Quicksort]] algorithm and for lifelong contributions to the theory of [[programming language]]s" (2006)<ref>{{Cite web |title=Sir Antony Hoare: 2006 Fellow |author=<!-- Unstated. --> |url=https://computerhistory.org/profile/sir-antony-hoare/ |access-date=8 March 2020 |url-status=dead |archive-url=https://web.archive.org/web/20150403184558/http://www.computerhistory.org/fellowawards/hall/bios/Antony%2CHoare/ |archive-date=3 April 2015 |df=dmy-all}}{{cite web |url=http://www.computerhistory.org/fellowawards/hall/bios/Antony,Hoare/ |title=Sir Antony Hoare &#124; Computer History Museum |access-date=2015-04-22 |url-status=dead |archive-url=https://web.archive.org/web/20150403184558/http://www.computerhistory.org/fellowawards/hall/bios/Antony%2CHoare/ |archive-date=3 April 2015 |df=dmy-all}}</ref>
* Honorary Doctorate from [[Heriot-Watt University]] (2007)<ref>{{Cite web |url=http://www1.hw.ac.uk/annual-review/2007/people_awards.html |title=Annual Review 2007: Principal's Review|website=www1.hw.ac.uk|access-date=2016-03-29|url-status=dead |archive-url=https://web.archive.org/web/20160305032855/http://www1.hw.ac.uk/annual-review/2007/people_awards.html |archive-date=5 March 2016|df=dmy-all}}</ref>
* Honorary Doctorate of Science from the Department of Informatics of the [[Athens University of Economics and Business]] (AUEB) (2007)
* Friedrich L. Bauer-Prize, [[Technical University of Munich]] (2007)<ref>{{cite web |url=http://www.in.tum.de/forschung/auszeichnungen/detail/newsarticle/hoare-sir-charles-antony-richard.html |title=Preisverleihung auf der Festveranstaltung "40 Jahre Informatik in München": TU München vergibt Friedrich L. Bauer-Preis an Tony Hoare |date=26 October 2007 |access-date=14 May 2016 |language=de |publisher=[[Technical University of Munich]] |archive-url=https://web.archive.org/web/20160610023325/http://www.in.tum.de/forschung/auszeichnungen/detail/newsarticle/hoare-sir-charles-antony-richard.html |archive-date=10 June 2016 |url-status=dead |df=dmy-all}}</ref>
* [[SIGPLAN]] Programming Languages Achievement Award (2011)<ref>{{cite web |url=http://www.sigplan.org/Awards/Achievement/2011 |title=Programming Languages Achievement Award 2011 |publisher=ACM |access-date={{Format date|2012|08|28}}}}</ref>
* [[IEEE John von Neumann Medal]] (2011)<ref>{{cite web |url=http://www.ieee.org/documents/von_neumann_rl.pdf |archive-url=https://ghostarchive.org/archive/20221009/http://www.ieee.org/documents/von_neumann_rl.pdf |archive-date=2022-10-09 |url-status=dead |title=IEEE John von Neumann Medal Recipients |publisher=IEEE |access-date={{Format date|2011|02|26}}}}</ref>
* Honorary Doctorate, [[University of Warsaw]] (2012)<ref>{{cite web |url=http://www.mimuw.edu.pl/wiadomosci/aktualnosci/wydarzenia/58228/ |title=Profesor Hoare doktorem honoris causa Uniwersytetu Warszawskiego |publisher=[[University of Warsaw]] |date=15 November 2012 |access-date=26 November 2012 |last=Krzysztof |first=Diks |language=pl |url-status=dead |archive-url=https://web.archive.org/web/20140826114200/http://www.mimuw.edu.pl/wiadomosci/aktualnosci/wydarzenia/58228/ |archive-date=26 August 2014 |df=dmy-all}}</ref>
* Honorary Doctorate, [[Complutense University of Madrid]] (2013)<ref>{{cite web |url=http://www.emes.es/Actualidad/Noticias/Noticia/ucm/tabid/581/itemid/4529/type/noticia/Default.aspx?utm_campaign |title=Los informáticos Tony Hoare y Mateo Valero serán investidos hoy doctores honoris causa por la Complutense |date=10 May 2013 |access-date=10 May 2013 |language=es}}</ref>
*[[Royal Medal]] of the Royal Society (2023)<ref>[https://royalsociety.org/grants-schemes-awards/awards/royal-medal/ Royal Medal 2023]</ref>
{{div col end}}