Tony Hoare

Sir Tony Hoare (2011)

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, durch den 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, Occam und Go 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 Queen’s University Belfast habilitiert und kehrte 1977 als Professor der Informatik an die University of Oxford zurück.

Als Experte für Programmiersprachen und deren Zuverlässigkeit wandte sich Hoare 1981 öffentlich gegen den Einsatz von Ada in sicherheitsrelevanten Bereichen wie der Steuerung von Atomraketen, weil er Ada für grundsätzlich unzuverlässig hielt. Wenn eine Programmiersprache in solchem Kontext unzuverlässige Programme erzeugt, sei dies für eine Gesellschaft gefährlicher als unsichere Autos, giftige Pestizide oder zufällige Lecks in Kernkraftwerken.[1]

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

Auszeichnungen

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. The first method is far more difficult.”

„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. Die erste Methode ist weitaus schwieriger.“

Tony Hoare: Dankesrede für den Turingpreis 1980[6]

“I think Quicksort is the only really interesting algorithm that I’ve ever developed.”

„Ich denke, Quicksort ist der einzige wirklich interessante Algorithmus, den ich je entwickelt habe.“

Tony Hoare[7]

Schriften

  • Assertions, A Personal Perspective. In: Manfred Broy, Ernst Denert (Hrsg.): Software Pioneers – Contributions to Software Engineering. Springer, 2002, ISBN 3-540-43081-4 (Abstracts und mehr – Die beiliegenden DVDs enthalten ein Video des Vortrags von Tony Hoare).
  • An Axiomatic Basis for Computer Programming. In: Communications of the ACM. Vol. 14, Nr. 1, 1971, ISSN 0001-0782, S. 39–45, doi:10.1145/363235.363259.
  • Proof of a Program: FIND. In: Communications of the ACM. Vol. 12, Nr. 10, 1969, ISSN 0001-0782, S. 576–580, 583, doi:10.1145/362452.362489 (Reprint im o. g. Buch Software Pioneers).
  • Towards a theory of parallel programming. In: C. A. R. Hoare, R. H. Perrott (Hrsg.): Operating systems techniques. Proceedings of a Seminar at Queen’s University Belfast 1971, Academic Press 1972, S. 61–71.
  • Proof of Correctness of Data Representations. In: Acta Informatica. Vol. 1, Nr. 4, 1972, ISSN 0001-5903, S. 271–281, doi:10.1007/BF00289507 (Reprint im o. g. Buch Software Pioneers).
  • Communicating Sequential Processes. Prentice-Hall, 1985 (PDF-Version).
  • Retrospective: An Axiomatic Basis for Computer Programming. In: Communications of the ACM. Vol. 52, Nr. 10, 2009, ISSN 0001-0782, S. 30–32, doi:10.1145/1562764.1562779.
Commons: Tony Hoare – Sammlung von Bildern, Videos und Audiodateien

Einzelnachweise

  1. Pearce Wright: Defence computer language unreliable, professor says in The Times vom 1. Juli 1981.
  2. Mitgliederverzeichnis: Charles Hoare. Academia Europaea, abgerufen am 25. November 2017 (englisch).
  3. Knights and Dames: HA–HOR bei Leigh Rayment's Peerage
  4. [1]
  5. Royal Medal 2023
  6. C. A. R. Hoare: The Emperor’s Old Clothes. The 1980 ACM Turing Award Lecture. In: Communications of the ACM. Vol. 24, Nr. 2, 1981, ISSN 0001-0782, S. 75–83, doi:10.1145/358549.358561.
  7. Len Shustek: An Interview with C.A.R. Hoare. In: Communications of the ACM. Vol 52, Nr. 3, März 2009, ISSN 0001-0782, S. 38 ff., doi:10.1145/1467247.1467261.

Read other articles:

رائيتيا   إحداثيات: 47°22′N 8°34′E / 47.36°N 8.56°E / 47.36; 8.56  البلد روما القديمة  المدة؟ تعديل مصدري - تعديل   موقع المقاطعة رائيتيا (باللاتينية: Raetia) و (بالألمانية: Rhaetia) هي محافظة سابقة في جبال الألب كانت تابعة إلى الإمبراطورية الرومانية، وتم اشتقاقها من شعبها ا...

 

Voce principale: Forlì Football Club. Calcio ForlìStagione 1988-1989Sport calcio Squadra Forlì Allenatore Franco Varrella Presidente Alessandro Laghi Serie C26º posto nel girone B Coppa Italia Serie CPrimo turno disputa Maggiori presenzeCampionato: Luzi e Mollica (33) Miglior marcatoreCampionato: Mollica (12)Totale: Mollica (15) StadioStadio Tullo Morgagni 1987-1988 1989-1990 Si invita a seguire il modello di voce Questa pagina raccoglie le informazioni riguardanti il Calcio Forlì n...

 

