Hoare, Charles Anthony Richard
| Charles Anthony Richard Hoare | |
|---|---|
| Charles Anthony Richard Hoare | |
| Konferenssissa EPFL :ssä 20. kesäkuuta 2011 | |
| Syntymäaika | 11. tammikuuta 1934 (88-vuotiaana) |
| Syntymäpaikka | Colombo , Ceylon, Brittiläinen imperiumi , nyt Sri Lanka |
| Maa | |
| Tieteellinen ala | Informatiikka |
| Työpaikka | |
| Alma mater | |
| Tunnetaan | " pikalajittelu " -algoritmin luoja . |
| Palkinnot ja palkinnot | Lontoon Royal Societyn jäsen Turing Award ( 1980 ) John von Neumann -mitali ( 2011 ) Faraday-mitali ( 1985 ) Friedrich L. Bauer -palkinto ( 2007 ) Fellow-palkinnot Kioton edistyneen teknologian palkinto [d] ( 2000 ) Computer Pioneer ( 1990 ) Ohjelmointikielten saavutuspalkinto [d] ( 2011 ) Harry Hood Memorial Award ( 1981 ) kunniatohtorin arvo Complutense University of Madridista [d] ( 2013 ) Ison-Britannian Royal Academy of Engineering Sciences -akatemian jäsen [d] British Computer Societyn jäsen [d] |
| Verkkosivusto | cs.ox.ac.uk/people/tony.… |
 Wikilainaukset | |
