 | Esta páginacita fontes, mas quenão cobrem todo o conteúdo. Ajude ainserir referências (Encontre fontes:Google (N • L • A • I • WP refs) • ABW • CAPES). |
| Charles Antony Richard Hoare | |
|---|---|
 Sir Charles Antony Richard Hoare em uma conferência naEscola Politécnica Federal de Lausanne, em 20 de junho de 2011 | |
| Conhecido(a) por | Quicksort,Lógica de Hoare,CSP |
| Nascimento | 11 de janeiro de1934 (91 anos) |
| 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) |
| Carreira científica | |
| 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 comoTony Hoare ouC. A. R. Hoare (Colombo,11 de janeiro de1934[2]), é umcientista da computaçãobritânico.
Conhecido pelo desenvolvimento doQuicksort em 1960, oalgoritmo de ordenação mais utilizado no mundo, e muito provavelmente oalgoritmo mais usado dentre todos os tipos existentes. Ele também desenvolveu aLógica de Hoare e a linguagem formalCSP, usada para especificar interações entre processos concorrentes e que serviu de inspiração para alinguagem de programação Occam.
Nascido emColombo,Sri Lanka, de pais nascidos noReino Unido, graduou-seBacharel pelaUniversidade de Oxford em 1956. Ele permaneceu ainda um ano em Oxford estudandoEstatística em nível de graduação, e em seguida estudou tradução computacional de linguagens humanas naUniversidade de Moscou, naRússia. Em 1960 começou a trabalhar naElliot Brothers, Ltd, uma pequena firma de desenvolvimento de programas, onde implementou aALGOL 60 e começou a trabalhar inicialmente desenvolvendo algoritmos.[3] Tornou-se professor de Ciência da Computação naQueen's University, emBelfast (Irlanda do Norte) em 1968, e em 1977 mudou-se paraOxford, também para trabalhar como professor. Hoje ocupa o cargo deProfessor lá, e também é um dos pesquisadores mais antigos do centro de pesquisas daMicrosoft emCambridge, naInglaterra.
Recebeu oPrêmio Turing daACM de 1980, por "suas contribuições fundamentais para a definição e projeto delinguagens de programação". O prêmio lhe foi entregue na Conferência Anual da ACM emNashville,Tennessee, em 27 de outubro de 1980, porWalter Carlson, presidente do comitê de premiação.[4]
Em 1985 foi eleitofellow daRoyal Society.[5] Em 2005 foi eleito também fellow[6] daRoyal Academy of Engineering.[6]
|isbn= (ajuda)
| Precedido por Kenneth Iverson | Prêmio Turing 1980 | Sucedido por Edgar Frank Codd |