RSIA Tumbuh KembangPemerintah Kota DepokGeografiLokasiJalan Raya Bogor №23, Tugu, Kec. Cimanggis, Kota Depok, Jawa Barat 16451OrganisasiJenisBAfiliasi dengan universitasDinas Kesehatan Kota DepokSejarahDibuka13 Juni 2011Pranala luarSitus webWebsite resmi RSIA Tumbuh Kembang adalah sebuah rumah sakit swasta yang berada di Kota Depok, Jawa Barat. Didirikan pada tanggal 13 Juni 2011 atas prakarsa PT. Endraz Medica.[1] RSIA Tumbuh Kembang dibangun atas prakarsa PT. Endraz Medica. Fasili...

Kakao M Corp.Nama asli주식회사 카카오엠(lengkap)(주)카카오M(singkat)SebelumnyaSeoul Records (1978–2000, 2005–2008)YBM Seoul Records (2000–2005)LOEN Entertainment (2008–2018)JenisPublik Jusikhoesa (J.H.)Kode emitenKRX: 016170KRX 100 ComponentKOSDAQ 100 ComponentIndustriEntertainmentGenreK-popR&BSoulFolkDanceElectronicHip hopTrotRockDidirikanOktober 1978; 45 tahun lalu (1978-10)PendiriMin Yeong-binKantorpusatSeoul, Korea SelatanCabang3 (lihat daftar)TokohkunciLee Ja...

 

La grève générale de janvier 1905 à Saint-Pétersbourg débute le 3 janvier 1905 (16 janvier dans le calendrier grégorien) aux usines Poutilovski et se termine le soir du 9 janvier 1905 (22 janvier dans le calendrier grégorien) par la fusillade du Dimanche rouge. Celle-ci se produit après la vaine tentative de dépôt de la Pétition des travailleurs de Saint-Pétersbourg du 9 janvier 1905 entre les mains du tsar Nicolas II. Préliminaires Grèves locales En décembre 1904, le Collecti...

 

بني ميمون تقسيم إداري البلد  اليمن[1] مديرية مديرية عيال سريح المسؤولون محافظة محافظة عمران إحداثيات 15°35′00″N 44°02′00″E / 15.58333333°N 44.03333333°E / 15.58333333; 44.03333333  السكان التعداد السكاني 2955 نسمة (إحصاء 2004) معلومات أخرى التوقيت توقيت اليمن (+3 غرينيتش) الرمز الجغرا...

奈良県立大宇陀高等学校菟田野分校 北緯34度27分55秒 東経135度58分50秒 / 北緯34.465361度 東経135.980444度 / 34.465361; 135.980444座標: 北緯34度27分55秒 東経135度58分50秒 / 北緯34.465361度 東経135.980444度 / 34.465361; 135.980444過去の名称 奈良県立大宇陀高等学校宇賀志分校国公私立の別 公立学校設置者 宇陀市学区 全県一学区校訓 剛健・進取・偕和設立年

 

Coordenadas: 50° 20' 35 N 16° 52' 46 E Lądek-Zdrój Lądek-Zdrój Câmara Municipal de Lądek-Zdrój Voivodia Baixa Silésia Condado Kłodzko Comuna Lądek-Zdrój Área 20,32 km² População (2016) 5 766[1][2] habitantes Densidade 283,8 hab/km² Altitude 440–480 metros Código telefônico (+48) 74 Matrículas de automóveis DKL Localização 50° 20' 35 N 16° 52' 46 E Cidade da Polónia Lądek-Zdrój é um município da Polônia, na voivodia da Baix...

 

1977 studio album by Cecil TaylorJumpin' PunkinsStudio album by Cecil TaylorReleased1977, 1987RecordedJanuary 9–10, 1961GenreJazzLength33:23LabelCandidCecil Taylor chronology Cell Walk for Celeste(1961) Jumpin' Punkins(1977) New York City R&B(1961) Jumpin' Punkins is an album by Cecil Taylor recorded for the Candid label in January 1961 but not issued in the States until 1987. The first release was in Japan by Victor in 1977 as Cecil Taylor All Stars Featuring Buell Neidlinger. ...

?Анциструс звичайний Охоронний статус Найменший ризик (МСОП 3.1) Біологічна класифікація Домен: Ядерні (Eukaryota) Царство: Тварини (Animalia) Підцарство: Справжні багатоклітинні (Eumetazoa) Тип: Хордові (Chordata) Підтип: Черепні (Craniata) Надклас: Щелепні (Gnathostomata) Клас: Променепер...

 

WarsaDistrikNegara IndonesiaProvinsiPapuaKabupatenBiak NumforPemerintahan • Kepala distrikZeth Z Rolando Rahayaan. S.sos, M.SiPopulasi • Total- jiwaKode Kemendagri91.06.09 Kode BPS9409090 Luas- km²Kampung/kelurahan14[1] Air terjun di Warsa Warsa adalah sebuah distrik di Kabupaten Biak Numfor, Papua, Indonesia. Referensi ^ Badan Pusat Statistik, Master Wilayah Skema 456 Kabupaten/Kota (Keadaan Desember 2007), Halaman 1400 Pranala luar Wikimedia Commons mem...

 

