Sir Charles Antony Richard Hoare (born 11 January 1934), commonly known as Tony Hoare or C. A. R. Hoare, is a British computer scientist best known for the development (in 1960, at age 26) of Quicksort, a well-known sorting algorithm. He also developed Hoare logic for verifying program correctness, and the formal language Communicating Sequential Processes (CSP) to specify the interactions of concurrent processes and the inspiration for the occam programming language.

PropertyValue
dbpedia-owl:abstract
  • Sir Charles Antony Richard Hoare znám též jako Tony Hoare nebo C. A. R. Hoare je britský počítačový vědec, který se proslavil zejména vyvinutím řadicího algoritmu Quicksort.
  • Sir Charles Antony Richard Hoare, 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, mit der 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 und Occam beeinflusst hat.
  • Sir Charles Antony Richard Hoare (born 11 January 1934), commonly known as Tony Hoare or C. A. R. Hoare, is a British computer scientist best known for the development (in 1960, at age 26) of Quicksort, a well-known sorting algorithm. He also developed Hoare logic for verifying program correctness, and the formal language Communicating Sequential Processes (CSP) to specify the interactions of concurrent processes and the inspiration for the occam programming language.
  • Sir Charles Antony Richard Hoare, también conocido familiarmente como Tony Hoare, es un científico Británico en computación. Conocido sobre todo por la invención, en 1960 de Quicksort, que es el algoritmo de ordenamiento más ampliamente utilizado en el mundo. También se le conoce por el desarrollo de la Lógica de Hoare, y por el lenguaje formal CSP (tercer trabajo más citado en computación de acuerdo con las estadísticas de Citeseer), utilizado para especificar interacciones entre procesos concurrentes que sirve de base para la definición del lenguaje de programación Occam. En 1956 consiguió el Título de Grado (equivalente a una carrera de cuatro años sin máster ni doctorado) en Cultura Clásica y Filosofía en la Universidad de Oxford. Le asombraba el poder de la lógica matemática para explicar la certeza aparente de los teoremas matemáticos. Sirvió a la Marina Real Británica (1956-1958) donde estudió ruso y posteriormente se graduó en la Universidad Estatal de Moscú para estudiar Teoría de la Probabilidad y hacer traducciones de lenguaje humano a lenguaje de máquina. Intentando facilitar la búsqueda de palabras en el diccionario descubrió el famoso algoritmo “Quicksort”. La función de este algoritmo es ordenar una lista de elementos del mismo tipo y está basado en la técnica “divide y vencerás”, de modo que convierte un problema complicado, en muchos sencillos, pero además es el más rápido conocido para hacer esta tarea. De hecho es, según las teorías de análisis de complejidad de algoritmos, el más rápido posible. Está matemáticamente demostrado que no se puede hacer un algoritmo de ordenación más rápido que Quicksort. En 1960 volvió a Inglaterra, donde trabajó como programador para Elliott Brothers, una pequeña fábrica de ordenadores. Allí dirigió a un equipo de personas que diseñaron el primer compilador comercial para el lenguaje de programación “Algol 60”. Tras conseguir el rango de ingeniero jefe, coordinó un equipo mucho mayor para implementar un sistema operativo que resultó desastroso. Poco después entró en una empresa de hardware y arquitectura de software que tuvo que abandonar cuando esta se fusionó con su competencia. En 1968 consiguió una oportunidad para trabajar como profesor de Ciencias de la Computación en Queen’s University, en Belfast. El objetivo de sus investigaciones era entender por qué los sistemas operativos eran mucho más complicados que los compiladores, y ver si los avances en teoría de la programación podrían ayudar a solucionar problemas de concurrencia informática. Siempre fue consciente de que sería un período de investigación muy largo y que difícilmente conseguiría aplicaciones industriales para sus avances. En 1977 se trasladó a la Universidad de Oxford, y se comprometió a construir un Grupo de Investigación de Programación, fundado por Christopher Strachey. Durante más de treinta años como académico, Tony ha tenido siempre importantes contactos con la industria mediante consultas, colaboraciones de investigación, etc. Cuando llegó a la edad de jubilación para las investigaciones de Oxford, aceptó con ganas la oportunidad de volver a la industria como investigador senior para Microsoft en Cambridge, donde sigue trabajando actualmente.
  • Charles Antony Richard "Tony" Hoare on brittiläinen tietojenkäsittelytieteilijä. Hän on kehittänyt muun muassa pikalajittelualgoritmin ja Hoaren logiikan sekä monitorit ratkaisuksi moniajojärjestelmien lukkiutumatilanteisiin. Hoare sai Turing-palkinnon vuonna 1980.
  • Sir Charles Antony Richard Hoare (généralement appelé Tony Hoare ou C.A.R. Hoare), né le 11 janvier 1934 à Colombo, Sri Lanka, est un professeur émérite britannique du Oxford University Computing Laboratory. Il est connu pour avoir inventé Quicksort en 1960, un algorithme de tri rapide, encore très utilisé de nos jours. Hoare est aussi à l'origine de la logique de Hoare, du langage formel CSP et a inspiré le langage de programmation Occam ainsi qu'un système de synchronisation appelé moniteur. Il a été lauréat du Prix de Kyōto en 2000.
  • Ha trovato larga fama grazie all'invenzione, nel 1960, del quicksort, l'algoritmo di ordinamento più usato al mondo. Egli ha anche sviluppato le logiche di Hoare, atte a verificare la correttezza dei programmi, e il linguaggio formale Communicating Sequential Processes usato per specificare interazioni tra processi concorrenti.
  • チャールズ・アントニー・リチャード・ホーア卿（Sir Charles Antony Richard Hoare、もしくはトニー・ホーア（Tony Hoare）, 1934年1月11日 - ）はイギリスの計算機科学者。 1960年にクイックソートを開発したことで最もよく知られる。これは世界で最も広く使われているソートアルゴリズムであり、恐らくあらゆる種類のアルゴリズムの中でも、世界で最も広く使われているものであろう。 彼はまたホーア論理や、形式言語の1つで並行プロセス間の通信を記述するのに使われるCommunicating Sequential Processes（CSP）の開発、またプログラミング言語Occamに示唆を与えた事でも知られる。
  • 찰스 앤터니 리처드 호어 경, Kt (Sir Charles Antony Richard Hoare, 1934년 1월 11일 ~)은 영국의 컴퓨터 과학자이다. 애칭 토니 호어(Tony Hoare)로도 불린다. 가장 널리 쓰이는 정렬 알고리즘의 하나인 퀵 정렬을 고안해낸 것으로 유명하다. 그는 호어 이론, 형식 언어의 한 종류로 병행 프로세스간 통신을 기술하는데 이용되는 커뮤니케이팅 시퀜셜 프로세스(CSP)의 개발, 프로그래밍 언어인 Occam에도 영향을 끼친 것으로 알려져 있다. 스리랑카의 콜롬보에서 영국인의 부모로부터 태어난 그는, 1956년 옥스포드 대학에서 고전문학의 학사를 취득, 그 후에 통계학을 배워 러시아에서 자연언어의 기계번역에 관하여 연구를 시작하였다. 1960년 '엘리엇 브러더즈'라는 작은 컴퓨터 제조 회사에 취직하여, ALGOL60 프로그램의 개발, 각종 알고리즘의 개발에 본격적으로 착수하였다. 1968년에 퀸즈 대학 벨파스트 분교의 컴퓨터 과학 교수가 되며, 1977년에는 옥스포드로 돌아와 교수직에 취임하였다. 현재는 명예교수로, 영국 캐임브리지의 마이크로소프트 리서치의 시니어리서치로 있다. 1980년 그는 프로그래밍 언어의 정의와 설계에 대한 공헌으로 ACM의 튜링 상을 수상하였다.
  • Charles Anthony Richard Hoare is een Brits informaticus wiens naam altijd verbonden zal blijven aan het door hem uitgevonden sorteeralgoritme quicksort. Hij is "James Martin Professor of Computing" aan de Universiteit van Oxford, met emeritaat. In 2000 werd Hoare geridderd en mag zich sindsdien Sir Tony Hoare noemen. Hoare is ook bekend van de zogenaamde Hoaretriples. Dit is een notatie {P} S {Q}, waarin P en Q formeel-logische uitdrukkingen zijn, en S staat voor een algoritme of computerprogramma. Deze schrijfwijze betekent: Als aanvankelijk P waar is, en S wordt uitgevoerd, is daarna Q waar. Hierop kan logica toegepast worden, en deze wordt gebruikt om correctheid van computerprogramma's te bewijzen. In 1980 ontving hij de Turing Award van de Association for Computing Machinery: "For his fundamental contributions to the definition and design of programming languages. " In 1985 ontving hij de Faraday Medal.
  • Sir Charles Antony Richard Hoare - brytyjski informatyk, znany jako twórca algorytmu sortowania quicksort. Rozwinął także logikę Hoare'a służącą do weryfikowania poprawności programów oraz stworzył język formalny Communicating Sequential Processes (CSP) używany do specyfikowania interakcji współbieżnych procesów. Przyczynił się także do powstania języka programowania Occam. W 1980 roku, w dowód uznania za wkład w rozwój języków programowania otrzymał nagrodę Turinga. Zobacz też: Logika Hoare'a.
  • Sir Charles Antony Richard Hoare, também conhecido como Tony Hoare ou C. A. R. Hoare, é um informático britânico. Conhecido pelo desenvolvimento do Quicksort em 1960, o algoritmo de ordenação mais utilizado no mundo, e muito provavelmente o algoritmo mais usado dentre todos os tipos existentes. Ele também desenvolveu a Lógica de Hoare e a linguagem formal CSP, usada para especificar interações entre processos concorrentes e que serviu de inspiração para a linguagem de programação Occam. Nascido em Colombo, Sri Lanka, de pais nascidos no Reino Unido, graduou-se Bacharel pela Universidade de Oxford em 1956. Ele permaneceu ainda um ano em Oxford estudando Estatística em nível de graduação, e em seguida estudou tradução computacional de linguagens humanas na Universidade de Moscou, na Rússia. Em 1960 ele começou a trabalhar na Elliot Brothers, Ltd, uma pequena firma de desenvolvimento de programas, onde implementou a ALGOL 60 e começou a trabalhar inicialmente desenvolvendo algoritmos. Tornou-se professor de Ciência da Computação na Queen's University, em Belfast em 1968, e em 1977 mudou-se para Oxford, também para trabalhar como professor. Hoje ocupa o cargo de Professor lá, e também é um dos pesquisadores mais antigos do centro de pesquisas da Microsoft em Cambridge, na Inglaterra. Recebeu o Prêmio Turing da ACM de 1980, por "suas contribuições fundamentais para a definição e projeto de linguagens de programação". O prêmio lhe foi entregue na Conferência Anual da ACM em Nashville, Tennessee, em 27 de outubro de 1980, por Walter Carlson, presidente do comitê de premiação.
  • Сэр Чарльз Э́нтони Ри́чард Хо́ар — английский учёный, специализирующийся в области информатики и вычислительной техники. Наиболее известен как разработчик алгоритма «быстрой сортировки», на сегодняшний день являющегося наиболее популярным алгоритмом сортировки. Другие известные результаты его работы: язык Z спецификаций и параллельная модель взаимодействия последовательных процессов (CSP, Communicating Sequential Process). В числе его заслуг — разработка логики Хоара, научной основы для конструирования корректных программ, используемой для определения и разработки языков программирования. Хоар создал ряд трудов по созданию спецификаций, проектированию, реализации и сопровождению программ, показывающих важность научных результатов для увеличения производительности компьютеров и повышения надежности программного обеспечения.
  • Сер Чарлз Ентоні Річард Гоар — англійський вчений, що працює в галузі інформатики та обчислювальної техніки. Найбільш відомий як розробник алгоритму «швидкого сортування» (англ. «quick sort»). Інші відомі результати його праці: мова Z специфікацій та паралельна модель взаємодії послідовних процесів (CSP, Communicating Sequential Process). Серед його досягнень — розробка логіки Хоара, наукової основи для конструювання коректних програм, яка використовується для визначення та розробки мов програмування. Хоар написав низку праць зі створення специфікацій, проектування, реалізації та супроводу програм, що висвітлюють важливість наукових досліджень для збільшення продуктивності комп'ютерів та збільшення надійності програмного забезпечення.
  • Sir Charles Antony Richard Hoare (Tony Hoare hay C.A.R. Hoare, sinh ngày 11 tháng 1, 1934) là một nhà khoa học máy tính người Anh, có lẽ nổi tiếng nhất vì đã phát triển giải thuật Quicksort (hay Hoaresort), một trong những giải thuật sắp xếp được sử dụng nhiều nhất thế giới, vào năm 1960. Ông cũng phát triển luận lý Hoare để kiểm tra tính đúng đắn của chương trình, và ngôn ngữ hình thức CSP (Communicating Sequential Processes) được dùng để xác định sự giao tiếp giữa các tiến trình đồng thời (trong đó có Bài toán bữa ăn tối của các triết gia) và là người truyền cảm hứng cho ngôn ngữ lập trình Occam.
  • 查爾斯·安東尼·理查德·霍爾爵士（英语：Sir Charles Antony Richard Hoare，縮寫為 C. A. R. Hoare，1934年1月11日－），經常被暱稱為東尼·霍爾（一譯托尼·霍爾，英语：Tony Hoare），生於斯里蘭卡可倫坡，英國計算機科學家，圖靈獎得主。他設計出了快速排序演算法、霍尔逻辑、交談循序程式。
