Charles Antony Richard Hoare
| Charles Antony Richard Hoare | |
|---|---|
| Ciência da computação | |
 Sir Charles Antony Richard Hoare em uma conferência na Escola Politécnica Federal de Lausanne, em 20 de junho de 2011 |
|
| Nacionalidade |  Britânico |
| Nascimento | 11 de janeiro de 1934 (79 anos) |
| Local | Colombo |
| Actividade | |
| Campo(s) | Ciência da computação |
| Alma mater | Universidade de Oxford |
| Conhecido(a) por | Quicksort Lógica de Hoare CSP |
| Prêmio(s) | Prêmio Turing (1980), Prêmio Kyoto (2000), Prêmio Friedrich L. Bauer (2007) |
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.
Livros[editar]
- O.-J. Dahl, E. W. Dijkstra and C. A. R. Hoare. Structured Programming. [S.l.]: Academic Press, 1972. ISBN 0-12-200550-3
- C. A. R. Hoare. Communicating Sequential Processes. [S.l.]: Prentice Hall International Series in Computer Science, 1985. ISBN 0-13-153271-5 hardback or ISBN 0-13-153289-8 paperback
- C. A. R. Hoare and M. J. C. Gordon. Mechanised Reasoning and Hardware Design. [S.l.]: Prentice Hall International Series in Computer Science, 1992. ISBN 0-13-572405-8
- C. A. R. Hoare and He Jifeng. . [S.l.]: Prentice Hall International Series in Computer Science, 1998. ISBN 0-13-458761-8
Ligações externas[editar]
| Precedido por Kenneth Iverson |
Prêmio Turing 1980 |
Sucedido por Edgar Frank Codd |
