Tony Hoare
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 durch die Entwicklung des Quicksort-Algorithmus sowie des Hoare-Kalküls, mit der sich die Korrektheit von Algorithmen beweisen lässt, hohes Ansehen. Ebenso entwickelte er das Programmiermodell Communicating Sequential Processes (CSP), welches zum Beispiel die Entwicklung der Programmiersprachen Ada und Occam beeinflusst hat.
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 Queens-Universität_zu_Belfast habilitiert und kehrte dann 1977 als Professor der Informatik an die Universität_Oxford zurück.
1980 erhielt er den Turing Award für seine grundlegenden Errungenschaften bei der Definition und Entwicklung von Programmiersprachen. Während der Verleihung des Preises machte er während seiner Rede [http://www.braithwaite-lee.com/opinions/p75-hoare.pdf] die oft zitierte humorvolle Aussage:
: ?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.?
2000 erhielt er den Kyoto-Preis.
Hoare ist heute emeritierter Professor der Universität Oxford und leitender Forscher bei Microsoft Research in Cambridge, England.
Eine weitere berühmte Aussage von ihm ist:
: ?Premature optimization is the root of all evil.?
Übersetzt:
: ?Zu frühe Optimierung ist die Wurzel allen Übels.?
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), [http://portal.acm.org/toc.cfm?id=944331 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, ([http://www.usingcsp.com/ elektronische Version])
Weblinks
*
• Tony Hoare, Oxford University
• Kurze Biografie (engl.)
• The 1980 ACM Turing Award Lecture - eine Abschrift der Rede von Tony Hoare
• Advice for Ph.D. students from Tony Hoare ? Schlussrede der Internation Summer School Marktoberdorf 2006 mit Hinweisen für Doktoranden
