Сер Чарлз Ентоні Річард Гоар (англ. Charles Antony Richard Hoare або Tony Hoare або C.A.R. Hoare; нар. 11 січня 1934, Коломбо, Цейлон, Британська імперія, сьогодні Шрі-Ланка) — англійський вчений, що працює в галузі інформатики та обчислювальної техніки. Найбільш знаний як розробник алгоритму «швидкого сортування» (англ. «quick sort»).
Чарлз Ентоні Річард Гоар | |
---|---|
Charles Antony Richard Hoare | |
Народився | 11 січня 1934 (90 років) Коломбо, Цейлон, Британська імперія, сьогодні Шрі-Ланка |
Місце проживання | Кембридж |
Країна | Велика Британія |
Діяльність | інформатик, інженер, програміст, письменник, викладач університету |
Alma mater | Оксфордський університет, МГУ |
Галузь | інформатика |
Заклад | Microsoft Університет Оксфорда Королівський університет Белфаста |
Науковий керівник | d[1] і Колмогоров Андрій Миколайович[1] |
Аспіранти, докторанти | Білл Роско d d d[1] d[1] d[1] d[1] d[1] d[1] d[1] d[1] d[1] d[1] d[1] d[1] d[1] d[1] d[1] d[1] d[1] d[1] d[1] d[1] |
Членство | Лондонське королівське товариство Національна академія дей-Лінчей Європейська академія[2] Баварська академія наук Національна академія наук США d[3] Association for Computing Machinery[4] |
Відомий завдяки: | алгоритм швидкого сортування Логіка Гоара |
Батько | d[5] |
Мати | d[5] |
У шлюбі з | d |
Нагороди | |
Особ. сторінка | cs.ox.ac.uk/people/tony.hoare/ |
Тоні Гоар у Вікісховищі |
Інші відомі результати його праці: мова Z специфікацій та паралельна модель взаємодії послідовних процесів (CSP, Communicating Sequential Processes). Серед його досягнень — розробка логіки Гоара, наукової основи для конструювання коректних програм, яку використовують для визначення та розробки мов програмування. Гоар написав низку праць зі створення специфікацій, проєктування, реалізації та супроводу програм, що висвітлюють важливість наукових досліджень для збільшення продуктивності комп'ютерів та збільшення надійності програмного забезпечення.
Біографія
Народився в Коломбо в Шрі-Ланці. Здобув ступінь бакалавра з класичних мов в Оксфордському університеті у 1956 році. Проходив службу у ВМС Великої Британії у 1956—1958 роках. Вивчивши російську мову, навчався комп'ютерного перекладу під керівництвом А. Н. Колмогорова в Московському Державному Університеті. У 1960 він залишив СРСР через політичну кризу (знищення розвідувального літака U-2) та почав працювати в невеликій компанії з виробництва комп'ютерів Elliot Brothers, де працював над реалізацією мови програмування ALGOL60. Тоді ж розпочав займатися розробкою алгоритмів.
1968 року Гоар став професором інформатики та обчислювальної техніки в Королівському Університеті Белфаста
1977 повернувся в Оксфорд як професор з обчислювальної техніки, щоб взяти під керівництво дослідницьку групу Programming Research Group, до задач якої входили зміцнення промислових, академічних та державних структур, що працюють в індустрії інформаційних технологій. Тема його досліджень в Оксфорді: коректність програмних специфікацій, проєктування та розробка критичних та некритичних систем.
1999 року вийшов на пенсію у званні почесного професора та перейшов на посаду дослідника в Microsoft Research в Кембриджі, де й працює сьогодні.
1980 Гоар отримав Премію Тюринґа за «видатні досягнення у визначенні та дизайні мов програмування».
У 2000 році Чарлз Ентоні Річард Гоар був відзначений лицарським званням; того ж року — Премією Кіото у галузі освіти та комп'ютерних наук.
У 2011 отримав Медаль Джона фон Неймана.
Наукові досягнення
Цей розділ потребує доповнення. (березень 2018) |
Зізнання
Виступаючи на конференції QCon London [Архівовано 27 лютого 2018 у Wayback Machine.] в 2009, він вибачився за винайдення нульового вказівника:
Я називаю це своєю помилкою на мільярд доларів. Це було винайдення нульового вказівника в 1965. В той час я розробляв першу вичерпну систему типів для посилань в об'єктно-орієнтованій мові (ALGOL W). На меті в мене було зробити, щоб всі використання посилань мають бути цілком безпечні, з перевіркою, що виконується компілятором автоматично. Але я не зміг втриматись від спокуси додати нульовий вказівник, просто тому, що його було легко реалізувати. Це призвело до незліченних помилок, вразливостей і відмов систем, які напевне спричинили мільярдні збитки й шкоду за останні сорок років. Оригінальний текст (англ.) I call it my billion-dollar mistake. It was the invention of the null reference in 1965. At that time, I was designing the first comprehensive type system for references in an object oriented language (ALGOL W). My goal was to ensure that all use of references should be absolutely safe, with checking performed automatically by the compiler. But I couldn't resist the temptation to put in a null reference, simply because it was so easy to implement. This has led to innumerable errors, vulnerabilities, and system crashes, which have probably caused a billion dollars of pain and damage in the last forty years. |
Протягом багатьох років під його керівництвом [en] в Оксфорді працював над мовами формальної специфікації, такими як CSP та Z. Але індустрія програмного забезпечення не підхопила цю ідею як очікувалося, тому в 1995 Гоар переглянув початкові припущення:
Десятиліття тому, дослідники формальних методів (і я серед них помилявся найбільше) передбачали, що світ програмування з вдячністю прийме будь-яку допомогу, яку надасть формалізація у розв'язанні проблем надійності, яка виникає, коли програми стають великими й критичнішими щодо безпеки. Зараз програми стали дуже великими й дуже критичними - далеко за масштабами, з якими можна комфортно працювати за допомогою формальних методів. Було багато проблем і невдач, але їх завжди приписували недостатньому аналізу вимог чи недостатньому контролю з боку менеджменту. Виявилось, що світ ще не достатньо страждає від проблем, які початково намагалися вирішити наші дослідження. Оригінальний текст (англ.) Ten years ago, researchers into formal methods (and I was the most mistaken among them) predicted that the programming world would embrace with gratitude every assistance promised by formalisation to solve the problems of reliability that arise when programs get large and more safety-critical. Programs have now got very large and very critical – well beyond the scale which can be comfortably tackled by formal methods. There have been many problems and failures, but these have nearly always been attributable to inadequate analysis of requirements or inadequate management control. It has turned out that the world just does not suffer significantly from the kind of problem that our research was originally intended to solve. |
Примітки
- Математичний генеалогічний проєкт — 1997.
- https://www.ae-info.org/ae/User/Hoare_Charles
- https://www.theiet.org/impact-society/thought-leadership/expert-panels/uk-computing-research-committee-ukcrc/members-of-ukcrc/ukcrc-members/
- https://www.acm.org/media-center/2021/january/fellows-2020
- Lundy D. R. The Peerage
- http://awards.acm.org/citation.cfm?id=4622167&srt=year&year=1980&aw=140&ao=AMTURING [Архівовано 1 липня 2012 у Archive.is] ACM Award Citation / C.Antony R. Hoare
- Hoare, Tony (25 серпня 2009). Null References: The Billion Dollar Mistake. InfoQ.com. Архів оригіналу за 28 серпня 2009. Процитовано 6 березня 2018.
- Hoare, C. A. R. (1996). Unification of Theories: A Challenge for Computing Science. Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification. Springer-Verlag. с. 49—57. ISBN .
Бібліографія
- O.-J. Dahl, E. W. Dijkstra and C. A. R. Hoare, Structured Programming. , 1972. .
- C. A. R. Hoare, Communicating Sequential Processes. Prentice Hall International Series in Computer Science, 1985. hardback or paperback.
- C. A. R. Hoare and , Mechanised Reasoning and Hardware Design. Prentice Hall International Series in Computer Science, 1992. .
- C. A. R. Hoare and , . Prentice Hall International Series in Computer Science, 1998. .
Посилання
- http://research.microsoft.com/users/thoare/ [Архівовано 9 грудня 2008 у Wayback Machine.] Microsoft Research — коротка біографія
- http://web.comlab.ox.ac.uk/oucl/people/tony.hoare.html [Архівовано 8 серпня 2007 у Wayback Machine.] Оксфордський університет. Гоар — почесний професор інформатики
- Стенограма «т'юрінговської лекції» на врученні Премії Т'юринга у 1980 р.
- http://www.usingcsp.com/ [Архівовано 1 лютого 2021 у Wayback Machine.] Книга про CSP
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Ser Charlz Entoni Richard Goar angl Charles Antony Richard Hoare abo Tony Hoare abo C A R Hoare nar 11 sichnya 1934 Kolombo Cejlon Britanska imperiya sogodni Shri Lanka anglijskij vchenij sho pracyuye v galuzi informatiki ta obchislyuvalnoyi tehniki Najbilsh znanij yak rozrobnik algoritmu shvidkogo sortuvannya angl quick sort Charlz Entoni Richard GoarCharles Antony Richard HoareNarodivsya11 sichnya 1934 1934 01 11 90 rokiv Kolombo Cejlon Britanska imperiya sogodni Shri LankaMisce prozhivannyaKembridzhKrayinaVelika BritaniyaDiyalnistinformatik inzhener programist pismennik vikladach universitetuAlma materOksfordskij universitet MGUGaluzinformatikaZakladMicrosoft Universitet Oksforda Korolivskij universitet BelfastaNaukovij kerivnikLeslie Foxd 1 i Kolmogorov Andrij Mikolajovich 1 Aspiranti doktorantiBill Rosko Cliff Jonesd Augusto Sampaiod William James Stewartd 1 Stephen D Brookesd 1 David Andrew Naumannd 1 Andrew Philip Blackd 1 Peter Lauerd 1 Jeremy Jacobd 1 Masud Malikd 1 John Elderd 1 Jim Wolfgang Kaubischd 1 Richard Kennawayd 1 T Yung Kongd 1 Geraint Jonesd 1 Christopher Dollind 1 Alex Terueld 1 Bryan Toddd 1 Stephen Paged 1 Clare Martind 1 Ken Woodd 1 Stephen Briend 1 Paul Rudind 1 ChlenstvoLondonske korolivske tovaristvo Nacionalna akademiya dej Linchej Yevropejska akademiya 2 Bavarska akademiya nauk Nacionalna akademiya nauk SShA UK Computing Research Committeed 3 Association for Computing Machinery 4 Vidomij zavdyaki algoritm shvidkogo sortuvannya Logika GoaraBatkoHenry Samuel Malortie Hoared 5 MatiMarjorie Francis Villiersd 5 U shlyubi zJill PymdNagorodichlen Londonskogo korolivskogo tovaristva premiya Tyuringa 1980 medal Dzhona fon Nejmana 2011 medal Faradeya 1985 Friedrich L Bauer Prized 2007 CHM Fellow Awards Premiya Kioto v galuzi peredovih tehnologijd 2000 Nagoroda Pioner komp yuternoyi galuzi 1990 Programming Languages Achievement Awardd 2011 memorialna premiya Garri Guda 1981 Pochesnij doktor Madridskogo universitetu Komplutensed 2013 Chlen Korolivskoyi inzhenernoyi akademiyi Britaniyi d Fellow of the British Computer Societyd Dijsnij chlen ACMd 2020 Osob storinkacs ox ac uk people tony hoare Toni Goar u Vikishovishi Inshi vidomi rezultati jogo praci mova Z specifikacij ta paralelna model vzayemodiyi poslidovnih procesiv CSP Communicating Sequential Processes Sered jogo dosyagnen rozrobka logiki Goara naukovoyi osnovi dlya konstruyuvannya korektnih program yaku vikoristovuyut dlya viznachennya ta rozrobki mov programuvannya Goar napisav nizku prac zi stvorennya specifikacij proyektuvannya realizaciyi ta suprovodu program sho visvitlyuyut vazhlivist naukovih doslidzhen dlya zbilshennya produktivnosti komp yuteriv ta zbilshennya nadijnosti programnogo zabezpechennya Zmist 1 Biografiya 2 Naukovi dosyagnennya 2 1 Ziznannya 3 Primitki 4 Bibliografiya 5 PosilannyaBiografiyared Narodivsya v Kolombo v Shri Lanci Zdobuv stupin bakalavra z klasichnih mov v Oksfordskomu universiteti u 1956 roci Prohodiv sluzhbu u VMS Velikoyi Britaniyi u 1956 1958 rokah Vivchivshi rosijsku movu navchavsya komp yuternogo perekladu pid kerivnictvom A N Kolmogorova v Moskovskomu Derzhavnomu Universiteti U 1960 vin zalishiv SRSR cherez politichnu krizu znishennya rozviduvalnogo litaka U 2 ta pochav pracyuvati v nevelikij kompaniyi z virobnictva komp yuteriv Elliot Brothers de pracyuvav nad realizaciyeyu movi programuvannya ALGOL60 Todi zh rozpochav zajmatisya rozrobkoyu algoritmiv 1968 roku Goar stav profesorom informatiki ta obchislyuvalnoyi tehniki v Korolivskomu Universiteti Belfasta 1977 povernuvsya v Oksford yak profesor z obchislyuvalnoyi tehniki shob vzyati pid kerivnictvo doslidnicku grupu Programming Research Group do zadach yakoyi vhodili zmicnennya promislovih akademichnih ta derzhavnih struktur sho pracyuyut v industriyi informacijnih tehnologij Tema jogo doslidzhen v Oksfordi korektnist programnih specifikacij proyektuvannya ta rozrobka kritichnih ta nekritichnih sistem 1999 roku vijshov na pensiyu u zvanni pochesnogo profesora ta perejshov na posadu doslidnika v Microsoft Research v Kembridzhi de j pracyuye sogodni 1980 Goar otrimav Premiyu Tyuringa za vidatni dosyagnennya u viznachenni ta dizajni mov programuvannya 6 U 2000 roci Charlz Entoni Richard Goar buv vidznachenij licarskim zvannyam togo zh roku Premiyeyu Kioto u galuzi osviti ta komp yuternih nauk U 2011 otrimav Medal Dzhona fon Nejmana Naukovi dosyagnennyared Cej rozdil potrebuye dopovnennya berezen 2018 Ziznannyared Vistupayuchi na konferenciyi QCon London Arhivovano 27 lyutogo 2018 u Wayback Machine v 2009 vin vibachivsya za vinajdennya nulovogo vkazivnika 7 nbsp Ya nazivayu ce svoyeyu pomilkoyu na milyard dolariv Ce bulo vinajdennya nulovogo vkazivnika v 1965 V toj chas ya rozroblyav pershu vicherpnu sistemu tipiv dlya posilan v ob yektno oriyentovanij movi ALGOL W Na meti v mene bulo zrobiti shob vsi vikoristannya posilan mayut buti cilkom bezpechni z perevirkoyu sho vikonuyetsya kompilyatorom avtomatichno Ale ya ne zmig vtrimatis vid spokusi dodati nulovij vkazivnik prosto tomu sho jogo bulo legko realizuvati Ce prizvelo do nezlichennih pomilok vrazlivostej i vidmov sistem yaki napevne sprichinili milyardni zbitki j shkodu za ostanni sorok rokiv Originalnij tekst angl I call it my billion dollar mistake It was the invention of the null reference in 1965 At that time I was designing the first comprehensive type system for references in an object oriented language ALGOL W My goal was to ensure that all use of references should be absolutely safe with checking performed automatically by the compiler But I couldn t resist the temptation to put in a null reference simply because it was so easy to implement This has led to innumerable errors vulnerabilities and system crashes which have probably caused a billion dollars of pain and damage in the last forty years nbsp Protyagom bagatoh rokiv pid jogo kerivnictvom viddil en v Oksfordi pracyuvav nad movami formalnoyi specifikaciyi takimi yak CSP ta Z Ale industriya programnogo zabezpechennya ne pidhopila cyu ideyu yak ochikuvalosya tomu v 1995 Goar pereglyanuv pochatkovi pripushennya 8 nbsp Desyatilittya tomu doslidniki formalnih metodiv i ya sered nih pomilyavsya najbilshe peredbachali sho svit programuvannya z vdyachnistyu prijme bud yaku dopomogu yaku nadast formalizaciya u rozv yazanni problem nadijnosti yaka vinikaye koli programi stayut velikimi j kritichnishimi shodo bezpeki Zaraz programi stali duzhe velikimi j duzhe kritichnimi daleko za masshtabami z yakimi mozhna komfortno pracyuvati za dopomogoyu formalnih metodiv Bulo bagato problem i nevdach ale yih zavzhdi pripisuvali nedostatnomu analizu vimog chi nedostatnomu kontrolyu z boku menedzhmentu Viyavilos sho svit she ne dostatno strazhdaye vid problem yaki pochatkovo namagalisya virishiti nashi doslidzhennya Originalnij tekst angl Ten years ago researchers into formal methods and I was the most mistaken among them predicted that the programming world would embrace with gratitude every assistance promised by formalisation to solve the problems of reliability that arise when programs get large and more safety critical Programs have now got very large and very critical well beyond the scale which can be comfortably tackled by formal methods There have been many problems and failures but these have nearly always been attributable to inadequate analysis of requirements or inadequate management control It has turned out that the world just does not suffer significantly from the kind of problem that our research was originally intended to solve nbsp Primitkired a b v g d e zh i k l m n p r s t u f h c sh sh Matematichnij genealogichnij proyekt 1997 d Track Q829984 https www ae info org ae User Hoare Charles https www theiet org impact society thought leadership expert panels uk computing research committee ukcrc members of ukcrc ukcrc members https www acm org media center 2021 january fellows 2020 a b Lundy D R The Peerage d Track Q67129259d Track Q21401824 http awards acm org citation cfm id 4622167 amp srt year amp year 1980 amp aw 140 amp ao AMTURING Arhivovano 1 lipnya 2012 u Archive is ACM Award Citation C Antony R Hoare Hoare Tony 25 serpnya 2009 Null References The Billion Dollar Mistake InfoQ com Arhiv originalu za 28 serpnya 2009 Procitovano 6 bereznya 2018 Hoare C A R 1996 Unification of Theories A Challenge for Computing Science Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification Springer Verlag s 49 57 ISBN 3 540 61629 2 Bibliografiyared O J Dahl E W Dijkstra and C A R Hoare Structured Programming Academic Press 1972 ISBN 0 12 200550 3 C A R Hoare Communicating Sequential Processes Prentice Hall International Series in Computer Science 1985 ISBN 0 13 153271 5 hardback or ISBN 0 13 153289 8 paperback C A R Hoare and M J C Gordon Mechanised Reasoning and Hardware Design Prentice Hall International Series in Computer Science 1992 ISBN 0 13 572405 8 C A R Hoare and He Jifeng Unifying Theories of Programming Prentice Hall International Series in Computer Science 1998 ISBN 0 13 458761 8 Posilannyared http research microsoft com users thoare Arhivovano 9 grudnya 2008 u Wayback Machine Microsoft Research korotka biografiya http web comlab ox ac uk oucl people tony hoare html Arhivovano 8 serpnya 2007 u Wayback Machine Oksfordskij universitet Goar pochesnij profesor informatiki https web archive org web 20030315091028 http www braithwaite lee com opinions p75 hoare pdf Stenograma t yuringovskoyi lekciyi na vruchenni Premiyi T yuringa u 1980 r http www usingcsp com Arhivovano 1 lyutogo 2021 u Wayback Machine Kniga pro CSP Otrimano z https uk wikipedia org w index php title Toni Goar amp oldid 43158166