Tony Hoare

Tony Hoare

Tony Hoare (sau Charles Antony Richard Hoare ) ( Colombo , 11 ianuarie 1934 ) este un informatician britanic .

A găsit faimă largă datorită invenției, în 1960, a quicksortului , cel mai utilizat algoritm de sortare din lume. De asemenea, el a dezvoltat logica Hoare , concepută pentru a verifica corectitudinea programelor și limbajul formal de comunicare a proceselor secvențiale (CSP) folosit pentru a specifica interacțiunile dintre procesele concurente.

Biografie

„Simplitatea este prețul inevitabil pe care trebuie să-l plătim pentru fiabilitate”. ^[1]

Origini și instruire

Născut în Colombo (Ceylon, acum Sri Lanka) din părinți englezi, a obținut o diplomă în literatură la Universitatea din Oxford (Merton College) în 1956. A stat apoi un an la Oxford pentru a studia statistici avansate, servind în Marina (1956) - 1958), unde a învățat limba rusă . Ulterior a studiat traducerea computerizată a limbilor naturale la Universitatea de Stat din Moscova din Uniunea Sovietică la școala Kolmogorov .

În 1960, a părăsit Uniunea Sovietică și a început să lucreze la Elliott Brothers , Ltd, o mică companie producătoare de calculatoare, unde a implementat limbajul de programare ALGOL 60 și a început să dezvolte algoritmi. În 1968 a devenit profesor de științe computaționale la Universitatea Queen's din Belfast și în 1977 s-a întors la Oxford în aceeași funcție. De asemenea, a condus un grup de cercetare privind programarea în laboratorul de calcul al universității. Este încă profesor la Oxford și cercetează pentru grupul Microsoft din Londra.

Premii

• În 1980 a primit Premiul Turing pentru „contribuția sa fundamentală la definirea și proiectarea limbajelor de programare”.
• În 1981 a obținut titlul H. Premiul Memorial Goode.
• În 1987 a primit un doctorat onorific la Universitatea Queen's din Belfast.
• În 2007 a primit un doctorat onorific de către Departamentul de Informatică de la Universitatea din Atena.

Cărți

• O.-J. Dahl, Edsger Dijkstra și CAR Hoare, Programare structurată , Academic Press, 1972
• CAR Hoare, Processing Sequential Processes (online la [1] în format PDF), Prentice Hall International Series in Computer Science, 1985
• CAR Hoare și MJC Gordon, Raționament mecanizat și proiectare hardware , Seria internațională de informatică Prentice Hall, 1992
• CAR Hoare și He Jifeng, Teorii unificatoare ale programării , Seria internațională Prentice Hall în informatică, 1998

Notă

Alte proiecte

• Wikimedia Commons conține imagini sau alte fișiere despre Tony Hoare

linkuri externe

• Pagina de pornire Microsoft - scurtă biografie
• Pagina principală a Laboratorului de calcul al Universității Oxford - profesor emerit de informatică
• Sfaturi pentru doctoranzi de la Tony Hoare Arhivat 1 februarie 2008 la Internet Archive . - a avut loc la Școala Internațională de vară Marktoberdorf 2006
• Clasicul articol despre monitoare Arhivat la 17 iulie 2007 la Internet Archive . - Articolul original despre monitoare care a fost republicat ca un clasic al ACM

Portal Biografii

Portal IT