Herr Charles Antony Richard Hoare (geboren am 11. Januar 1934), allgemein bekannt als Tony Hoare oder C. A. R. Hoare, ist ein britischer Computerwissenschaftler, der für die Entwicklung (1960, mit 26) von der Schnellsortierung, einem wohl bekannten Sortieren-Algorithmus am besten bekannt ist. Er hat auch Logik von Hoare entwickelt, um Programm-Genauigkeit und die formelle Sprache Communicating Sequential Processes (CSP) nachzuprüfen, um die Wechselwirkungen von gleichzeitigen Prozessen (einschließlich des Speisenphilosoph-Problems) und die Inspiration für die occam Programmiersprache anzugeben.

Lebensbeschreibung

Geboren in Colombo, die Ceylon (jetzt Sri Lanka) britischen Eltern, hat er sein Vordiplom in Klassikern von der Universität Oxfords (Universität von Merton) 1956 erhalten. Er ist ein Extrajahr an Oxford geblieben, das Absolventenniveau-Statistik, und im Anschluss an seinen Nationalen Dienst in der Royal Navy (1956-1958) studiert. Während er Russisch studiert hat, hat er auch Computerübersetzung von menschlichen Sprachen an der Moskauer Staatlichen Universität in der Sowjetunion in der Schule von Kolmogorov studiert.

1960 hat er die Sowjetunion verlassen und hat begonnen, an Elliott Brothers, Ltd, ein kleiner Computer Produktionsunternehmen zu arbeiten, wo er Algol 60 durchgeführt hat und begonnen hat, Hauptalgorithmen zu entwickeln. Er ist der Professor der Computerwissenschaft der Wissenschaft an der Universität der Königin Belfasts 1968 geworden, und 1977 ist nach Oxford als der Professor der Computerwissenschaft zurückgekehrt, um Programming Research Group in der Universität Oxford Rechenlaboratorium (jetzt Abteilung der Informatik, Universität Oxfords) im Anschluss an den Tod von Christopher Strachey zu führen. Er ist jetzt ein Emeritus dort, und ist auch ein Hauptforscher an Microsoft Research in Cambridge, England.

Die bedeutendste Arbeit von Hoare ist in den folgenden Gebieten gewesen: Sein Sortieren-Algorithmus (Schnellsortierung), Logik von Hoare, die formelle Sprache Communicating Sequential Processes (CSP) hat gepflegt, die Wechselwirkungen zwischen gleichzeitigen Prozessen anzugeben, Computer Betriebssysteme mit dem Monitor-Konzept und der axiomatischen Spezifizierung von Programmiersprachen strukturierend.

1982 wurde er zu einem Gefährten der Königlichen Gesellschaft gewählt.

Zitate

Der berühmte Kostenvoranschlag, "Sollten wir über die kleine Wirksamkeit vergessen, sagt ungefähr 97 % der Zeit: Frühoptimierung ist die Wurzel des ganzen Übels" durch Donald Knuth, ist auch Hoare irrtümlicherweise zugeschrieben worden (durch Knuth selbst), obwohl Hoare Autorschaft abstreitet.

Auf einer Konferenz 2009 sprechend, hat sich Hoare dafür entschuldigt, die ungültige Verweisung zu erfinden:

Ein anderer Kostenvoranschlag um die Schwierigkeit, Softwaresysteme zu schaffen, die nicht allzu komplizierte Staaten sind:

Preise

• ACM Turing Preis für "grundsätzliche Beiträge zur Definition und dem Design von Programmiersprachen". Der Preis wurde ihm auf der ACM Jährlichen Konferenz in Nashville, Tennessee, am 27. Oktober 1980, von Walter Carlson, Vorsitzendem des Preis-Komitees präsentiert. Eine Abschrift der Rede von Hoare wurde in Kommunikationen des ACM veröffentlicht.
• Gedächtnispreis von Harry H. Goode (1981)
• Gefährte der königlichen Gesellschaft (1982)
• Ehrendoktorat der Wissenschaft durch die Universität der Königin Belfast (1987)
• Geadelt für Dienstleistungen zur Ausbildung und Informatik (2000)
• Kyoto Preis für die Informationswissenschaft (2000)
• Gefährte der königlichen Akademie der Technik (2005)
• Computer History Museum (CHM) in der Bergansicht, dem Gefährten von Kalifornien des Museums "für die Entwicklung des Schnellsortierungsalgorithmus und für lebenslängliche Beiträge zur Theorie von Programmiersprachen" (2006)
• Ehrendoktorat der Wissenschaft von der Abteilung der Informatik der Athener Universität der Volkswirtschaft und des Geschäfts (AUEB) (2007)
• IEEE Medaille von John von Neumann (2011)
• Ehrendoktorat der Wissenschaft, von der Universität des Bades (1993)

Bücher

Weiterführende Literatur

Außenverbindungen

• Microsoft Hausseite — kurze Lebensbeschreibung
• Mündliches Geschichtsinterview mit C. A. R. Hoare am Institut von Charles Babbage, der Universität Minnesotas, Minneapolis.
• Der klassische Artikel über Monitore — Der ursprüngliche Artikel über Monitore