Die Implementierung einer Null-Referenz im Jahr 1965 bleibt der am häufigsten zitierte Fehler in der Karriere von Tony Hoare, der ihn als einen Milliarden-Dollar-Fehler bezeichnete. Über dieses Geständnis hinaus umfassen seine grundlegenden Beiträge zur Informatik die Entwicklung des Quicksort-Algorithmus, die formale Logik zur Programmiermerkmalprüfung und die Spezifikation nebenläufiger Systeme durch Communicating Sequential Processes.
Frühe Bildung und Sowjetischer Austausch
Tony Hoare wurde 1934 in Colombo geboren und besuchte die Dragon School in Oxford sowie die King's School in Canterbury. Er studierte Klassische Altertumswissenschaften und Philosophie am Merton College der Universität Oxford und machte dort 1956 seinen Abschluss. Während seines anschließenden Wehrdienstes bei der Royal Navy erlangte er Kenntnisse der russischen Sprache. Diese Fähigkeit ermöglichte ihm einen Aufenthalt als Austauschstudent des British Council an der Lomonossow-Universität Moskau, wo er maschinelle Übersetzung unter der Leitung von Andrei Kolmogorow studierte.
Beiträge zu Algorithmen und Logik
Nach dem Verlassen der Sowjetunion im Jahr 1960 trat Hoare in London in die Firma Elliott Brothers Ltd ein. Während dieser Zeit entwickelte er den Quicksort-Algorithmus und arbeitete an einem Compiler für ALGOL 60. Sein beruflicher Weg führte ihn an akademische Positionen, darunter 1968 als Professor für Informatik an der Queen’s University Belfast. 1967 kehrte er an die Universität Oxford zurück, wo er die Programming Research Group leitete und von 1988 bis zu seiner Emeritierung im Jahr 2000 als erster Christopher Strachey Professor für Informatik tätig war.
Formale Methoden und Nebenläufigkeit
Hoares Forschung konzentrierte sich auf die strukturelle Integrität von Software. Er entwickelte die Hoare-Logik, um eine axiomatische Grundlage für die Überprüfung der Korrektheit von Programmen zu schaffen. Im Bereich des nebenläufigen Rechnens führte er Communicating Sequential Processes (CSP) ein, eine formale Sprache zur Spezifikation von Interaktionen zwischen nebenläufigen Prozessen. Seine Arbeiten in diesen Bereichen zielten darauf ab, Zuverlässigkeitsprobleme in Großsystemen zu lösen, obwohl er später einräumte, dass die industrielle Einführung dieser formalen Methoden in der Praxis auf erhebliche Einschränkungen stieß.
Zwanzig Fragen, acht Minuten auf der Uhr und ein Perzentil, gemessen an allen bisherigen Teilnehmern. Ohne Anmeldung.
IQ-Test starten →Berufliche Ehrungen und spätere Jahre
Im Laufe seiner Karriere erhielt Hoare zahlreiche Auszeichnungen, darunter 1980 den ACM Turing Award, 1985 die Faraday-Medaille und im Jahr 2000 den Ritterstand (Knighthood). Er war Fellow der Royal Society und Mitglied mehrerer internationaler Organisationen, darunter der National Academy of Sciences und der Academia Europaea. Nach seiner Emeritierung in Oxford war er als leitender Forscher bei Microsoft Research in Cambridge tätig. Hoare starb am 5. März 2026 in Cambridge.
Kurze Fakten
- Geboren: 1934, Colombo - Verstorben: 2026, Cambridge - Bedeutender Algorithmus: Quicksort - Primäres Fachgebiet: Informatik - Jahr des Turing-Preises: 1980 - Wichtige akademische Positionen: Universität Oxford, Queen’s University Belfast - Geadelt: 2000 - Gesprochene Sprachen: Latein, Englisch, Russisch, Altgriechisch
Häufig gestellte Fragen
### Was war der Milliarden-Dollar-Fehler?
Hoare verwendete diesen Begriff, um seine Erfindung der Null-Referenz im Jahr 1965 zu beschreiben, die er beim Entwurf des Typsystems für ALGOL W implementierte, und stellte fest, dass sie zu weit verbreiteten Systemfehlern führte.
### Was sind Communicating Sequential Processes?
Es handelt sich um eine von Hoare eingeführte formale Sprache zur Spezifikation und Beschreibung der Interaktionen zwischen nebenläufigen Prozessen innerhalb eines Computersystems.
