Tony Hoare

Für den Fahrradrennfahrer siehe Tony Hoar.
Herr

Tony Hoare

FRS Freng
Sir Tony Hoare IMG 5125.jpg
Tony Hoare im Jahr 2011
Geboren
Charles Antony Richard Hoare

11. Januar 1934 (Alter 88)
Colombo, British Ceylon
Andere Namen C. A. R. Hoare
Alma Mater
Bekannt für
Auszeichnungen
Wissenschaftliche Karriere
Felder Informatik
Institutionen
Doktorand
Webseite www.cs.Ochse.AC.Vereinigtes Königreich/Personen/Tony.Hoare

Sir Charles Antony Richard Hoare (Tony Hoare oder C. A. R. Hoare) FRS Freng[3] (Geboren am 11. Januar 1934)[4] ist ein Briten Informatiker wer hat grundlegende Beiträge zu geleistet Programmiersprachen, Algorithmen, Betriebssysteme, formelle Überprüfung, und Gleichzeitiges Computer.[5] Seine Arbeit brachte ihm die ein Turing Award, normalerweise als die höchste Unterscheidung in der Informatik, 1980 angesehen.

Hoare entwickelte die Sortieren von Algorithmus schnelle Sorte 1959–1960.[6] Er entwickelte Hoare Logik, ein axiomatisch Grundlage für die Überprüfung Programm Korrektheit. In der Semantik von ParallelitätEr stellte die formale Sprache vor Kommunizieren von sequentiellen Prozessen (CSP), um die Wechselwirkungen gleichzeitiger Prozesse und zusammen mit anzugeben Edsger Dijkstra, formulierte die Dachphilosophenproblem.[7][8][9][10][11][12] Ihm wird auch die Entwicklung (und spätere Kritik) der zugeschrieben Null Zeiger, nachdem es in die eingeführt wurde Algol Sprachenfamilie. Seit 1977 hielt er Positionen in der Universität von Oxford und Microsoft Research in Cambridge.

Bildung und frühes Leben

Tony Hoare wurde geboren in Colombo, Ceylon (jetzt Sri Lanka) an britische Eltern; Sein Vater war ein Kolonial Beamte Und seine Mutter war die Tochter eines Tee -Pflanzers. Hoare wurde ausgebildet England Bei der Drachenschule in Oxford und die King's School in Canterbury.[13] Dann studierte er Klassiker und Philosophie ("Größen") bei Merton College, Oxford.[14] Beim Abschluss 1956 machte er 18 Monate Wehrdienst in dem Königliche Marine,[14] wo er Russisch lernte.[15] Er kehrte zum Universität von Oxford 1958 studieren Sie ein Postgraduiertenzertifikat in Statistiken,[14] Und hier begann er Computerprogrammierungunterrichtet worden Autocode auf der Ferranti Quecksilber durch Leslie Fox.[16] Er ging dann zu Moskauer Staatsuniversität Als ein Britischer Rat Austauschschüler,[14] wo er studierte Maschinenübersetzung unter Andrey Kolmogorov.[15]

Forschung und Karriere

1960 verließ Hoare das Sovietunion und begann bei der Arbeit bei Elliott Brothers Ltd,[14] Ein kleines Computer -Herstellungsunternehmen in London. Dort implementierte er die Sprache Algol 60 und begann, Major zu entwickeln Algorithmen.[17][18]

Er war an der Entwicklung beteiligt internationale Standards in Programmierung und Informatik als Mitglied der Internationale Föderation für Informationsverarbeitung (IFIP) Arbeitsgruppe 2.1 auf algorithmischen Sprachen und Kalkül,[19] die spezifizierten, pflegt und unterstützt die Sprachen Algol 60 und Algol 68.[20]

Er wurde Professor von Informatik Bei der Queen's University of Belfast 1968 und 1977 kehrte 1977 als Professor für Computer nach Oxford zurück, um die zu leiten Programmierforschungsgruppe in dem Labor des Computing Labor von Oxford University (jetzt Abteilung für Informatik, Universität Oxford) nach dem Tod von Christopher Strachey. Er ist jetzt ein emeritierter Professor dort und ist auch Hauptforscher bei Microsoft Research in Cambridge, England.[21][22][23]

