https://wiki-de.moshellshocker.dns64.de/index.php?action=history&feed=atom&title=Tony_HoareTony Hoare - Versionsgeschichte2026-06-03T22:15:47ZVersionsgeschichte dieser Seite in Wikipedia (Deutsch) – Lokale KopieMediaWiki 1.43.8https://wiki-de.moshellshocker.dns64.de/index.php?title=Tony_Hoare&diff=146232&oldid=previmported>Mailaender45: /* Auszeichnungen */ 404: Eintrag in Leigh Rayment's Peerage wiederhergestellt2026-03-14T11:11:10Z<p><span class="autocomment">Auszeichnungen: </span> 404: Eintrag in Leigh Rayment's Peerage wiederhergestellt</p>
<p><b>Neue Seite</b></p><div>[[Datei:Sir Tony Hoare IMG 5125.jpg|mini|hochkant|Sir Tony Hoare (2011)]]<br />
Sir '''Charles Antony Richard Hoare''' (* [[11. Januar]] [[1934]] in [[Colombo]], [[Britisch-Ceylon]] (heute [[Sri Lanka]]); † [[5. März]] [[2026]]<ref>{{Internetquelle |autor= |url=https://conzit.com/post/remembering-tony-hoare-a-legacy-beyond-algorithms |titel=Remembering Tony Hoare: A Legacy Beyond Algorithms |werk=conzit.com |datum=2026-03-10 |sprache=en |abruf=2026-03-10}}</ref>), besser bekannt als '''Tony Hoare''' oder '''C.A.R. Hoare''', war ein [[Vereinigtes Königreich|britischer]] [[Informatik]]er.<br />
<br />
Hoare erlangte hohes Ansehen durch die Entwicklung des [[Quicksort]]-Algorithmus sowie des [[Hoare-Kalkül]]s, durch den sich die Korrektheit von [[Algorithmus|Algorithmen]] beweisen lässt. Außerdem entwickelte Hoare die Prozessalgebra [[Communicating Sequential Processes]] (CSP), die zum Beispiel die Entwicklung der Programmiersprachen [[Ada (Programmiersprache)|Ada]], [[Occam]] und [[Go (Programmiersprache)|Go]] beeinflusst hat.<br />
<br />
== Biographie ==<br />
Hoare wurde in Colombo als Sohn britischer Eltern geboren. 1956 beendete er sein humanistisches Studium ''(Classics)'' an der [[University of Oxford|Universität Oxford]] mit Bachelor-Abschluss.<br />
<br />
Es folgte ein Jahr Graduiertenstudium in Statistik in Oxford, bevor er an der [[Lomonossow-Universität|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.<br />
<br />
Als Experte für Programmiersprachen und deren Zuverlässigkeit wandte sich Hoare 1981 öffentlich gegen den Einsatz von [[Ada (Programmiersprache)|Ada]] in sicherheitsrelevanten Bereichen wie der Steuerung von [[Kernwaffe|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 [[Pestizid|Pestizide]] oder zufällige Lecks in [[Kernkraftwerk|Kernkraftwerken]].<ref>Pearce Wright: ''Defence computer language unreliable, professor says'' in [[The Times]] vom 1. Juli 1981.</ref><br />
<br />
Sir Antony Hoare war Professor der Universität Oxford, England.<br />
<br />
== Auszeichnungen ==<br />
* 1980 erhielt er den [[Turing Award]] für seine grundlegenden Errungenschaften bei der Definition und Entwicklung von Programmiersprachen.<br />
* 1985 [[Faraday-Medaille (IEE)]]<br />
* 1989 Ordentliches Mitglied der [[Academia Europaea]]<ref>{{Internetquelle |url=http://www.ae-info.org/ae/Member/Hoare_Charles |titel=Mitgliederverzeichnis: Charles Hoare |hrsg=Academia Europaea |sprache=en |abruf=2017-11-25}}</ref><br />
* 1997 Korrespondierendes Mitglied der [[Bayerische Akademie der Wissenschaften|Bayerischen Akademie der Wissenschaften]]<br />
* 2000 wurde er als [[Knight Bachelor]] („Sir“) geadelt.<ref>{{Webarchiv |url=https://www.maltagenealogy.com/LeighRayment/knights/knightshahor.htm |wayback=20230111005315 |text=Knights and Dames: HA–HOR}} bei Leigh Rayment’s Peerage.</ref><br />
* 2000 wurde ihm der [[Kyoto-Preis]] verliehen.<br />
* 2007 [[Friedrich L. Bauer-Preis]]<br />
* 2011 [[John-von-Neumann-Medaille]]<br />
* 2012 Ehrendoktor der [[Universität Warschau]]<ref>{{Internetquelle |url=http://www.mimuw.edu.pl/wiadomosci/aktualnosci/wydarzenia/58228/ |titel=Wydział MIM UW - Profesor Hoare doktorem honoris causa Uniwersytetu Warszawskiego |archiv-url=https://web.archive.org/web/20140826114200/http://www.mimuw.edu.pl/wiadomosci/aktualnosci/wydarzenia/58228/ |archiv-datum=2014-08-26 |abruf=2026-03-11}}</ref><br />
* 2013 Ehrendoktor der [[Universität Complutense Madrid]]<br />
* 2017 Auswärtiges Mitglied der [[National Academy of Sciences]]<br />
* 2023 [[Royal Medal]]<ref>[https://royalsociety.org/grants-schemes-awards/awards/royal-medal/ Royal Medal 2023.]</ref><br />
<br />
== Zitate ==<br />
{{Zitat<br />
|Text=I conclude that there are two ways of constructing a software design: One way is to make it so simple that there are ''obviously'' no deficiencies and the other way is to make it so complicated that there are no ''obvious'' deficiencies. The first method is far more difficult.<br />
|Sprache=en<br />
|Autor=Tony Hoare<br />
|Quelle=Dankesrede für den Turingpreis 1980<br />
|Übersetzung=Ich stelle fest, dass es zwei Wege gibt, ein Software-Design zu erstellen, entweder so einfach, dass es offensichtlich keine Schwächen hat, oder so kompliziert, dass es keine offensichtlichen Schwächen hat. Die erste Methode ist weitaus schwieriger.<br />
|ref=<ref>{{Literatur |Autor=C. A. R. Hoare |Titel=The Emperor’s Old Clothes |TitelErg=The 1980 ACM Turing Award Lecture |Sammelwerk=Communications of the ACM |Band=Vol.&nbsp;24 |Nummer=2 |Datum=1981 |ISSN=0001-0782 |Seiten=75–83 |DOI=10.1145/358549.358561}}</ref>}}<br />
<br />
{{Zitat<br />
|Text=I think Quicksort is the only really interesting algorithm that I’ve ever developed.<br />
|Sprache=en<br />
|Autor=Tony Hoare<br />
|Übersetzung=Ich denke, Quicksort ist der einzige wirklich interessante Algorithmus, den ich je entwickelt habe.<br />
|ref=<ref>{{Literatur |Autor=Len Shustek |Titel=An Interview with C.A.R. Hoare |Sammelwerk=Communications of the ACM |Band=Vol 52 |Nummer=3 |Datum=2009-03 |ISSN=0001-0782 |Seiten=38ff. |DOI=10.1145/1467247.1467261}}</ref>}}<br />
<br />
== Schriften ==<br />
* {{Literatur<br />
|Autor=C. A. R. Hoare<br />
|Hrsg=Manfred Broy, Ernst Denert<br />
|Titel=Assertions, A Personal Perspective<br />
|Sammelwerk=Software Pioneers – Contributions to Software Engineering<br />
|Verlag=Springer<br />
|Datum=2002<br />
|ISBN=3-540-43081-4<br />
|Kommentar=Die beiliegenden DVDs enthalten ein Video des Vortrags von Tony Hoare<br />
|Online=[http://portal.acm.org/toc.cfm?id=944331 Abstracts und mehr]<br />
|Typ=wl}}<br />
* {{Literatur<br />
|Autor=C. A. R. Hoare<br />
|Titel=An Axiomatic Basis for Computer Programming<br />
|Sammelwerk=[[Communications of the ACM]]<br />
|Band=Vol.&nbsp;14<br />
|Nummer=1<br />
|Datum=1971<br />
|ISSN=0001-0782<br />
|Seiten=39–45<br />
|DOI=10.1145/363235.363259<br />
|Typ=wl}}<br />
* {{Literatur<br />
|Autor=C. A. R. Hoare<br />
|Titel=Proof of a Program: FIND<br />
|Sammelwerk=Communications of the ACM<br />
|Band=Vol.&nbsp;12<br />
|Nummer=10<br />
|Datum=1969<br />
|ISSN=0001-0782<br />
|Seiten=576–580, 583<br />
|Kommentar=Reprint im o.&nbsp;g. Buch ''Software Pioneers''<br />
|DOI=10.1145/362452.362489<br />
|Typ=wl}}<br />
* ''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.<br />
* {{Literatur<br />
|Autor=C. A. R. Hoare<br />
|Titel=Proof of Correctness of Data Representations<br />
|Sammelwerk=Acta Informatica<br />
|Band=Vol.&nbsp;1<br />
|Nummer=4<br />
|Datum=1972<br />
|ISSN=0001-5903<br />
|Seiten=271–281<br />
|Kommentar=Reprint im o.&nbsp;g. Buch ''Software Pioneers''<br />
|DOI=10.1007/BF00289507<br />
|Typ=wl}}<br />
* {{Literatur<br />
|Autor=C. A. R. Hoare<br />
|Titel=Communicating Sequential Processes<br />
|Verlag=Prentice-Hall<br />
|Datum=1985<br />
|Online=[http://www.usingcsp.com/cspbook.pdf PDF-Version]<br />
|Typ=wl}}<br />
* {{Literatur<br />
|Autor=C. A. R. Hoare<br />
|Titel=Retrospective: An Axiomatic Basis for Computer Programming<br />
|Sammelwerk=Communications of the ACM<br />
|Band=Vol.&nbsp;52<br />
|Nummer=10<br />
|Datum=2009<br />
|ISSN=0001-0782<br />
|Seiten=30–32<br />
|DOI=10.1145/1562764.1562779<br />
|Typ=wl}}<br />
<br />
== Weblinks ==<br />
{{Commonscat|C. A. R. Hoare|Tony Hoare}}<br />
* {{DNB-Portal|119103265}}<br />
* {{TIBAV-Suche |link=Hoare__C._Antony_R. }}<br />
* {{Webarchiv |url=http://web.comlab.ox.ac.uk/oucl/people/tony.hoare.html |text=Tony Hoare, Oxford University |wayback=20070808050016}} (englisch)<br />
* {{Webarchiv |url=http://research.microsoft.com/en-us/people/thoare/ |text=Kurze Biografie bei Microsoft |wayback=20131017235604}} (englisch)<br />
<br />
== Einzelnachweise ==<br />
<references /><br />
<br />
{{Navigationsleiste Träger des Turing-Awards}}<br />
<br />
{{Normdaten|TYP=p|GND=119103265|LCCN=n84148204|NDL=00443453|VIAF=108123782}}<br />
<br />
{{SORTIERUNG:Hoare, Tony}}<br />
[[Kategorie:Informatiker]]<br />
[[Kategorie:Träger des Turing Award]]<br />
[[Kategorie:Kyoto-Preisträger]]<br />
[[Kategorie:Hochschullehrer (University of Oxford)]]<br />
[[Kategorie:Softwareentwickler]]<br />
[[Kategorie:Person (Microsoft)]]<br />
[[Kategorie:Mitglied der Royal Society]]<br />
[[Kategorie:Mitglied der National Academy of Sciences]]<br />
[[Kategorie:Mitglied der Academia Europaea]]<br />
[[Kategorie:Mitglied der Bayerischen Akademie der Wissenschaften]]<br />
[[Kategorie:Knight Bachelor]]<br />
[[Kategorie:Brite]]<br />
[[Kategorie:Geboren 1934]]<br />
[[Kategorie:Gestorben 2026]]<br />
[[Kategorie:Mann]]<br />
<br />
{{Personendaten<br />
|NAME=Hoare, Tony<br />
|ALTERNATIVNAMEN=Hoare, Charles Antony Richard (vollständiger Name); Hoare, C.A.R.<br />
|KURZBESCHREIBUNG=britischer Informatiker<br />
|GEBURTSDATUM=11. Januar 1934<br />
|GEBURTSORT=[[Colombo]], [[Sri Lanka]]<br />
|STERBEDATUM=5. März 2026<br />
|STERBEORT=<br />
}}</div>imported>Mailaender45