dbpedia-owl:almaMater
dbpedia-owl:award
dbpedia-owl:birthDate
  • 1934-01-11 (xsd:date)
  • 1934-01-11 (xsd:date)
dbpedia-owl:birthPlace
dbpedia-owl:doctoralStudent
dbpedia-owl:field
dbpedia-owl:individualisedPnd
  • 119103265
dbpedia-owl:knownFor
dbpedia-owl:residence
dbpedia-owl:thumbnail
dbpedia-owl:wikiPageExternalLink
dbpprop:almaMater
dbpprop:alternativeNames
  • Sir Tony Hoare
dbpprop:birthDate
  • 1934-01-11 (xsd:date)
  • 1934-01-11 (xsd:date)
dbpprop:birthPlace
dbpprop:caption
  • --06-20
dbpprop:dateOfBirth
  • 11 (xsd:integer)
dbpprop:doctoralStudents
dbpprop:field
dbpprop:hasPhotoCollection
dbpprop:knownFor
dbpprop:name
  • Hoare, Charles Antony Richard
  • Sir Charles Antony Richard Hoare
dbpprop:placeOfBirth
dbpprop:prizes
dbpprop:residence
dbpprop:shortDescription
  • Computer scientist
dbpprop:wikiPageUsesTemplate
dbpprop:workInstitution
dc:description
  • Computer scientist