Hoares bedeutendste Arbeit lag in den folgenden Bereichen: sein Sortier- und Auswahlalgorithmus (Schnelle Sorte und Schnellauswahl), Hoare Logik, die formale Sprache Kommunizieren von sequentiellen Prozessen (CSP) verwendet, um die Wechselwirkungen zwischen anzugeben gleichzeitige Prozesse (und in verschiedenen Programmiersprachen wie z. occam), strukturieren Computer Betriebssysteme Verwendung der Monitor Konzept und die axiomatisch Spezifikation von Programmiersprachen.[24][25]

Entschuldigungen und Retraktionen

Tony Hoare sprach 2009 auf einer Softwarekonferenz und entschuldigte sich für die Erfindung der Erfindung der NULL -Referenz:[26] [27]

Ich nenne es meinen Milliarden-Dollar-Fehler. Es war die Erfindung der Null -Referenz im Jahr 1965. Zu diesem Zeitpunkt habe ich das erste umfassende Typsystem für Referenzen in einer objektorientierten Sprache entworfen (Algol w). Mein Ziel war es, sicherzustellen, dass die gesamte Verwendung von Referenzen absolut sicher sein sollte, wobei die Überprüfung vom Compiler automatisch durchgeführt wird. Aber ich konnte der Versuchung nicht widerstehen, eine Nullreferenz einzulegen, einfach weil es so einfach zu implementieren war. Dies hat zu unzähligen Fehlern, Schwachstellen und Systemunfällen geführt, die in den letzten vierzig Jahren wahrscheinlich eine Milliarde Dollar an Schmerzen und Schäden verursacht haben.[28]

Viele Jahre unter seiner Führung arbeiteten die Abteilung von Hoare an formalen Spezifikationssprachen wie z. CSP und Z. Diese haben die erwartete Aufnahme der Industrie nicht erreicht, und 1995 wurde Hoare über die ursprünglichen Annahmen nachgedacht:[29]

Vor zehn Jahren sagten Forscher zu formellen Methoden (und ich war am meisten falsch unter ihnen), dass die Programmierwelt jede durch Formalisierung versprochene Unterstützung mit Dankbarkeit nutzen würde, um die Zuverlässigkeitsprobleme zu lösen, die auftreten, wenn Programme groß und sicherheitlicher werden. Die Programme sind jetzt sehr groß und sehr kritisch geworden - weit über die Größenordnung hinaus, die mit formellen Methoden bequem angegangen werden kann. Es gab viele Probleme und Misserfolge, aber diese waren fast immer auf eine unzureichende Analyse der Anforderungen oder der unzureichenden Managementkontrolle zurückzuführen. Es hat sich herausgestellt, dass die Welt einfach nicht wesentlich unter der Art von Problem leidet, die unsere Forschung ursprünglich lösen sollte.

Auszeichnungen und Ehrungen

Persönliches Leben

1962 heiratete Hoare Jill Pym, Mitglied seines Forschungsteams.[43]

