Hoare, Charles Anthony Richard
| Charles Anthony Richard Hoare | |
|---|---|
| Charles Anthony Richard Hoare | |
| Az EPFL konferencián 2011. június 20-án | |
| Születési dátum | 1934. január 11. (88 évesen) |
| Születési hely | Colombo , Ceylon, Brit Birodalom , jelenleg Srí Lanka |
| Ország | |
| Tudományos szféra | Informatika |
| Munkavégzés helye | |
| alma Mater | |
| Ismert, mint | a " Quicksort " algoritmus megalkotója . |
| Díjak és díjak | a Londoni Királyi Társaság tagja Turing-díj ( 1980 ) Neumann János-érem ( 2011 ) Faraday-érem ( 1985 ) Friedrich L. Bauer-díj ( 2007 ) Fellow-díjak Kiotói Fejlett Technológiai Díj [d] ( 2000 ) Computer Pioneer ( 1990 ) Programozási Nyelvek Achievement Award [d] ( 2011 ) Harry Hood-emlékdíj ( 1981 ) tiszteletbeli doktori cím a Madridi Complutense Egyetemen [d] ( 2013 ) a brit Királyi Műszaki Tudományok Akadémiájának tagja [d] a British Computer Society tagja [d] |
| Weboldal | cs.ox.ac.uk/people/tony.… |
 Idézetek a Wikiidézetben | |
| Médiafájlok a Wikimedia Commons oldalon | |
Sir Charles Anthony Richard Hoare ( eng. Charles Antony Richard Hoare vagy Tony Hoare vagy CAR Hoare ; született 1934. január 11-én , Colombo , Ceylon, Brit Birodalom , ma Srí Lanka ) egy számítástechnikára és számítástechnikára szakosodott angol tudós . Leginkább a " gyorsrendezés " algoritmus ( 1960 ) fejlesztőjeként ismert, amely ma messze a legnépszerűbb rendezési algoritmus .
Munkásságának további figyelemre méltó eredménye a Z specifikációs nyelv és a szekvenciális folyamatok párhuzamos kommunikációs modellje ( CSP , Communicating Sequential Process). Eredményei közé tartozik a Hoare Logic fejlesztése , amely a programozási nyelvek meghatározására és fejlesztésére használt helyes programok létrehozásának tudományos alapja. Hoare egy sor írást készített a programok specifikációjáról, tervezéséről, megvalósításáról és karbantartásáról, amelyek bemutatják a tudományos eredmények fontosságát a számítógép teljesítményének növelésében és a szoftverek megbízhatóságának javításában.
Életrajz
Colombóban született Srí Lankán . 1956 - ban szerzett BA fokozatot klasszikus nyelvekből az Oxfordi Egyetemen . 1956-1958 között a Nagy- Britannia Királyi Haditengerészeténél szolgált . Miután oroszul tanult , 1959 -ben Hoare számítógépes fordítást tanult a Moszkvai Állami Egyetemen , valamint valószínűségszámítást a Kolmogorov Iskolában . 1960- ban , az U-2-es felderítő repülőgépek megsemmisítésével kapcsolatos politikai válság miatt elhagyta a Szovjetuniót , és egy kis számítástechnikai cégnél, az Elliott Brothersnél kezdett dolgozni , ahol az ALGOL60 nyelvet implementálta . Ott kezdett el algoritmusokat fejleszteni.
1968 - ban a Belfasti Queen 's University számítástechnika és mérnöki professzora lett .
1977 -ben a számítástechnika professzoraként tért vissza Oxfordba, a Programozási Kutatócsoport élére, amelynek feladata az volt, hogy erősítse az információtechnológia területén dolgozó ipari, akadémiai és kormányzati struktúrák közötti kapcsolatokat. Kutatási területei Oxfordban a szoftverspecifikációk helyessége, a kritikus és nem kritikus rendszerek tervezése és fejlesztése.
1999 - ben tiszteletbeli professzorként vonult nyugdíjba, és a cambridge-i Microsoft Research vezető kutatói pozíciójába került , ahol 2011 -ben dolgozott .
Díjak
A díjak közé tartozik:
- 1980 – Turing-díj ( ACM-díj ) "a programozási nyelvek meghatározása és tervezése terén elért kiemelkedő eredményeiért" [1] .
- 1981 – Harry Hood emlékdíj .
- 1985 – Faraday-érem .
- 1990 – A számítástechnika úttörője .
- 2000 – Oktatási és számítástechnikai érdemek lovagi címe, Kiotói Díj [2] .
- 2006 - Számítógéptörténeti Múzeum ösztöndíjasa .
- 2011 – Neumann János-érem .
2013-ban elnyerte a Szentpétervári Nemzeti Információtechnológiai, Mechanikai és Optikai Kutató Egyetem díszdoktora címet [3] .
Jegyzetek
- ↑ C. ANTONY ("TONY") R. HOARE . — „A programozási nyelvek meghatározásához és tervezéséhez nyújtott alapvető hozzájárulásáért”. Letöltve: 2021. szeptember 1.
- ↑ A kiotói díj . Letöltve: 2012. február 21. Az eredetiből archiválva : 2012. február 4.. A kiotói díj / díjazottak / Éves lista
- ↑ Az NRU ITMO díszdoktora oklevelének és köntösének átadása Sir Tony Hoare -nek (2013. május 14.). Letöltve: 2021. szeptember 1.
Könyvek
- O.J. Dahl, E.W. Dijkstra és C.A.R. Hoare, Strukturált programozás . Academic Press , 1972. ISBN 0-12-200550-3 . Fordítás: Dahl W., Dijkstra E. , Hoor K., Strukturált programozás . M.: "Mir", 1975.
- CAR Hoare, Szekvenciális folyamatok kommunikációja . Prentice Hall International Series in Computer Science, 1985. ISBN 0-13-153271-5 keménykötés vagy ISBN 0-13-153289-8 puhakötés. Fordítás: Hoare C., Interacting Sequential Processes . M: Mir, 1989.
- CAR Hoare és MJC Gordon, Mechanized Reasoning and Hardware Design . Prentice Hall International Series in Computer Science, 1992. ISBN 0-13-572405-8 .
- CAR Hoare és He Jifeng, Unifying Theories of Programming . Prentice Hall International Series in Computer Science, 1998. ISBN 0-13-458761-8 .
Linkek
- http://research.microsoft.com/en-us/people/thoare/ Microsoft Research – rövid életrajz
- http://web.comlab.ox.ac.uk/oucl/people/tony.hoare.html Oxford-Hoare Egyetem – a számítástechnika emeritus professzora
- https://web.archive.org/web/20030315091028/http://www.braithwaite-lee.com/opinions/p75-hoare.pdf Az 1980-as Turing-díj beszédének átirata
- http://www.usingcsp.com/ Könyv a CSP-ről
 Tematikus oldalak | ||||
|---|---|---|---|---|
| Szótárak és enciklopédiák | ||||
| ||||
| Turing- díjasok | |
|---|---|
| |
| Szoftverfejlesztés | |
|---|---|
| Folyamat | |
| Magas szintű koncepciók | |
| Útvonalak |
|
Fejlesztési módszertanok | |
| Modellek |
|
| Figyelemre méltó alakok |
|