dcterms:subject
rdf:type
rdfs:comment
  • Sir Charles Antony Richard Hoare znám též jako Tony Hoare nebo C. A. R. Hoare je britský počítačový vědec, který se proslavil zejména vyvinutím řadicího algoritmu Quicksort.
  • Sir Charles Antony Richard Hoare, 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, mit der 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 und Occam beeinflusst hat.
  • Sir Charles Antony Richard Hoare (born 11 January 1934), commonly known as Tony Hoare or C. A. R. Hoare, is a British computer scientist best known for the development (in 1960, at age 26) of Quicksort, a well-known sorting algorithm. He also developed Hoare logic for verifying program correctness, and the formal language Communicating Sequential Processes (CSP) to specify the interactions of concurrent processes and the inspiration for the occam programming language.
  • Sir Charles Antony Richard Hoare, también conocido familiarmente como Tony Hoare, es un científico Británico en computación. Conocido sobre todo por la invención, en 1960 de Quicksort, que es el algoritmo de ordenamiento más ampliamente utilizado en el mundo.
  • Charles Antony Richard "Tony" Hoare on brittiläinen tietojenkäsittelytieteilijä. Hän on kehittänyt muun muassa pikalajittelualgoritmin ja Hoaren logiikan sekä monitorit ratkaisuksi moniajojärjestelmien lukkiutumatilanteisiin. Hoare sai Turing-palkinnon vuonna 1980.
  • Sir Charles Antony Richard Hoare (généralement appelé Tony Hoare ou C.A.R. Hoare), né le 11 janvier 1934 à Colombo, Sri Lanka, est un professeur émérite britannique du Oxford University Computing Laboratory. Il est connu pour avoir inventé Quicksort en 1960, un algorithme de tri rapide, encore très utilisé de nos jours. Hoare est aussi à l'origine de la logique de Hoare, du langage formel CSP et a inspiré le langage de programmation Occam ainsi qu'un système de synchronisation appelé moniteur.
  • Ha trovato larga fama grazie all'invenzione, nel 1960, del quicksort, l'algoritmo di ordinamento più usato al mondo. Egli ha anche sviluppato le logiche di Hoare, atte a verificare la correttezza dei programmi, e il linguaggio formale Communicating Sequential Processes usato per specificare interazioni tra processi concorrenti.
  • チャールズ・アントニー・リチャード・ホーア卿（Sir Charles Antony Richard Hoare、もしくはトニー・ホーア（Tony Hoare）, 1934年1月11日 - ）はイギリスの計算機科学者。 1960年にクイックソートを開発したことで最もよく知られる。これは世界で最も広く使われているソートアルゴリズムであり、恐らくあらゆる種類のアルゴリズムの中でも、世界で最も広く使われているものであろう。 彼はまたホーア論理や、形式言語の1つで並行プロセス間の通信を記述するのに使われるCommunicating Sequential Processes（CSP）の開発、またプログラミング言語Occamに示唆を与えた事でも知られる。
  • 찰스 앤터니 리처드 호어 경, Kt (Sir Charles Antony Richard Hoare, 1934년 1월 11일 ~)은 영국의 컴퓨터 과학자이다. 애칭 토니 호어(Tony Hoare)로도 불린다. 가장 널리 쓰이는 정렬 알고리즘의 하나인 퀵 정렬을 고안해낸 것으로 유명하다. 그는 호어 이론, 형식 언어의 한 종류로 병행 프로세스간 통신을 기술하는데 이용되는 커뮤니케이팅 시퀜셜 프로세스(CSP)의 개발, 프로그래밍 언어인 Occam에도 영향을 끼친 것으로 알려져 있다. 스리랑카의 콜롬보에서 영국인의 부모로부터 태어난 그는, 1956년 옥스포드 대학에서 고전문학의 학사를 취득, 그 후에 통계학을 배워 러시아에서 자연언어의 기계번역에 관하여 연구를 시작하였다. 1960년 '엘리엇 브러더즈'라는 작은 컴퓨터 제조 회사에 취직하여, ALGOL60 프로그램의 개발, 각종 알고리즘의 개발에 본격적으로 착수하였다.
  • Charles Anthony Richard Hoare is een Brits informaticus wiens naam altijd verbonden zal blijven aan het door hem uitgevonden sorteeralgoritme quicksort. Hij is "James Martin Professor of Computing" aan de Universiteit van Oxford, met emeritaat. In 2000 werd Hoare geridderd en mag zich sindsdien Sir Tony Hoare noemen. Hoare is ook bekend van de zogenaamde Hoaretriples.
  • Sir Charles Antony Richard Hoare - brytyjski informatyk, znany jako twórca algorytmu sortowania quicksort. Rozwinął także logikę Hoare'a służącą do weryfikowania poprawności programów oraz stworzył język formalny Communicating Sequential Processes (CSP) używany do specyfikowania interakcji współbieżnych procesów. Przyczynił się także do powstania języka programowania Occam. W 1980 roku, w dowód uznania za wkład w rozwój języków programowania otrzymał nagrodę Turinga. Zobacz też: Logika Hoare'a.
  • Sir Charles Antony Richard Hoare, também conhecido como Tony Hoare ou C. A. R. Hoare, é um informático britânico. Conhecido pelo desenvolvimento do Quicksort em 1960, o algoritmo de ordenação mais utilizado no mundo, e muito provavelmente o algoritmo mais usado dentre todos os tipos existentes. Ele também desenvolveu a Lógica de Hoare e a linguagem formal CSP, usada para especificar interações entre processos concorrentes e que serviu de inspiração para a linguagem de programação Occam.
  • Сэр Чарльз Э́нтони Ри́чард Хо́ар — английский учёный, специализирующийся в области информатики и вычислительной техники. Наиболее известен как разработчик алгоритма «быстрой сортировки», на сегодняшний день являющегося наиболее популярным алгоритмом сортировки. Другие известные результаты его работы: язык Z спецификаций и параллельная модель взаимодействия последовательных процессов (CSP, Communicating Sequential Process).
  • Сер Чарлз Ентоні Річард Гоар — англійський вчений, що працює в галузі інформатики та обчислювальної техніки. Найбільш відомий як розробник алгоритму «швидкого сортування» (англ. «quick sort»). Інші відомі результати його праці: мова Z специфікацій та паралельна модель взаємодії послідовних процесів (CSP, Communicating Sequential Process).
  • Sir Charles Antony Richard Hoare (Tony Hoare hay C.A.R. Hoare, sinh ngày 11 tháng 1, 1934) là một nhà khoa học máy tính người Anh, có lẽ nổi tiếng nhất vì đã phát triển giải thuật Quicksort (hay Hoaresort), một trong những giải thuật sắp xếp được sử dụng nhiều nhất thế giới, vào năm 1960.
  • 查爾斯·安東尼·理查德·霍爾爵士（英语：Sir Charles Antony Richard Hoare，縮寫為 C. A. R. Hoare，1934年1月11日－），經常被暱稱為東尼·霍爾（一譯托尼·霍爾，英语：Tony Hoare），生於斯里蘭卡可倫坡，英國計算機科學家，圖靈獎得主。他設計出了快速排序演算法、霍尔逻辑、交談循序程式。
