Hoare, Charles Anthony Richard
| Charles Anthony Richard Hoare | |
|---|---|
| Charles Anthony Richard Hoare | |
| La o conferință la EPFL pe 20 iunie 2011 | |
| Data nașterii | 11 ianuarie 1934 (88 de ani) |
| Locul nașterii | Colombo , Ceylon, Imperiul Britanic , acum Sri Lanka |
| Țară | |
| Sfera științifică | Informatica |
| Loc de munca | |
| Alma Mater | |
| Cunoscut ca | creator al algoritmului " quicksort " . |
| Premii și premii | membru al Societății Regale din Londra Premiul Turing ( 1980 ) Medalia John von Neumann ( 2011 ) Medalia Faraday ( 1985 ) Premiul Friedrich L. Bauer ( 2007 ) Premii colegi Premiul Kyoto pentru Tehnologia Avansată [d] ( 2000 ) Pionier al computerelor ( 1990 ) Premiul pentru realizare în limbaje de programare [d] ( 2011 ) Premiul Memorial Harry Hood ( 1981 ) doctorat onorific de la Universitatea Complutense din Madrid [d] ( 2013 ) membru al Academiei Regale de Științe Inginerie din Marea Britanie [d] membru al British Computer Society [d] |
| Site-ul web | cs.ox.ac.uk/people/tony.… |
 Citate pe Wikiquote | |
| Fișiere media la Wikimedia Commons | |
Sir Charles Anthony Richard Hoare ( ing. Charles Antony Richard Hoare sau Tony Hoare sau CAR Hoare ; născut la 11 ianuarie 1934 , Colombo , Ceylon, Imperiul Britanic , acum Sri Lanka ) este un om de știință englez specializat în informatică și tehnologie informatică . El este cel mai bine cunoscut ca dezvoltatorul algoritmului „ quicksort ” ( 1960 ), care este de departe cel mai popular algoritm de sortare în prezent .
Alte rezultate notabile ale muncii sale sunt limbajul de specificație Z și modelul de comunicare paralelă pentru procese secvențiale ( CSP , Procesul Secvențial de Comunicare). Printre realizările sale se numără dezvoltarea Hoare Logic , baza științifică pentru construirea de programe corecte utilizate pentru definirea și dezvoltarea limbajelor de programare. Hoare a produs o serie de scrieri despre specificarea, proiectarea, implementarea și întreținerea programelor care arată importanța rezultatelor științifice în creșterea performanței computerului și îmbunătățirea fiabilității software-ului.
Biografie
Născut în Colombo în Sri Lanka . Și-a luat licența în limbi clasice la Universitatea din Oxford în 1956 . A servit în Marina Regală a Marii Britanii în 1956-1958 . După ce a studiat limba rusă , în 1959 Hoare a studiat traducerea computerizată la Universitatea de Stat din Moscova , precum și teoria probabilității la Școala Kolmogorov . În 1960 , din cauza crizei politice asociate cu distrugerea aeronavei de recunoaștere U-2 , a părăsit Uniunea Sovietică și a început să lucreze pentru o mică companie de calculatoare, Elliott Brothers , unde a implementat limbajul ALGOL60 . Acolo a început să dezvolte algoritmi.
În 1968 a devenit profesor de informatică şi inginerie la Queen 's University Belfast .
În 1977 s-a întors la Oxford ca profesor de informatică pentru a conduce Grupul de Cercetare în Programare, a cărui sarcină era să consolideze legăturile dintre structurile industriale, academice și guvernamentale care lucrează în domeniul tehnologiei informației. Domeniile sale de cercetare la Oxford sunt corectitudinea specificațiilor software, proiectarea și dezvoltarea sistemelor critice și non-critice.
În 1999, s-a retras din funcția de profesor onorific și a trecut pe postul de cercetător principal la Microsoft Research din Cambridge, unde lucrează în 2011 .
Premii
Premiile includ:
- 1980 - Premiul Turing ( ACM Award ) pentru „realizările sale remarcabile în definirea și proiectarea limbajelor de programare” [1] .
- 1981 - Premiul Memorial Harry Hood .
- 1985 - Medalia Faraday .
- 1990 - Pionier al tehnologiei informatice .
- 2000 - Cavaler pentru Merit în Educație și Informatică, Premiul Kyoto [2] .
- 2006 - Premiile Fellows al Muzeului de Istorie a Calculatoarelor .
- 2011 - Medalia John von Neumann .
În 2013 i s-a conferit titlul de doctor onorific al Universității Naționale de Cercetare de Tehnologii Informaționale, Mecanică și Optică din Sankt Petersburg [3] .
Note
- ↑ C. ANTONY („TONY”) R. HOARE . — «Pentru contribuțiile sale fundamentale la definirea și proiectarea limbajelor de programare.». Preluat: 1 septembrie 2021.
- ↑ Premiul Kyoto . Consultat la 21 februarie 2012. Arhivat din original pe 4 februarie 2012. Premiul Kyoto / Laureații / Lista după an
- ↑ Prezentarea diplomei și halatului de Doctor Onorific al NRU ITMO către Sir Tony Hoare (14 mai 2013). Preluat: 1 septembrie 2021.
Cărți
- O.J. Dahl, E.W. Dijkstra și C.A.R. Hoare, Programare structurată . Academic Press , 1972. ISBN 0-12-200550-3 . Traducere: Dahl W., Dijkstra E. , Hoor K., Programare structurată . M.: „Mir”, 1975.
- CAR Hoare, Comunicarea proceselor secvențiale . Prentice Hall International Series in Computer Science, 1985. ISBN 0-13-153271-5 cartonat sau ISBN 0-13-153289-8 broşat. Traducere: Hoare C., Procese secvențiale care interacționează . M: Mir, 1989.
- CAR Hoare și MJC Gordon, raționament mecanizat și design hardware . Seria Internațională Prentice Hall în Informatică, 1992. ISBN 0-13-572405-8 .
- CAR Hoare și He Jifeng, Unifying Theories of Programming . Seria Internațională Prentice Hall în Informatică, 1998. ISBN 0-13-458761-8 .
Link -uri
- http://research.microsoft.com/en-us/people/thoare/ Microsoft Research - scurtă biografie
- http://web.comlab.ox.ac.uk/oucl/people/tony.hoare.html Universitatea din Oxford-Hoare - Profesor emerit de informatică
- https://web.archive.org/web/20030315091028/http://www.braithwaite-lee.com/opinions/p75-hoare.pdf Transcrierea discursului din 1980 al Premiului Turing
- http://www.usingcsp.com/ Carte despre CSP
 Site-uri tematice | ||||
|---|---|---|---|---|
| Dicționare și enciclopedii | ||||
| ||||
| Câștigători ai premiului Turing | |
|---|---|
| |
| Dezvoltare de software | |
|---|---|
| Proces | |
Concepte de nivel înalt | |
| Directii |
|
| Metodologii de dezvoltare | |
| Modele |
|
Cifre notabile |
|