Bücher

  • Dahl, O.-J.; Dijkstra, E. W.; Hoare, C. A. R. (1972). Strukturierte Programmierung. Akademische Presse. ISBN 978-0-12-200550-3. OCLC 23937947.
  • C. A. R. Hoare (1985). Kommunizieren von sequentiellen Prozessen. Prentice Hall Internationale Serie in Informatik. ISBN978-0131532717 (Hardback) oder ISBN978-0131532892 (Taschenbuch). (Online verfügbar unter http://www.usingcsp.com/ im PDF -Format.)
  • Hoare, C. A. R. (1989). C. B., Jones (Hrsg.). Essays in Computer Science. Prentice Hall International Series in Informatik. ISBN 978-0-13-284027-9.
  • Hoare, C. A. R.; Gordon, M. J. C. (1992). Mechanisiertes Denken und Hardwaredesign. Prentice Hall International Series in Informatik. ISBN 978-0-13-572405-7. OCLC 25712842.
  • Hoare, C. A. R.; Er, Jifeng (1998). Programmierheorien vereinen. Prentice Hall International Series in Informatik. ISBN 978-0-13-458761-5. OCLC 38199961.

Verweise

  1. ^ a b Tony Hoare Bei der Mathematik Genealogie -Projekt
  2. ^ Sampaio, Augusto (1993). Ein algebraischer Ansatz zum Compiler -Design. Bodleian.ox.ac.uk (DPHIL -These). Universität von Oxford. OCLC 854973008. Ethos uk.bl.ethos.334903.
  3. ^ a b c "Liste der Stipendiaten".
  4. ^ "Geburtstage 10. Januar". Die Zeiten. London. 10. Januar 2009. Abgerufen 9. Januar 2010.
  5. ^ Jones, Cliff B.; Misra, Jayadev, eds. (2021). Programmtheorien: Das Leben und die Werke von Tony Hoare. ACM -Bücher. Vol. 39. New York, NY: Verband für Rechenmaschinen. doi:10.1145/3477355. ISBN 978-1-4503-8728-6. S2CID 238251696.
  6. ^ "Sir Antony Hoare". Computergeschichte Museum. Archiviert von das Original am 3. April 2015. Abgerufen 22. April 2015.
  7. ^ Tony Hoare Autorenprofilseite am ACM Digitale Bibliothek
  8. ^ C. A. R. Hoare bei DBLP Bibliographieserver Edit this at Wikidata
  9. ^ Tony Hoare Veröffentlichungen indexiert von Microsoft Academic
  10. ^ Shutek, L. (2009). "Interview: Ein Interview mit C.A.R. Hoare". Kommunikation der ACM. 52 (3): 38–41. doi:10.1145/1467247.1467261. S2CID 1868477.
  11. ^ Hoare, C. A. R. (1974). "Monitore: Ein Betriebssystemstrukturierungskonzept". Kommunikation der ACM. 17 (10): 549–557. doi:10.1145/355620.361161. S2CID 1005769.
  12. ^ Bowen, Jonathan (8. September 2006). Orale Geschichte von Sir Antony Hoare (PDF). Hoare (Sir Antony, C.A.R.) Oral History, CHM Referenznummer: x3698.2007 (Bericht). Computergeschichte Museum. Archiviert von das Original zu 2013. Abgerufen 18. April 2014.
  13. ^ Lean, Thomas (2011). "Professor Sir Tony Hoare" (PDF). Nationale Lebensgeschichten: Eine mündliche Geschichte der britischen Wissenschaft. VEREINIGTES KÖNIGREICH: Britische Bibliothek. Abgerufen 15. September 2014.
  14. ^ a b c d e Levens, R.G.C., ed. (1964). Merton College Register 1900-1964. Oxford: Basil Blackwell. p. 434.
  15. ^ a b Hoare, Tony (Herbst 2009). "Meine frühen Tage in Elliotts". Auferstehung (48). ISSN 0958-7403. Abgerufen 27. Mai 2014.
  16. ^ Roscoe, Bill; Jones, Cliff (2010). "1 Einsicht, Inspiration und Zusammenarbeit" (PDF). Überlegungen zur Arbeit von C.A.R. Hoare. Springer. ISBN 978-1-84882-911-4.
  17. ^ a b Hoare, C.A.R. (Februar 1981). "Die alten Kleider des Kaisers". Kommunikation der ACM. 24 (2): 5–83. doi:10.1145/358549.358561. ISSN 0001-0782.
  18. ^ Hoare, C. A. R. (1981). "Die alten Kleider des Kaisers". Kommunikation der ACM. 24 (2): 75–83. doi:10.1145/358549.358561.
  19. ^ Jeuring, Johan; Meertens, Lambert; Guttmann, Walter (17. August 2016). "Profil der IFIP -Arbeitsgruppe 2.1". Foswiki. Abgerufen 7. Oktober 2020.
  20. ^ Swierstra, doitaitse; Gibbons, Jeremy; Meertens, Lambert (2. März 2011). "Scopeetc: IFIP21: Foswiki". Foswiki. Abgerufen 7. Oktober 2020.
  21. ^ Microsoft Homepage - Kurze Biographie
  22. ^ Oral History Interview mit C. A. R. Hoare bei Charles Babbage Institute, University of Minnesota, Minneapolis.
  23. ^ Der klassische Artikel über Monitore - Der ursprüngliche Artikel über Monitore
  24. ^ "Vorwort zum ACM Turing Award Lecture" (PDF). Archiviert von das Original (PDF) am 19. April 2012.
  25. ^ "C. Antony (Tony) R. Hoare". Archiviert von das Original am 1. Juli 2012.
  26. ^ Hoare, Tony (25. August 2009). "NULL REFERENZEN: Der Milliarden -Dollar -Fehler". Infoq.com.
  27. ^ "NULL: Der Milliarden -Dollar -Fehler". Hashhnode.com.
  28. ^ Hoare, Tony (2009). "NULL REFERENZEN: Der Milliarden -Dollar -Fehler" (Präsentation Abstract). Qcon London. Archiviert Aus dem Original am 28. Juni 2009.
  29. ^ Hoare, C. A. R. (1996). "Vereinigung der Theorien: Eine Herausforderung für die Berechnung der Wissenschaft". Ausgewählte Arbeiten aus dem 11. Workshop zur Spezifikation der abstrakten Datentypen Joint mit dem 8. Compass Workshop zu den jüngsten Trends in der Datentypspezifikation. Springer-Verlag. S. 49–57. ISBN 3-540-61629-2.
  30. ^ Hoare, Charles Anthony Richard (27. Oktober 1980). "Die alte Kleidung des Kaisers: Der 1980 ACM Turing Award Lecture" (PDF). Verband für Rechenmaschinen. Archiviert von das Original (PDF) am 19. April 2012.
  31. ^ Anon (1982). "Anthony Hoare FRS". Royalsociety.org. London: königliche Gesellschaft.
  32. ^ "Ehrenabsolventen 1989 zu präsentieren". Bath.ac.uk. Universität von Bath. Abgerufen 18. Februar 2012.
  33. ^ "(Charles) Antony Richard (Tony) Hoare -Biographie". Archiviert von das Original am 17. Juli 2014.
  34. ^ "Sir Antony Hoare: 2006 Fellow". Archiviert von das Original am 3. April 2015. Abgerufen 8. März 2020. "Archivierte Kopie". Archiviert von das Original am 3. April 2015. Abgerufen 22. April 2015.{{}}: CS1 Wartung: Archiviertes Kopie als Titel (Link)
  35. ^ "Jährliche Bewertung 2007: Überprüfung des Principal". www1.hw.ac.uk. Archiviert von das Original am 5. März 2016. Abgerufen 29. März 2016.
  36. ^ "Preisverleihung auf der Festveranstaltung" 40 Jahre Informatik in München ": Tu München Vergibt Friedrich L. Bauer-Preis An Tony Hoare" (auf Deutsch). Technische Universität München. 26. Oktober 2007. archiviert von das Original am 10. Juni 2016. Abgerufen 14. Mai 2016.
  37. ^ "Programmiersprachen Achievement Award 2011". ACM. Abgerufen 28. August 2012.
  38. ^ "IEEE John von Neumann -Medaillenempfänger" (PDF). IEEE. Abgerufen 26. Februar 2011.
  39. ^ Krzysztof, Diks (15. November 2012). "Profesor Hoare Doktorem Honoris Causa UniwerSytetu Warszawskiego" (auf Polnisch). Universität Warschau. Archiviert von das Original am 26. August 2014. Abgerufen 26. November 2012.
  40. ^ " (in Spanisch). 10. Mai 2013. Abgerufen 10. Mai 2013.
  41. ^ "ACM -Programmiersysteme und Sprachen Papierpreis". Verband für Rechenmaschinen. 1973. Abgerufen 7. Juli 2022.
  42. ^ Hoare, C.A.R. (1972). "Nachweis der Korrektheit von Datendarstellungen". Kommunikation der ACM. 1 (4): 271–281. doi:10.1007/bf00289507.
  43. ^ Jones, Cliff; Roscoe, A. W.; Wood, Kenneth R., Hrsg. (2010). Überlegungen zur Arbeit von C.A.R. Hoare. Springerwissenschaft. p.3. Bibcode:2010rwch.book ..... r.

Dieser Artikel enthält Text Verfügbar unter dem CC um 4.0 Lizenz.

Externe Links