rdfs:label
  • C. A. R. Hoare
  • Tony Hoare
  • Tony Hoare
  • C. A. R. Hoare
  • C. A. R. Hoare
  • Charles Antony Richard Hoare
  • Tony Hoare
  • アントニー・ホーア
  • 찰스 앤터니 리처드 호어
  • Tony Hoare
  • C.A.R. Hoare
  • C. A. R. Hoare
  • Хоар, Чарльз Энтони Ричард
  • Тоні Гоар
  • Charles Antony Richard Hoare
  • 東尼·霍爾
owl:sameAs
http://www.w3.org/ns/prov#wasDerivedFrom
foaf:depiction
foaf:givenName
  • Charles Antony Richard
foaf:isPrimaryTopicOf
foaf:name
  • Sir Charles Antony Richard Hoare
  • Charles Antony Richard Hoare
foaf:surname
  • Hoare
is dbpedia-owl:author of
is dbpedia-owl:developer of
is dbpedia-owl:doctoralAdvisor of
is dbpedia-owl:influenced of
is dbpedia-owl:influencedBy of
is dbpedia-owl:wikiPageDisambiguates of
is dbpedia-owl:wikiPageRedirects of
is dbpprop:developer of
is dbpprop:doctoralAdvisor of
is dbpprop:influenced of
is dbpprop:influences of
is dbpprop:writer of
is dbpprop:writtenby of
is foaf:primaryTopic of