Charles Antony Richard Hoare

Charles Antony Richard Hoare
Sir Charles Antony Richard Hoare em uma conferência na Escola Politécnica Federal de Lausanne, em 20 de junho de 2011
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

• 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) 

O Commons possui uma categoria com imagens e outros ficheiros sobre Charles Antony Richard Hoare