Sir Charles Antony Richard Hoare (born 11 January 1934), commonly known as Tony Hoare or C.A.R. Hoare, is a British computer scientist, probably best known for the development in 1960, at age 26, of Quicksort, one of the world's most widely used sorting algorithms.

PropertyValue
dbpedia-owl:Person/almaMater
dbpedia-owl:Person/birthDate
  • 1934-01-11 (xsd:date)
dbpedia-owl:Person/birthPlace
dbpedia-owl:Person/knownFor
dbpedia-owl:Scientist/doctoralStudent
dbpedia-owl:almaMater
dbpedia-owl:birthDate
  • 1934-01-11 (xsd:date)
dbpedia-owl:birthPlace
dbpedia-owl:doctoralStudent
dbpedia-owl:knownFor
dbpedia-owl:thumbnail
dbpprop:abstract
  • Sir Charles Antony Richard Hoare (born 11 January 1934), commonly known as Tony Hoare or C.A.R. Hoare, is a British computer scientist, probably best known for the development in 1960, at age 26, of Quicksort, one of the world's most widely used sorting algorithms. He also developed Hoare logic for verifying program correctness, and the formal language Communicating Sequential Processes (CSP) used to specify the interactions of concurrent processes and the inspiration for the occam programming language.
  • 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 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, 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. 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.
  • ファイル:Hoare. jpg アントニー・ホーア チャールズ・アントニー・リチャード・ホーア卿（Sir Charles Antony Richard Hoare、もしくはトニー・ホーア（Tony Hoare）, 1934年1月11日-）はイギリスの計算機科学者。1960年にクイックソートを開発したことで最もよく知られる。これは世界で最も広く使われているソートアルゴリズムであり、恐らくあらゆる種類のアルゴリズムの中でも、世界で最も広く使われているものであろう。 彼はまたホーア論理や、形式言語の1つで並行プロセス間の通信を記述するのに使われるCommunicating Sequential Processes（CSP）の開発、またプログラミング言語Occamに示唆を与えた事でも知られる。 彼はスリランカのコロンボにてイギリス人の両親の元に生まれた。1956年にオックスフォード大学にて古典文学の学士号を取得。 その後オックスフォード大に1年残って大学院相当の統計学を学び、そしてロシアにて自然言語の機械翻訳について研究を始める。1960年、エリオット・ブラザーズ社という小さなコンピュータ製造会社にて仕事を始め、ここでALGOL60を実装、各種アルゴリズムの開発に本格的に着手する。1968年にはクィーンズ大学ベルファスト校で計算機科学の教授となり、1977年にはオックスフォードに戻ってコンピューティングの教授となる。現在彼は同大学の名誉教授であり、イギリスケンブリッジのマイクロソフト リサーチのシニア リサーチャーである。 1980年、"プログラミング言語の定義と設計に対する彼の基礎的な貢献"に対してACMのチューリング賞を受賞。同賞は1980年10月27日、テネシー州ナッシュビルで開催された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 1985 ontving hij de Faraday Medal. In 1980 ontving hij de Turing Award van de Association for Computing Machinery:
  • 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. Algorytm quicksort
  • Sir Charles Antony Richard Hoare (Tony Hoare ou C.A.R. Hoare, nascido em 11 de janeiro de 1934) é um cientista da computação britânico, mais 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. Ele recebeu o Prêmio Turing da ACM de 1980 por "suas contribuições fundamentais para a definição e o design das 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.
  • Charles Antony Richard Hoare este un informatician britanic, celebru pentru inventarea, în 1960, a algoritmului de sortare quicksort, unul dintre cei mai eficienţi şi mai utilizaţi algoritmi de sortare. De asemenea, a dezvoltat logica Hoare pentru verificarea corectitudinii programelor, şi limbajul formal CSP, folosit pentru descrierea interacţiunilor proceselor concurente. A primit, în 1980, Premiul Turing din partea ACM.
  • Сэр Ча́рльз Э́нтони Р́ичард Хо́ар — английский учёный, специализирующийся в области информатики и вычислительной техники. Наиболее известен как разработчик алгоритма «быстрой сортировки», на сегодняшний день являющегося наиболее популярным алгоритмом сортировки. Другие известные результаты его работы: язык Z спецификаций и параллельная модель взаимодействия последовательных процессов (CSP, Communicating Sequential Process). В числе его заслуг — разработка логики Хоара (Hoare Logic), научной основы для конструирования корректных программ, используемой для определения и разработки языков программирования. Хоар создал ряд трудов по созданию спецификаций, проектированию, реализации и сопровождению программ, показывающих важность научных результатов для увеличения производительности компьютеров и повышения надежности программного обеспечения. Родился в Коломбо в Шри-Ланке. Получил степень бакалавра по классическим языкам в Университете Оксфорда (Merton College)) в 1956 году. Проходил службу в ВМС Великобритании в 1956—1958 гг. Изучив русский язык, он обучался компьютерному переводу под руководством А. Н. Колмогорова в Московском государственном университете. В 1960, из-за политического кризиса, связанного с уничтожением разведывательного самолета У-2, он покинул Советский Союз и начал работать в небольшой компании по производству компьютеров Elliott Brothers, где занимался реализацией языка ALGOL60. Там же он начал заниматься разработкой алгоритмов. В 1968 году стал профессором информатики и вычислительной техники в Королевском Университете Белфаста. В 1977 году вернулся в Оксфорд, как профессор вычислительной техники, чтобы возглавить исследовательскую группу Programming Research Group, в задачу которой входит укрепление связей промышленных, академических и государственных структур, работающих в области ИТ-индустрии. Тематика его исследований в Оксфорде: корректность программных спецификаций, проектирование и разработка критичных и некритичных систем. В 1999 году вышел на пенсию в звании почетного профессора и перешел на должность ведущего исследователя в Microsoft Research в Кэмбридже, где и работает по сей день. В 1980 он получил Премию Тьюринга за «его выдающиеся достижения в определении и дизайне языков программирования». В 2000 он был удостоен рыцарского титула за заслуги в области образования и компьютерных наук, Премии Киото.
