C. A. R. Hoare

C. A. R. Hoare
Tony Hoare, 2005

Sir Charles Antony Richard Hoare (* 11. Januar 1934 in Colombo, Sri Lanka), besser bekannt als Tony Hoare oder C.A.R. Hoare, ist ein britischer Informatiker.

Hoare erlangte hohes Ansehen durch die Entwicklung des Quicksort-Algorithmus sowie des Hoare-Kalküls, mit der 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 und Occam beeinflusst hat.

Inhaltsverzeichnis

Biographie

Hoare wurde in Colombo, Sri Lanka 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 Elliot Brothers mit der Implementierung von Algol 60 und ersten Algorithmenstudien. 1968 wurde er an der Queen’s University of Belfast habilitiert und kehrte 1977 als Professor der Informatik an die University of Oxford zurück.

Hoare ist heute emeritierter Professor der Universität Oxford und leitender Forscher bei Microsoft Research in Cambridge, England.

Auszeichnungen

  • 1980 erhielt er den Turing Award für seine grundlegenden Errungenschaften bei der Definition und Entwicklung von Programmiersprachen.
  • 2000 wurde ihm der Kyoto-Preis verliehen.
  • 2007 Friedrich-L.-Bauer-Preis für Informatik

Zitate

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.
(Frei übersetzt: 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.)“

Tony Hoare, Dankesrede für den Turingpreis 1980 [1]

Eine weitere berühmte Aussage, die als „Hoare's dictum“ bekannt ist:

Premature optimization is the root of all evil.”
(Zu frühe Optimierung ist die Wurzel allen Übels.)“

Tony Hoare [2]

I think Quicksort is the only really interesting algorithm that I've ever developed.

Tony Hoare [3]

Einzelnachweise

  1. [1] PDF-Datei
  2. Knuth, Donald. Structured Programming with go to Statements, ACM Journal Computing Surveys, Vol 6, No. 4, Dez. 1974. S.268.
  3. Len Shustek. An Interview with C.A.R. Hoare, Communications of the ACM, Vol 52, No 3, March 2009, S.38ff

Literatur

  • C. A. R. Hoare: Assertions, A Personal Perspective in M. Broy und E. Denert (Hrsg.): Software Pioneers – Contributions to Software Engineering, Springer 2002 (Die beiliegenden DVDs enthalten ein Video des Vortrags von Tony Hoare), Abstracts und mehr
  • C. A. R. Hoare: An Axiomatic Basis for Computer Programming, Communications of the ACM, Vol. 12 (10), 1969, pp. 576-580, 583 (Reprint im o.g. Buch Software Pioneers)
  • C. A. R. Hoare: Proof of Correctness of Data Representations, Acta Informatica, Vol. 1, Fasc. 4, 1972, pp. 271-281 (Reprint im o.g. Buch Software Pioneers)
  • C. A. R. Hoare: Communicating Sequential Processes, Prentice-Hall, 1985, (PDF-Version)

Weblinks


Wikimedia Foundation.

Игры ⚽ Нужно решить контрольную?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Hoare logic — (also known as Floyd ndash;Hoare logic) is a formal system developed by the British computer scientist C. A. R. Hoare, and subsequently refined by Hoare and other researchers. The purpose of the system is to provide a set of logical rules in… …   Wikipedia

  • Hoare — ist der Name folgender Personen: Mike Hoare (* 1920), britischer Offizier und Söldner Samuel Hoare, 1. Viscount Templewood (1880–1959), britischer Politiker Sean Hoare (1963/64−2011), britischer Journalist Tony Hoare (* 1934), britischer… …   Deutsch Wikipedia

  • Hoare — is the name of: * C. A. R. Hoare (b. 1934), British computer scientist, creator of Hoare logic and the Quicksort sorting algorithm * Kelly Hoare (b. 1963), Australian politician * Mike Hoare (b. 1920), Irish mercenary leader * Prince Hoare… …   Wikipedia

  • Hoare (Santurce) — Hoare …   Wikipedia Español

  • Hoare, Sir Samuel (John Gurney), 2o baronet — también llamado (desde 1944) vizconde Templewood (de Chelsea) (24 feb. 1880, Londres, Inglaterra–7 may. 1959, Londres). Estadista británico. Como secretario de Estado para India (1931–35), asumió la enorme tarea de elaborar y defender en el… …   Enciclopedia Universal

  • Hoare —   [ hɔ:ə], Samuel, britischer Politiker, Templewood of Chelsea, Samuel John Gurney Hoare …   Universal-Lexikon

  • Hoare Baronets — There have been four Baronetcies created for people with the surname Hoare, one in the Baronetage of Ireland, one in the Baronetage of Great Britain and two in the Baronetage of the United Kingdom. The second holder of the third creation was… …   Wikipedia

  • Hoare-Logik — Der Hoare Kalkül (auch Hoare Logik) ist ein Formales System, entwickelt von dem britischen Informatiker C. A. R. Hoare und später verfeinert von Hoare und anderen Wissenschaftlern. Er wurde 1969 in einem Artikel mit dem Titel An axiomatic basis… …   Deutsch Wikipedia

  • Hoare-Tripel — Der Hoare Kalkül (auch Hoare Logik) ist ein Formales System, entwickelt von dem britischen Informatiker C. A. R. Hoare und später verfeinert von Hoare und anderen Wissenschaftlern. Er wurde 1969 in einem Artikel mit dem Titel An axiomatic basis… …   Deutsch Wikipedia

  • Hoare Lea — Infobox Company company name = Hoare Lea Consulting Engineers company company type = Partnership foundation = 1862 by Edwin Hoare and Henry Lea location = Bristol UK 10 offices throughout the UK industry = engineering consulting products =… …   Wikipedia

  • Hoare-Kalkül — Der Hoare Kalkül (auch Hoare Logik) ist ein Formales System, entwickelt von dem britischen Informatiker C. A. R. Hoare und später verfeinert von Hoare und anderen Wissenschaftlern. Er wurde 1969 in einem Artikel mit dem Titel An axiomatic basis… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”