Visita Encydia.com

C. À. R. Hoare

De Wikipédia, l'encyclopédie libre

(Redirigé depuis Tony Hoare)

Modèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/fileModèle:Fiche/file

Sir Charles Antony Richard Hoare (Colombo, le Sri Lanka, 11 janvier de 1934 -), aussi connu familiarmente comme Tony Hoare, est un scientifique Britannique en calcul, connu surtout par l'invention, en 1960 de Quicksort, qu'est le algoritmo d'ordonnance plus largement utilisé dans le monde. il aussi se lui connaît par le développement de la Logique d'Hoare, et par le langage formel CSP (troisième travail plus cité en calcul d'accord avec les stats de Citeseer), utilisé pour préciser interactions entre procès concurrentes que sert de base pour la définition du langage de programmation Occam.

En 1956 il a réussi le Titre de Degré (équivalent à une course de quatre ans sans master ni doctorado) en Culture Classique et Philosophie dans la Université d'Oxford.

Il lui étonnait le pouvoir de la logique mathématique pour expliquer la certitude apparente des teoremas mathématiques. Il a servi à la Marine Réelle Britannique (1956-1958) où a étudié russe et postérieurement se graduó dans la Université De l'État de Moscou pour étudier Théorie de la Probabilité et faire des traductions de langage humain à langage de machine.

En essayant faciliter la recherche de mots dans le dictionnaire il a découvert le fameux algoritmo “Quicksort”. La fonction de cet algoritmo est ordonner une liste d'éléments du même type et il est basé sur la technicienne “divise et tu vaincras”, de sorte qu'il convertit un problème compliqué, en beaucoup de simples, mais il en plus est le plus rapide connu pour faire cette tâche.

En 1960 il est revenu à l'Angleterre, où il a travaillé comme programador pour Elliott Brothers, une petite usine d'ordinateurs. Il A là dirigé à une équipe de personnes qu'ils ont dessiné le premier compilador commercial pour le langage de programmation “Algol 60”.

Après réussir le rang d'ingénieur chef, a coordonné une équipe beaucoup de majeure pour implémenter un système opérationnel qui a résulté désastreux. Il Est bientôt après entré dans une entreprise d'hardware et architecture de logiciel qui a dû il abandonner lorsque celle-ci s'a fusionné avec sa concurrence.

En 1968 il a réussi une occasion pour travailler comme professeur de Sciences du Calcul en Queen’s University, à Belfast. Le but de ses recherches était comprendre par quelles les systèmes opérationnels étaient beaucoup plus compliqués que les compiladores, et voir si les avances en théorie de la programmation pourraient aider à résoudre problèmes d'assistance informatique.

Il A toujours été conscient de que serait une période de recherche très long et qu'il difficilement réussirait des applications industrielles pour ses avances.

En 1977 il s'a déplacé à l'Université d'Oxford, et s'a engagé à bâtir un Groupe de Recherche de Programmation, fondé par Christopher Strachey.

Pendant plus de trente ans comme académique, Tony il a toujours eu des importants contacts avec l'industrie moyennant des consultations, collaborations de recherche, etc.

Lorsqu'il est arrivé à l'âge de retraite pour les recherches d'Oxford, a accepté avec des faims l'occasion de revenir à l'industrie comme chercheur senior pour Microsoft en Cambridge, où continue à travailler actuellement.

Tu raccordes externes

Récupérée de « http://fr.encydia.com/es/C._%C3%80._R._Hoare »