mini|hochkant|Sir Tony Hoare (2011) Sir Charles Antony Richard Hoare (* 11. Januar 1934 in Colombo, Britisch-Ceylon (heute Sri Lanka); † 5. März 2026), besser bekannt als Tony Hoare oder C.A.R. Hoare, war ein britischer Informatiker.
Hoare erlangte hohes Ansehen durch die Entwicklung des Quicksort-Algorithmus sowie des Hoare-Kalküls, durch den sich die Korrektheit von Algorithmen beweisen lässt. Außerdem entwickelte Hoare die Prozessalgebra Communicating Sequential Processes (CSP), die zum Beispiel die Entwicklung der Programmiersprachen Ada, Occam und Go beeinflusst hat.
Biographie Hoare wurde in Colombo als Sohn britischer Eltern geboren. 1956 beendete er sein humanistisches Studium (Classics) an der Universität Oxford mit Bachelor-Abschluss.
Es folgte ein Jahr Graduiertenstudium in Statistik in Oxford, bevor er an der Moskauer Staatsuniversität computergestützte Übersetzung menschlicher Sprache weiterstudierte. 1960 begann er seine Tätigkeit bei dem kleinen Computerhersteller Elliott Brothers mit der Implementierung von Algol 60 und ersten Algorithmenstudien. 1968 wurde er an der Queen’s University Belfast habilitiert und kehrte 1977 als Professor der Informatik an die University of Oxford zurück.
Als Experte für Programmiersprachen und deren Zuverlässigkeit wandte sich Hoare 1981 öffentlich gegen den Einsatz von Ada in sicherheitsrelevanten Bereichen wie der Steuerung von Atomraketen, weil er Ada für grundsätzlich unzuverlässig hielt. Wenn eine Programmiersprache in solchem Kontext unzuverlässige Programme erzeugt, sei dies für eine Gesellschaft gefährlicher als unsichere Autos, giftige Pestizide oder zufällige Lecks in Kernkraftwerken.Pearce Wright: Defence computer language unreliable, professor says in The Times vom 1. Juli 1981.
Sir Antony Hoare war Professor der Universität Oxford, England.
Auszeichnungen 1980 erhielt er den Turing Award für seine grundlegenden Errungenschaften bei der Definition und Entwicklung von Programmiersprachen. 1985 Faraday-Medaille (IEE) 1988 Auswärtiges Mitglied der Accademia Nazionale dei Lincei 1989 Ordentliches Mitglied der Academia Europaea 1997 Korrespondierendes Mitglied der Bayerischen Akademie der Wissenschaften 2000 wurde er als Knight Bachelor („Sir“) geadelt. bei Leigh Rayment’s Peerage. 2000 wurde ihm der Kyoto-Preis verliehen. 2007 Friedrich L. Bauer-Preis 2011 John-von-Neumann-Medaille 2012 Ehrendoktor der Universität Warschau 2013 Ehrendoktor der Universität Complutense Madrid 2017 Auswärtiges Mitglied der National Academy of Sciences 2023 Royal MedalRoyal Medal 2023.
Zitate
Schriften
Towards a theory of parallel programming. In: C. A. R. Hoare, R. H. Perrott (Hrsg.): Operating systems techniques. Proceedings of a Seminar at Queen’s University Belfast 1971, Academic Press 1972, S. 61–71.
Weblinks
(englisch) (englisch)
Einzelnachweise
Kategorie:Informatiker Kategorie:Träger des Turing Award Kategorie:Kyoto-Preisträger Kategorie:Hochschullehrer (University of Oxford) Kategorie:Softwareentwickler Kategorie:Person (Microsoft) Kategorie:Mitglied der Royal Society Kategorie:Mitglied der National Academy of Sciences Kategorie:Mitglied der Academia Europaea Kategorie:Mitglied der Bayerischen Akademie der Wissenschaften Kategorie:Mitglied der Accademia dei Lincei Kategorie:Knight Bachelor Kategorie:Brite Kategorie:Geboren 1934 Kategorie:Gestorben 2026 Kategorie:Mann