| Mediatiedostot Wikimedia Commonsissa | |
Sir Charles Anthony Richard Hoare ( eng. Charles Antony Richard Hoare tai Tony Hoare tai CAR Hoare ; syntynyt 11. tammikuuta 1934 , Colombo , Ceylon, Brittiläinen valtakunta , nykyinen Sri Lanka ) on englantilainen tietojenkäsittelytieteeseen ja tietotekniikkaan erikoistunut tiedemies . Hänet tunnetaan parhaiten Quicksort - algoritmin ( 1960 ) kehittäjänä, joka on ylivoimaisesti suosituin lajittelualgoritmi nykyään .
Muita hänen työnsä merkittäviä tuloksia ovat Z-määrityskieli ja rinnakkaisviestintämalli peräkkäisille prosesseille ( CSP , Communicating Sequential Process). Hänen saavutuksiinsa kuuluu Hoare Logicin kehittäminen , tieteellinen perusta ohjelmointikielten määrittämiseen ja kehittämiseen käytettyjen oikeiden ohjelmien rakentamiselle. Hoare tuotti sarjan kirjoituksia ohjelmien määrittelystä, suunnittelusta, toteutuksesta ja ylläpidosta, jotka osoittavat tieteellisten tulosten merkityksen tietokoneen suorituskyvyn lisäämisessä ja ohjelmistojen luotettavuuden parantamisessa.
Elämäkerta
Syntynyt Colombossa Sri Lankassa . Hän suoritti klassisten kielten BA -tutkinnon Oxfordin yliopistosta vuonna 1956 . Hän palveli Ison- Britannian kuninkaallisessa laivastossa 1956-1958 . Opiskeltuaan venäjää Hoare opiskeli vuonna 1959 tietokonekäännöstä Moskovan valtionyliopistossa sekä todennäköisyysteoriaa Kolmogorov -koulussa . Vuonna 1960 U-2-tiedustelukoneen tuhoutumiseen liittyvän poliittisen kriisin vuoksi hän jätti Neuvostoliiton ja aloitti työskentelyn pienessä tietokoneyrityksessä, Elliott Brothersissa , jossa hän otti käyttöön ALGOL60- kielen . Siellä hän alkoi kehittää algoritmeja.
Vuonna 1968 hänestä tuli tietojenkäsittelytieteen ja tekniikan professori Queen 's University Belfastissa .
Vuonna 1977 hän palasi Oxfordiin tietojenkäsittelytieteen professorina johtamaan ohjelmointitutkimusryhmää, jonka tehtävänä oli vahvistaa yhteyksiä tietotekniikan alalla toimivien teollisten, akateemisten ja valtion rakenteiden välillä. Hänen tutkimusalueitaan Oxfordissa ovat ohjelmistospesifikaatioiden oikeellisuus, kriittisten ja ei-kriittisten järjestelmien suunnittelu ja kehittäminen.
Vuonna 1999 hän jäi eläkkeelle kunniaprofessorina ja siirtyi johtavaksi tutkijaksi Microsoft Researchiin Cambridgessa, jossa hän työskenteli vuonna 2011 .
Palkinnot
Palkinnot sisältävät:
- 1980 - Turing-palkinto ( ACM Award ) "hänen erinomaisista saavutuksistaan ohjelmointikielten määrittelyssä ja suunnittelussa" [1] .
- 1981 - Harry Hood -muistopalkinto .
- 1985 - Faraday-mitali .
- 1990 - Tietotekniikan edelläkävijä .
- 2000 - Knighthood for Merit in Education and Computer Science, Kioton Award [2] .
- 2006 - Computer History Museum Fellow Awards .
- 2011 - John von Neumann -mitali .
Vuonna 2013 hänelle myönnettiin Pietarin kansallisen tietotekniikan, mekaniikan ja optiikan tutkimusyliopiston kunniatohtori [3] .
Muistiinpanot
- ↑ C. ANTONY ("TONY") R. HOARE . — "Hänen perustavanlaatuisesta panoksesta ohjelmointikielten määrittelyyn ja suunnitteluun." Haettu: 1.9.2021.
- ↑ Kioton palkinto . Haettu 21. helmikuuta 2012. Arkistoitu alkuperäisestä 4. helmikuuta 2012. Kioton palkinto / Voittajat / Vuosiluettelo
- ↑ NRU ITMO:n kunniatohtorin tutkintotodistuksen ja puvun esitys Sir Tony Hoarelle (14. toukokuuta 2013). Haettu: 1.9.2021.
Kirjat
- O.J. Dahl, E.W. Dijkstra ja C.A.R. Hoare, Structured Programming . Academic Press , 1972. ISBN 0-12-200550-3 . Käännös: Dahl W., Dijkstra E. , Hoor K., Structured Programming . M.: "Mir", 1975.
- CAR Hoare, Kommunikoi peräkkäiset prosessit . Prentice Hall International Series in Computer Science, 1985. ISBN 0-13-153271-5 kovakantinen tai ISBN 0-13-153289-8 pokkari. Käännös: Hoare C., Interacting Sequential Processes . M: Mir, 1989.
- CAR Hoare ja MJC Gordon, Mechanized Reasoning and Hardware Design . Prentice Hall International Series in Computer Science, 1992. ISBN 0-13-572405-8 .
- CAR Hoare ja He Jifeng, Unifying Theories of Programming . Prentice Hall International Series in Computer Science, 1998. ISBN 0-13-458761-8 .
Linkit
- http://research.microsoft.com/en-us/people/thoare/ Microsoft Research - lyhyt elämäkerta
- http://web.comlab.ox.ac.uk/oucl/people/tony.hoare.html Oxfordin yliopisto-Hoare – tietojenkäsittelytieteen emeritusprofessori
- https://web.archive.org/web/20030315091028/http://www.braithwaite-lee.com/opinions/p75-hoare.pdf Transkriptio vuoden 1980 Turing-palkinnon puheesta
- http://www.usingcsp.com/ Varaa CSP:stä
 Temaattiset sivustot | ||||
|---|---|---|---|---|
| Sanakirjat ja tietosanakirjat | ||||
| ||||
| Turing-palkinnon voittajat | |
|---|---|
| |
| Ohjelmistokehitys | |
|---|---|
| Prosessi | |
| Korkean tason käsitteet | |
| Ohjeet |
|
| Kehittämismenetelmät _ | |
| Mallit |
|
| Merkittäviä lukuja |
|