Scoreboard from 2023 Cricket World Cup group stage match The 2023 Cricket World Cup group stage was played in a round-robin league format, with all ten teams playing each other once in a single group, resulting in a total of 45 matches being played. The top four teams from the group progressed to the knockout stage. This format was the same as the preceding 2019 Cricket World Cup and was also used in the 1992 Cricket World Cup.[1] Points table Pos Teamvte Pld W L T NR Pts NRR Qualific...

يفتقر محتوى هذه المقالة إلى الاستشهاد بمصادر. فضلاً، ساهم في تطوير هذه المقالة من خلال إضافة مصادر موثوق بها. أي معلومات غير موثقة يمكن التشكيك بها وإزالتها. (مارس 2019) هذه المقالة يتيمة إذ تصل إليها مقالات أخرى قليلة جدًا. فضلًا، ساعد بإضافة وصلة إليها في مقالات متعلقة بها. (...

 

Cầu Phú MỹCầu Phú Mỹ trong pháo hoa vào ngày Quốc khánh mùng 2 tháng 9Vị tríThành phố Hồ Chí MinhBắc quasông Sài GònTọa độ10°44′41,97″B 106°44′40,04″Đ / 10,73333°B 106,73333°Đ / 10.73333; 106.73333Thông số kỹ thuậtKiểu cầuCầu dây văngTổng chiều dài2.031 mRộng27,5 mCao160,5 mNhịp chính350mLịch sửTổng thầuBilfinger Berger (Đức) - tổng thầu, Baulderstone Hornibrook (Úc), Freyssinet...

 

Commune in Battambang Province, CambodiaPhnum Proek ឃុំភ្នំព្រឹកCommuneCountry CambodiaProvinceBattambang ProvinceDistrictPhnum Proek DistrictVillages5Time zoneUTC+07 Phnum Proek is a khum (commune) of Phnum Proek District in Battambang Province in north-western Cambodia.[1] It is the seat of Phnum Proek District. Villages កូដភូមិ ភូមិ ជាអក្សរឡាតាំង 02110101 ទួលខ្ពស់ Tuol Khpos 02110102 បេ...

Scottish political party Alba Party Pàrtaidh AlbaLeaderAlex Salmond[1]Depute Leader[A]Kenny MacAskill[2]House of Commons LeaderNeale HanveyScottish Parliament LeaderAsh ReganGeneral SecretaryChristopher McEleny[3]Founded8 February 2021RegisteredPP12700Split fromScottish National Party[4]Headquarters1 Lochrin Square92–98 FountainbridgeEdinburghEH3 9QAMembership (2023)≈7,500[5]IdeologyScottish nationalism[6][7][8]...

 

Multi-purpose stadium in Bhubaneswar, Odisha Kalinga StadiumAerial view of the Kalinga Stadium during an ISL match in 2019, with the Hockey stadium in the top right cornerLocationBidyut Marg, Bhubaneswar, OdishaCoordinates20°17′27″N 85°49′30″E / 20.290917°N 85.824991°E / 20.290917; 85.824991OwnerGovernment of OdishaOperatorSports and Youth Services (DSYS)CapacityKalinga Stadium: 15,000[1] Kalinga Hockey Stadium: 16,000[2]Record attendan...

 

Association football club in Spain Football clubTeruelFull nameClub Deportivo TeruelFounded1954; 69 years ago (1954)GroundPinillaTeruel, Aragon, SpainCapacity4,500[1]PresidentRamón NavarroHead coachVíctor BravoLeaguePrimera Federación – Group 12022–23Segunda Federación – Group 3, 1st of 18 (champions) Home colours Away colours Current season Club Deportivo Teruel is a Spanish football team based in Teruel, in the autonomous community of Aragon. Founded in 1...

Kereta melewati Viaduk Martin Gil di Spanyol Infrastruktur fisik adalah sekumpulan fasilitas fisik yang dibangun oleh manusia sebagai sarana pendukung dalam memenuhi kebutuhan hidup sehari-hari. Fasilitas-fasilitas ini meliputi jalan, jembatan, gedung, sistem jaringan air dan listrik, sistem transportasi, dan lain-lain. Pentingnya infrastruktur fisik dapat dilihat dari fungsinya sebagai penghubung antarwilayah dan pembuka aksesibilitas. Dengan adanya infrastruktur fisik yang baik, aktivitas m...

 

Mexican TV series or program CaboGenreTelenovelaBased onTú o nadieby María ZarattiniDeveloped by José Alberto Castro Carlos Daniel González Vanessa Varela Fernando Garcilita Directed by Salvador Garcini Fez Noriega Starring Bárbara de Regil Matías Novoa Eva Cedeño Diego Amozurrutia Rebecca Jones Rafael Inclán Theme music composer Diego Amozurrutia José Benjamín Pérez Miky Mendoza Oscar Mont Opening themeTúby Melissa RoblesComposers Armando López Berenice González Claudia Ca...

 

Strategi Solo vs Squad di Free Fire: Cara Menang Mudah!