Sir Charles Antony Richard Hoare FRS FREng (born 11 January 1934), commonly known as Tony Hoare or C. A. R. Hoare, is a British computer scientist. He developed the sorting algorithm quicksort in 1960. He also developed Hoare logic for verifying program correctness, and the formal language Communicating Sequential Processes (CSP) to specify the interactions of concurrent processes (including the dining philosophers problem) and the inspiration for the occam programming language.

PropertyValue
dbpedia-owl:abstract
  • Sir Charles Antony Richard Hoare FRS FREng (born 11 January 1934), commonly known as Tony Hoare or C. A. R. Hoare, is a British computer scientist. He developed the sorting algorithm quicksort in 1960. He also developed Hoare logic for verifying program correctness, and the formal language Communicating Sequential Processes (CSP) to specify the interactions of concurrent processes (including the dining philosophers problem) and the inspiration for the occam programming language.
  • توني هور (بالإنكليزية: Tony Hoare) عالم حاسوب بريطاني بارز في مجال علم الحاسوب، فاز بجائزة تورنج في عام 1980 عن مساهماته في لغات البرمجة.
  • Sir Charles Antony Richard Hoare (* 11. Januar 1934 in Colombo, Sri Lanka), 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, Occam und Go beeinflusst hat.
  • Charles Antony Richard Hoare (Colombo, Sri Lanka, 11 de enero de 1934 -), 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. [cita requerida]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.Entre sus muchos reconocimientos es doctor honoris causa por varias universidades, como la Universidad de Varsovia, la Universidad de Bath y la Universidad Complutense de Madrid.
  • Sir Charles Antony Richard Hoare (généralement appelé Tony Hoare ou C. A. R. Hoare), né le 11 janvier 1934 à Colombo au Ceylan (maintenant 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 le premier à avoir écrit un compilateur complet pour le langage Algol 60, y compris l'appel de procédures récursives; il est à l'origine de la logique de Hoare qui sert à la vérification de la correction de programmes et du langage formel Communicating sequential processes (CSP) qui permet de spécifier l'interaction de processus concurrents (en) (y compris le fameux problème du dîner des philosophes) et qui a inspiré les langages de programmation Occam ou Ada ainsi que le concept de moniteur.
  • Tony Hoare (o Charles Antony Richard Hoare) (Colombo, 11 gennaio 1934) è un informatico britannico.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 (CSP) usato per specificare interazioni tra processi concorrenti.
  • チャールズ・アントニー・リチャード・ホーア(Charles Antony Richard Hoare、1934年1月11日 - )はイギリスの計算機科学者。通称はトニー・ホーア(Tony Hoare)またはC・A・R・ホーア。1960年に26歳でクイックソートを開発したことで最もよく知られる。これは世界で最も広く使われているソートアルゴリズムであり、恐らくあらゆる種類のアルゴリズムの中でも、世界で最も広く使われているものであろう。彼はまたホーア論理や、形式言語の1つで並行プロセス間の通信を記述するのに使われるCommunicating Sequential Processes(CSP)の開発、またプログラミング言語Occamに示唆を与えた事でも知られる。
  • Charles Anthony Richard Hoare (Colombo (toenmalig Ceylon), 11 januari 1934) 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:In 1985 ontving hij de Faraday Medal.In 1998 hield hij in Den Haag de NWO-Huygens lezing; 'The science of computing and the engineering of software'.
  • Sir Charles Antony Richard Hoare, também conhecido como Tony Hoare ou C. A. R. Hoare (Colombo, 11 de janeiro de 1934), é 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 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 (Irlanda do Norte) 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.Em 1985, ele foi eleito
  • Sir Charles Antony Richard Hoare (Tony Hoare, ur. 11 stycznia 1934 w Kolombo, Sri Lanka) - 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 (zob. problem ucztujących filozofó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
  • Сэр Чарльз Э́нтони Ри́чард Хо́ар (англ. Charles Antony Richard Hoare или Tony Hoare или C.A.R. Hoare, р. 11 января 1934, Коломбо, Цейлон, Британская империя, ныне Шри Ланка) — английский учёный, специализирующийся в области информатики и вычислительной техники. Наиболее известен как разработчик алгоритма «быстрой сортировки» (1960), на сегодняшний день являющегося наиболее популярным алгоритмом сортировки.Другие известные результаты его работы: язык Z спецификаций и параллельная модель взаимодействия последовательных процессов (CSP, Communicating Sequential Process). В числе его заслуг — разработка логики Хоара (англ. Hoare Logic), научной основы для конструирования корректных программ, используемой для определения и разработки языков программирования. Хоар создал ряд трудов по созданию спецификаций, проектированию, реализации и сопровождению программ, показывающих важность научных результатов для увеличения производительности компьютеров и повышения надежности программного обеспечения.
  • 查爾斯·安東尼·理查德·霍爾爵士(英语:Charles Antony Richard Hoare,縮寫為 C. A. R. Hoare,1934年1月11日-),常被暱稱為東尼·霍爾(一譯托尼·霍爾,英语:Tony Hoare),生於斯里蘭卡可倫坡,英國計算機科學家,圖靈獎得主。他設計了快速排序演算法、霍尔逻辑、交談循序程式。
dbpedia-owl:alias
  • Sir Tony Hoare
dbpedia-owl:almaMater
dbpedia-owl:award
dbpedia-owl:birthDate
  • 1934-01-11 (xsd:date)
dbpedia-owl:birthName
  • Charles Antony Richard Hoare
dbpedia-owl:birthPlace
dbpedia-owl:birthYear
  • 1934-01-01 (xsd:date)
dbpedia-owl:doctoralStudent
dbpedia-owl:field
dbpedia-owl:knownFor
dbpedia-owl:lccnId
  • n/84/148204
dbpedia-owl:residence
dbpedia-owl:thumbnail
dbpedia-owl:viafId
  • 108123782
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
  • 39434 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 604739559 (xsd:integer)
dbpprop:almaMater
  • * Merton College, Oxford * Moscow State University
dbpprop:alternativeNames
  • Sir Tony Hoare
dbpprop:birthDate
  • 1934-01-11 (xsd:date)
dbpprop:birthName
  • Charles Antony Richard Hoare
dbpprop:birthPlace
dbpprop:caption
  • 0001-06-20 (xsd:date)
dbpprop:dateOfBirth
  • 1934-01-11 (xsd:date)
dbpprop:doctoralStudents
  • * Andrew P. Black * Stephen Brookes * Cliff Jones * Augusto Sampaio * David Naumann * Bill Roscoe * William Stewart
dbpprop:field
dbpprop:hasPhotoCollection
dbpprop:knownFor
  • * Quicksort * Hoare logic * Communicating Sequential Processes
dbpprop:lccn
  • n/84/148204
dbpprop:name
  • Hoare, Charles Antony Richard
  • Tony Hoare
dbpprop:placeOfBirth
dbpprop:prizes
  • * ACM Turing Award * Harry H. Goode Memorial Award * FRS
dbpprop:residence
dbpprop:shortDescription
  • Computer scientist
dbpprop:viaf
  • 108123782 (xsd:integer)
dbpprop:workInstitution
  • * Elliott Brothers * Queen's University Belfast * University of Oxford * Moscow State University * Microsoft Research
dc:description
  • Computer scientist
  • Computer scientist
dcterms:subject
rdf:type
rdfs:comment
  • Sir Charles Antony Richard Hoare FRS FREng (born 11 January 1934), commonly known as Tony Hoare or C. A. R. Hoare, is a British computer scientist. He developed the sorting algorithm quicksort in 1960. He also developed Hoare logic for verifying program correctness, and the formal language Communicating Sequential Processes (CSP) to specify the interactions of concurrent processes (including the dining philosophers problem) and the inspiration for the occam programming language.
  • توني هور (بالإنكليزية: Tony Hoare) عالم حاسوب بريطاني بارز في مجال علم الحاسوب، فاز بجائزة تورنج في عام 1980 عن مساهماته في لغات البرمجة.
  • Sir Charles Antony Richard Hoare (* 11. Januar 1934 in Colombo, Sri Lanka), 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, Occam und Go beeinflusst hat.
  • Tony Hoare (o Charles Antony Richard Hoare) (Colombo, 11 gennaio 1934) è un informatico britannico.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 (CSP) usato per specificare interazioni tra processi concorrenti.
  • チャールズ・アントニー・リチャード・ホーア(Charles Antony Richard Hoare、1934年1月11日 - )はイギリスの計算機科学者。通称はトニー・ホーア(Tony Hoare)またはC・A・R・ホーア。1960年に26歳でクイックソートを開発したことで最もよく知られる。これは世界で最も広く使われているソートアルゴリズムであり、恐らくあらゆる種類のアルゴリズムの中でも、世界で最も広く使われているものであろう。彼はまたホーア論理や、形式言語の1つで並行プロセス間の通信を記述するのに使われるCommunicating Sequential Processes(CSP)の開発、またプログラミング言語Occamに示唆を与えた事でも知られる。
  • 查爾斯·安東尼·理查德·霍爾爵士(英语:Charles Antony Richard Hoare,縮寫為 C. A. R. Hoare,1934年1月11日-),常被暱稱為東尼·霍爾(一譯托尼·霍爾,英语:Tony Hoare),生於斯里蘭卡可倫坡,英國計算機科學家,圖靈獎得主。他設計了快速排序演算法、霍尔逻辑、交談循序程式。
  • Charles Antony Richard Hoare (Colombo, Sri Lanka, 11 de enero de 1934 -), 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.
  • Sir Charles Antony Richard Hoare (généralement appelé Tony Hoare ou C. A. R. Hoare), né le 11 janvier 1934 à Colombo au Ceylan (maintenant 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.
  • Charles Anthony Richard Hoare (Colombo (toenmalig Ceylon), 11 januari 1934) 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 (Tony Hoare, ur. 11 stycznia 1934 w Kolombo, Sri Lanka) - 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 (zob. problem ucztujących filozofów). Przyczynił się także do powstania języka programowania Occam.
  • Sir Charles Antony Richard Hoare, também conhecido como Tony Hoare ou C. A. R. Hoare (Colombo, 11 de janeiro de 1934), é 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.
  • Сэр Чарльз Э́нтони Ри́чард Хо́ар (англ. Charles Antony Richard Hoare или Tony Hoare или C.A.R. Hoare, р. 11 января 1934, Коломбо, Цейлон, Британская империя, ныне Шри Ланка) — английский учёный, специализирующийся в области информатики и вычислительной техники.
rdfs:label
  • Tony Hoare
  • توني هور
  • Tony Hoare
  • C. A. R. Hoare
  • Charles Antony Richard Hoare
  • Tony Hoare
  • アントニー・ホーア
  • Tony Hoare
  • C.A.R. Hoare
  • Charles Antony Richard Hoare
  • Хоар, Чарльз Энтони Ричард
  • 東尼·霍爾
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:givenName
  • Charles Antony Richard
foaf:isPrimaryTopicOf
foaf:name
  • Charles Antony Richard Hoare
  • Hoare, Charles Antony Richard
  • Tony 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 owl:sameAs of
is foaf:primaryTopic of