Charles Antony Richard Hoare
 |
| 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[1] |
| Instituições | Queen's University de Belfast, Universidade de Oxford, Universidade Estatal de Moscou, Microsoft Research |
| Campo(s) | ciência da computação |
Charles Antony Richard Hoare, também conhecido como Tony Hoare ou C. A. R. Hoare (Colombo, 11 de janeiro de 1934[2]), é um cientista da computação 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.[3] 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.[4]
Em 1985 foi eleito fellow da Royal Society.[5] Em 2005 foi eleito também fellow[6] da Royal Academy of Engineering.[6]
Livros[editar | editar código-fonte]
- 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
- ↑ Charles Antony Richard Hoare (em inglês) no Mathematics Genealogy Project
- ↑ «Birthdays Jan 10». The Times. London. 10 de janeiro de 2009. Consultado em 9 de janeiro de 2010
- ↑ C.A.R. Hoare (1981). «The emperor's old clothes» (PDF). Communications of the ACM. 24 (2): 5–83. doi:10.1145/358549.358561. ISSN 0001-0782
- ↑ Hoare, Charles Anthony Richard (27 de outubro de 1980). «The Emperor's Old Clothes / The 1980 ACM Turing Award Lecture» (PDF). Association for Computing Machinery. Cópia arquivada em 3 de fevereiro de 2012
- ↑ «Fellows». Royal Society. Consultado em 20 de novembro de 2010
- ↑ a b «List of Fellows»
Ligações externas[editar | editar código-fonte]
- «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 |
