Charles Antony Richard Hoare
Charles Antony Richard Hoare, também conhecido como Tony Hoare ou C.
A. R. Hoare (Colombo, 11 de janeiro de 1934), é um cientista da computação britânico.
| Charles Antony Richard Hoare | |
|---|---|
 | |
| Conhecido(a) por | Quicksort, Lógica de Hoare, CSP |
| Nascimento | 11 de janeiro de 1934 (90 anos) Colombo |
| Nacionalidade | britânico |
| Alma mater | Merton College (Oxford), Universidade Estatal de Moscou |
| Prêmios | Prêmio Turing (1980), Prêmio Memorial Harry H. Goode (1981), Medalha Faraday (1985), Prêmio Pioneiro da Computação (1990), Prêmio Kyoto (2000), Prêmio Friedrich L. Bauer (2007), Medalha John von Neumann IEEE (2011) |
| Orientado(a)(s) | Clifford Jones, Andrew William Roscoe, Augusto Sampaio |
| Instituições | Queen's University de Belfast, Universidade de Oxford, Universidade Estatal de Moscou, Microsoft Research |
| Campo(s) | ciência da computação |
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 foi eleito fellow da Royal Society. Em 2005 foi eleito também fellow da Royal Academy of Engineering.
Livros
- O.-J. Dahl, E. W. Dijkstra e C. A. R. Hoare (1972). Structured Programming. [S.l.]: Academic Press. ISBN 0-12-200550-3
- C. A. R. Hoare (1985). Communicating Sequential Processes. (available online at http://www.usingcsp.com/ in PDF format). [S.l.]: Prentice Hall International Series in Computer Science. ISBN 0-13-153271-5 hardback or ISBN 0-13-153289-8 paperback Verifique
|isbn=(ajuda) - C. A. R. Hoare e M. J. C. Gordon (1992). Mechanised Reasoning and Hardware Design. [S.l.]: Prentice Hall International Series in Computer Science. ISBN 0-13-572405-8
- C. A. R. Hoare e He Jifeng (1998). Unifying Theories of Programming. [S.l.]: Prentice Hall International Series in Computer Science. ISBN 0-13-458761-8
Referências
Ligações externas
- «Biografia» (em inglês)
- «Discurso de recepção do Prêmio Turing» (PDF) (em inglês)
| Precedido por Kenneth Iverson | Prêmio Turing 1980 | Sucedido por Edgar Frank Codd |
This article uses material from the Wikipedia Português article Charles Antony Richard Hoare, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Conteúdo disponibilizado nos termos da CC BY-SA 4.0, salvo indicação em contrário. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Português (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.