Подпишитесь на наши новости
Вернуться к началу с статьи up
 

ХО́АР

  • рубрика
  • родственные статьи
  • image description

    В книжной версии

    Том 34. Москва, 2017, стр. 108

  • image description

    Скопировать библиографическую ссылку:




Авторы: В. В. Шилов

ХО́АР (Hoare) Чарлз Эн­то­ни (То­ни) Ри­чард, сэр (р. 11.1.1934, Ко­лом­бо), брит. учё­ный в об­лас­ти ин­фор­ма­ти­ки и про­грам­ми­ро­ва­ния, чл. Лон­дон­ско­го ко­ро­лев­ско­го об-ва (1982). Окон­чил Мер­тон-кол­ледж в Окс­фор­де (ба­ка­лавр ис­кусств, 1956), слу­жил в ко­ро­лев­ском фло­те (1956–58), вер­нул­ся в Окс­форд для изу­че­ния ста­ти­сти­ки, то­гда же впер­вые за­ин­те­ре­со­вал­ся про­грам­ми­ро­ва­ни­ем. В 1959 на­прав­лен на ста­жи­ров­ку в МГУ, где под рук. А. Н. Кол­мо­го­ро­ва за­ни­мал­ся тео­ри­ей ве­ро­ят­но­стей и ма­шин­ным пе­ре­во­дом. По­сле воз­вра­ще­ния из Мо­ск­вы ра­бо­тал в ком­пь­ю­тер­ной ком­па­нии «Elliot Brothers», раз­ра­бо­тал один из пер­вых транс­ля­то­ров с язы­ка ал­гол-60. С 1968 проф. Ко­ро­лев­ско­го ун-та в Бел­фа­сте, с 1977 проф. в Окс­форд­ском ун-те, там же воз­глав­лял ис­сле­до­ва­тель­скую груп­пу по про­грам­ми­ро­ва­нию. С 1999 ве­ду­щий ис­сле­до­ва­тель в от­де­ле­нии ком­па­нии «Microsoft» в Кем­брид­же.

Х. при­над­ле­жит ряд важ­ных прак­тич. ре­зуль­та­тов и ос­но­во­по­ла­гаю­щих кон­цеп­ций про­грам­ми­ро­ва­ния: ал­го­ритм бы­ст­рой сор­ти­ров­ки (раз­ра­бо­тан в Мо­ск­ве, 1959–60), ло­ги­ка Хоа­ра (фор­маль­ная сис­те­ма, со­дер­жа­щая на­бор ло­гич. пра­вил, пред­на­зна­чен­ных для до­ка­за­тель­ст­ва кор­рект­но­сти про­грамм, 1969), тео­рия взаи­мо­дей­ст­вую­щих по­сле­до­ват. про­цес­сов (CSP, Communicating Sequential Processes, 1978), на ос­но­ве ко­то­рой был соз­дан язык па­рал­лель­но­го про­грам­ми­ро­ва­ния Occam (1983), и др. Пр. Тью­рин­га (пр. ACM, 1980). На­граж­дён ме­да­ля­ми М. Фа­ра­дея (1985) и Дж. фон Ней­ма­на (2011).

Соч.: Струк­тур­ное про­грам­ми­ро­ва­ние. М., 1975 (со­авт.); Взаи­модей­ст­вую­щие по­сле­до­ва­тель­ные про­цес­сы. М., 1989.

Лит.: Reflections on the work of C. A. R. Hoare / Ed. by C. B. Jones, A. W. Roscoe, K. R. Wood. L.; N. Y., 2010.

Вернуться к началу