dbpprop:almaMater
dbpprop:birthDate
dbpprop:birthPlace
dbpprop:dateOfBirth
  • 11 January 1934
dbpprop:doctoralStudents
  • Stephen Brookes
    Cliff Jones
    David Naumann
    Bill Roscoe
    William Stewart
dbpprop:field
dbpprop:hasPhotoCollection
dbpprop:id
  • h/Hoare:C=_A=_R=
dbpprop:imageWidth
  • 150px
dbpprop:knownFor
dbpprop:name
  • C. A. R. Hoare
  • Hoare, Charles Antony Richard
  • Sir Charles Antony Richard Hoare
dbpprop:prizes
dbpprop:reference
dbpprop:shortDescription
dbpprop:wikiPageUsesTemplate
dbpprop:wordnet_type
dbpprop:workInstitution
rdf:type
rdfs:comment
  • Sir Charles Antony Richard Hoare (born 11 January 1934), commonly known as Tony Hoare or C.A.R. Hoare, is a British computer scientist, probably best known for the development in 1960, at age 26, of Quicksort, one of the world's most widely used sorting algorithms.
  • 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 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, 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.
  • 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.
  • ファイル:Hoare.
  • 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.
  • Sir Charles Antony Richard Hoare (Tony Hoare ou C.A.R. Hoare, nascido em 11 de janeiro de 1934) é um cientista da computação britânico, mais 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.
  • Charles Antony Richard Hoare este un informatician britanic, celebru pentru inventarea, în 1960, a algoritmului de sortare quicksort, unul dintre cei mai eficienţi şi mai utilizaţi algoritmi de sortare. De asemenea, a dezvoltat logica Hoare pentru verificarea corectitudinii programelor, şi limbajul formal CSP, folosit pentru descrierea interacţiunilor proceselor concurente. A primit, în 1980, Premiul Turing din partea ACM.
  • Сэр Ча́рльз Э́нтони Р́ичард Хо́ар — английский учёный, специализирующийся в области информатики и вычислительной техники. Наиболее известен как разработчик алгоритма «быстрой сортировки», на сегодняшний день являющегося наиболее популярным алгоритмом сортировки.
rdfs:label
  • C. A. R. Hoare
  • Tony Hoare
  • C. A. R. 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
  • C. A. R. Hoare
  • Хоар, Чарльз Энтони Ричард
owl:sameAs
skos:subject
foaf:depiction
foaf:givenname
  • Charles Antony Richard
  • Charles Antony Richard
foaf:name
  • Sir Charles Antony Richard Hoare
  • Charles Antony Richard Hoare
foaf:page
foaf:surname
  • Hoare
  • Hoare
is dbpedia-owl:Scientist/doctoralAdvisor of
is dbpedia-owl:doctoralAdvisor of
is dbpprop:disambiguates of
is dbpprop:doctoralAdvisor of
is dbpprop:redirect of
is owl:sameAs of