Tony Hoare - Tony Hoare
|
Domnule
Tony Hoare
| |
|---|---|
 Tony Hoare în 2011
| |
| Născut |
Charles Antony Richard Hoare
11 ianuarie 1934 |
| Alte nume | CAR Hoare |
| Alma Mater | |
| Cunoscut pentru | |
| Premii | |
| Cariera științifică | |
| Câmpuri | Informatică |
| Instituții | |
| Doctoranzi | |
| Site-ul web | www |
Sir Charles Antony Richard Hoare FRS FREng (n. 11 ianuarie 1934) este un informatician britanic .
Tony Hoare a dezvoltat algoritmul de sortare rapid în 1959–1960. De asemenea, el a dezvoltat logica Hoare pentru verificarea corectitudinii programului și a limbajului formal care comunică procesele secvențiale (CSP) pentru a specifica interacțiunile proceselor concurente (inclusiv problema filosofilor culinare ) și inspirația pentru limbajul de programare occam .
Hoare a fost ales membru al Academiei Naționale de Inginerie în 2006 pentru contribuții fundamentale la informatică în domeniile algoritmilor, sistemelor de operare și limbajelor de programare.
Educație și viață timpurie
Tony Hoare s-a născut în Colombo , Ceylon (acum Sri Lanka ) din părinți britanici; tatăl său era funcționar civil colonial , iar mama lui era fiica unui plantator de ceai. Hoare a fost educat în Anglia la Dragon School din Oxford și King's School din Canterbury . Apoi a studiat clasica și filosofia („Greats”) la Merton College, Oxford . La absolvire, în 1956, a făcut 18 luni Serviciul Național în Marina Regală , unde a învățat limba rusă. S-a întors la Universitatea din Oxford în 1958 pentru a studia pentru un certificat postuniversitar în statistici și tocmai aici a început programarea computerizată , fiind predat de Autocode pe Ferranti Mercury de Leslie Fox . Apoi a mers la Universitatea de Stat din Moscova ca student la schimbul British Council , unde a studiat traducerea automată sub conducerea lui Andrey Kolmogorov .
Cercetare și carieră
În 1960, Hoare a părăsit Uniunea Sovietică și a început să lucreze la Elliott Brothers Ltd , o mică firmă de producere a computerelor situată în Londra. Acolo, el a implementat limbajul ALGOL 60 și a început să dezvolte algoritmi majori .
El a fost implicat în dezvoltarea standardelor internaționale în programare și informatică, în calitate de membru al Grupului de lucru 2.1 al Federației Internaționale pentru Prelucrarea Informației (IFIP) pentru Limbi Algoritmice și Calculi, care a specificat , menține și susține limbile ALGOL 60 și ALGOL 68 .
A devenit profesor de informatică la Universitatea Queen's din Belfast în 1968, iar în 1977 a revenit la Oxford ca profesor de informatică pentru a conduce grupul de cercetare a programării în Laboratorul de informatică al Universității Oxford (acum Departamentul de Informatică, Universitatea din Oxford ) , după moartea lui Christopher Strachey . Acum este profesor emerit acolo și este, de asemenea, cercetător principal la Microsoft Research din Cambridge , Anglia.
Cea mai semnificativă lucrare a lui Hoare a fost în următoarele domenii: algoritmul său de sortare și selecție ( Quicksort și Quickselect ), logica Hoare , limbajul formal care comunică procesele secvențiale (CSP) utilizate pentru a specifica interacțiunile dintre procesele concurente , structurarea sistemelor de operare ale computerului utilizând monitorul conceptul și specificația axiomatică a limbajelor de programare .
Scuze și retracții
Vorbind la o conferință de software din 2009, Tony Hoare și-a cerut scuze pentru inventarea referinței nule :
O numesc greșeala mea de miliarde de dolari. A fost invenția referinței nule în 1965. În acel moment, proiectam primul sistem de tip cuprinzător pentru referințe într-un limbaj orientat obiect ( ALGOL W ). Scopul meu a fost să mă asigur că toată utilizarea referințelor ar trebui să fie absolut sigură, cu verificarea efectuată automat de către compilator. Dar nu am putut rezista tentației de a introduce o referință nulă, pur și simplu pentru că a fost atât de ușor de implementat. Acest lucru a dus la nenumărate erori, vulnerabilități și blocări ale sistemului, care au cauzat probabil un miliard de dolari de durere și daune în ultimii patruzeci de ani.
Timp de mulți ani , sub conducerea sa, departamentul de Oxford Hoare a lucrat la limbi de specificare formale , cum ar fi CSP și Z . Acestea nu au atins preluarea preconizată de către industrie și, în 1995, Hoare a fost condus să reflecteze la ipotezele inițiale:
În urmă cu zece ani, cercetătorii în ceea ce privește metodele formale (și eu am fost cel mai greșit dintre ei) au prezis că lumea programării va îmbrățișa cu recunoștință fiecare asistență promisă de formalizare pentru a rezolva problemele de fiabilitate care apar atunci când programele devin mai mari și mai critice pentru siguranță. Programele au devenit acum foarte mari și foarte critice - mult dincolo de scara care poate fi abordată confortabil prin metode formale. Au existat multe probleme și eșecuri, dar acestea au fost aproape întotdeauna atribuite analizei inadecvate a cerințelor sau controlului inadecvat al managementului. Sa dovedit că lumea pur și simplu nu suferă în mod semnificativ de tipul de problemă pe care cercetarea noastră a fost inițial menită să o rezolve.
Cărți
- Dahl, O.-J. ; Dijkstra, EW ; Hoare, CAR (1972). Programare structurată . Academic Press . ISBN 978-0-12-200550-3. OCLC 23937947 .
- CAR Hoare (1985). Comunicarea proceselor secvențiale . Prentice Hall International Series in Computer Science. ISBN 978-0131532717 (Hardback) sau ISBN 978-0131532892 (Paperback). (Disponibil online la http://www.usingcsp.com/ în format PDF.)
- Hoare, CAR; Gordon, MJC (1992). Raționament mecanizat și proiectare hardware . Prentice Hall International Series in Computer Science. ISBN 978-0-13-572405-7. OCLC 25712842 .
- Hoare, CAR; El, Jifeng (1998). Teorii unificatoare ale programării . Prentice Hall International Series in Computer Science. ISBN 978-0-13-458761-5. OCLC 38199961 .
Personal
În 1962, Hoare s-a căsătorit cu Jill Pym, membru al echipei sale de cercetare.
Premii și distincții
- Distinct Fellow of the British Computer Society (1978)
- Premiul Turing pentru „contribuțiile fundamentale la definirea și proiectarea limbajelor de programare ”. Premiul i-a fost acordat la Conferința anuală ACM de la Nashville, Tennessee , la 27 octombrie 1980, de Walter Carlson, președintele comisiei de premiere. O transcriere a discursului lui Hoare a fost publicată în Comunicările ACM .
- Premiul Memorial Harry H. Goode (1981)
- Fellow of the Royal Society (1982)
- Doctorat onorific în științe de la Queen's University Belfast (1987)
- Doctorat onorific în științe, de la Universitatea din Bath (1993)
- Fellow de onoare, Kellogg College, Oxford (1998)
- Cavaler pentru servicii pentru educație și informatică (2000)
- Premiul Kyoto pentru știința informației (2000)
- Fellow of the Royal Academy of Engineering (2005)
- Membru al Academiei Naționale de Inginerie (2006)
- Computer History Museum (CHM) din Mountain View, California Fellow of the Museum "pentru dezvoltarea algoritmului Quicksort și pentru contribuțiile pe tot parcursul vieții la teoria limbajelor de programare " (2006)
- Doctorat onorific de la Universitatea Heriot-Watt (2007)
- Doctorat onorific în științe la Departamentul de informatică al Universității de Economie și Afaceri din Atena (AUEB) (2007)
- Premiul Friedrich L. Bauer, Universitatea Tehnică din München (2007)
- Premiul pentru realizarea limbajelor de programare SIGPLAN (2011)
- Medalia IEEE John von Neumann (2011)
- Doctorat onorific, Universitatea din Varșovia (2012)
- Doctorat onorific, Universitatea Complutense din Madrid (2013)
Referințe
Acest articol încorporează text disponibil sub licența CC BY 4.0 .