human
Veuillez expliquer ce qu'est "Tony Hoare"
gpt
Sir Charles Antony Richard Hoare (Tony Hoare ou C. A. R. Hoare) FRS FREng (né le 11 janvier 1934) est un informaticien britannique qui a apporté des contributions fondamentales aux langages de programmation, aux algorithmes, aux systèmes d'exploitation, à la vérification formelle et à l'informatique concurrente. Ses travaux lui ont valu le prix Turing, généralement considéré comme la plus haute distinction en informatique, en 1980.
Hoare a développé l'algorithme de tri quicksort en 1959-1960. Il a développé la logique de Hoare, une base axiomatique pour vérifier l'exactitude du programme. Dans la sémantique de la concurrence, il a introduit le langage formel communiquant les processus séquentiels (CSP) pour spécifier les interactions des processus concurrents et, avec Edsger Dijkstra, a formulé le problème des philosophes de la restauration.[10][11][12] Il est également crédité du développement (et plus tard de la critique) du pointeur nul, l'ayant introduit dans la famille des langages ALGOL. Depuis 1977, il a occupé des postes à l'Université d'Oxford et à Microsoft Research à Cambridge.