Azərbaycanca AzərbaycancaБеларускі БеларускіDansk DanskDeutsch DeutschEspañola EspañolaFrançais FrançaisIndonesia IndonesiaItaliana Italiana日本語 日本語Қазақ ҚазақLietuvos LietuvosNederlands NederlandsPortuguês PortuguêsРусский Русскийසිංහල සිංහලแบบไทย แบบไทยTürkçe TürkçeУкраїнська Українська中國人 中國人United State United StateAfrikaans Afrikaans
Підтримка
www.wikidata.uk-ua.nina.az

Сер Чарлз Ентоні Річард Гоар англ Charles Antony Richard Hoare або Tony Hoare або C A R Hoare нар 11 січня 1934 Коломбо

Тоні Гоар

Тоні Гоар

Сер Чарлз Ентоні Річард Гоар (англ. Charles Antony Richard Hoare або Tony Hoare або C.A.R. Hoare; нар. 11 січня 1934, Коломбо, Цейлон, Британська імперія, сьогодні Шрі-Ланка) — англійський вчений, що працює в галузі інформатики та обчислювальної техніки. Найбільш відомий як розробник алгоритму «швидкого сортування» (англ. «quick sort»).

Чарлз Ентоні Річард Гоар
Charles Antony Richard Hoare
image
Народився 11 січня 1934(1934-01-11) (90 років)
Коломбо, Цейлон, Британська імперія, сьогодні Шрі-Ланка
Місце проживання Кембридж
Країна Велика Британія
Діяльність інформатик, інженер, програміст, письменник, викладач університету
Alma mater Оксфордський університет, МГУ
Галузь інформатика
Заклад Microsoft
Університет Оксфорда
Королівський університет Белфаста
Науковий керівник d[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/
image Тоні Гоар у Вікісховищі

Інші відомі результати його праці: мова 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, він вибачився за винайдення нульового вказівника:

image

Я називаю це своєю помилкою на мільярд доларів. Це було винайдення нульового вказівника в 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.
 image

Протягом багатьох років під його керівництвом [en] в Оксфорді працював над мовами формальної специфікації, такими як CSP та Z. Але індустрія програмного забезпечення не підхопила цю ідею як очікувалося, тому в 1995 Гоар переглянув початкові припущення:

image

Десятиліття тому, дослідники формальних методів (і я серед них помилявся найбільше) передбачали, що світ програмування з вдячністю прийме будь-яку допомогу, яку надасть формалізація у розв'язанні проблем надійності, яка виникає, коли програми стають великими й більш критичними щодо безпеки. Зараз програми стали дуже великими й дуже критичними - далеко за масштабами, з якими можна комфортно працювати за допомогою формальних методів. Було багато проблем і невдач, але їх завжди приписували недостатньому аналізу вимог чи недостатньому контролю з боку менеджменту. Виявилось, що світ ще не достатньо страждає від проблем, які початково намагалися вирішити наші дослідження.

Оригінальний текст (англ.)
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.
 image

Примітки

  1. Математичний генеалогічний проєкт — 1997.
    d:Track:Q829984
  2. https://www.ae-info.org/ae/User/Hoare_Charles
  3. https://www.theiet.org/impact-society/thought-leadership/expert-panels/uk-computing-research-committee-ukcrc/members-of-ukcrc/ukcrc-members/
  4. https://www.acm.org/media-center/2021/january/fellows-2020
  5. Lundy D. R. The Peerage
    d:Track:Q67129259d:Track:Q21401824
  6. 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
  7. Hoare, Tony (25 серпня 2009). . InfoQ.com. Архів оригіналу за 28 серпня 2009. Процитовано 6 березня 2018.
  8. 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. .

Посилання

Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, 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 vidomij yak rozrobnik algoritmu shvidkogo sortuvannya angl quick sort Charlz Entoni Richard GoarCharles Antony Richard HoareNarodivsya 11 sichnya 1934 1934 01 11 90 rokiv Kolombo Cejlon Britanska imperiya sogodni Shri LankaMisce prozhivannya KembridzhKrayina Velika BritaniyaDiyalnist informatik inzhener programist pismennik vikladach universitetuAlma mater Oksfordskij universitet MGUGaluz informatikaZaklad Microsoft Universitet Oksforda Korolivskij universitet BelfastaNaukovij kerivnik d 1 Aspiranti doktoranti Bill Rosko 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 Chlenstvo Londonske korolivske tovaristvo Nacionalna akademiya dej Linchej Yevropejska akademiya 2 Bavarska akademiya nauk Nacionalna akademiya nauk SShA d 3 Association for Computing Machinery 4 Vidomij zavdyaki algoritm shvidkogo sortuvannya Logika GoaraBatko d 5 Mati d 5 U shlyubi z dNagorodi chlen Londonskogo korolivskogo tovaristva premiya Tyuringa 1980 medal Dzhona fon Nejmana 2011 medal Faradeya 1985 d 2007 CHM Fellow Awards d 2000 Nagoroda Pioner komp yuternoyi galuzi 1990 d 2011 memorialna premiya Garri Guda 1981 d 2013 Chlen Korolivskoyi inzhenernoyi akademiyi Britaniyi d d d 2020 Osob storinka cs 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 yaka vikoristovuyetsya 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 BiografiyaNarodivsya 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 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 dosyagnennyaCej rozdil potrebuye dopovnennya berezen 2018 Ziznannya Vistupayuchi na konferenciyi QCon London 27 lyutogo 2018 u Wayback Machine v 2009 vin vibachivsya za vinajdennya nulovogo vkazivnika 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 Protyagom bagatoh rokiv pid jogo kerivnictvom 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 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 bilsh kritichnimi 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 PrimitkiMatematichnij 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 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 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 BibliografiyaO J Dahl E W Dijkstra and C A R Hoare Structured Programming 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 Mechanised Reasoning and Hardware Design Prentice Hall International Series in Computer Science 1992 ISBN 0 13 572405 8 C A R Hoare and Prentice Hall International Series in Computer Science 1998 ISBN 0 13 458761 8 Posilannyahttp research microsoft com users thoare 9 grudnya 2008 u Wayback Machine Microsoft Research korotka biografiya http web comlab ox ac uk oucl people tony hoare html 8 serpnya 2007 u Wayback Machine Oksfordskij universitet Goar pochesnij profesor informatiki Stenograma t yuringovskoyi lekciyi na vruchenni Premiyi T yuringa u 1980 r http www usingcsp com 1 lyutogo 2021 u Wayback Machine Kniga pro CSP

Дата публікації:
Топ