Turingova cena -Turing Award

ACM Turing Award
Břidlicová socha Alana Turinga od Stephena Kettlea v Bletchley Parku
Oceněno za	Vynikající přínos v oblasti informatiky
Země	Spojené státy
Předložený	Asociace pro výpočetní techniku ​​(ACM)
odměna(y)	1 000 000 USD
První oceněný	1966 ; před 57 lety ( 1966 )
Naposledy oceněný	2022
webová stránka	amturing .acm .org

ACM AM Turing Award je každoroční cena udělovaná Asociací pro výpočetní techniku ​​(ACM) za přínos trvalého a zásadního technického významu pro informatiku . To je obecně uznáváno jako nejvyšší vyznamenání v počítačové vědě a je hovorově známé nebo často nazýváno jako „ Nobelova cena za práci na počítači “.

Cena je pojmenována po Alanu Turingovi , který byl britským matematikem a čtenářem matematiky na univerzitě v Manchesteru . Turing je často připočítán jako bytí klíčový zakladatel teoretické informatiky a umělé inteligence . Od roku 2007 do roku 2013 byla cena doprovázena další cenou ve výši 250 000 USD s finanční podporou společností Intel a Google. Od roku 2014 je toto ocenění doprovázeno cenou 1 milion USD s finanční podporou poskytovanou společností Google.

Prvním příjemcem byl v roce 1966 Alan Perlis z Carnegie Mellon University . První oceněnou ženou byla Frances E. Allen z IBM v roce 2006. Posledním příjemcem v roce 2022 je Robert Metcalfe za vynález Ethernetu .

Příjemci

Rok	Příjemci	Fotografie	Odůvodnění	Přidružené instituty
1966	Alan Perlis		Za jeho vliv v oblasti pokročilých technik počítačového programování a konstrukce kompilátorů .	Univerzita Carnegie Mellon
1967	Maurice Wilkes		Wilkes je nejlépe známý jako stavitel a návrhář EDSAC , prvního počítače s interně uloženým programem . EDSAC, postavený v roce 1949, používal rtuťovou zpožďovací linku . Je také známý jako autor spolu s Wheelerem a Gillem svazku „Příprava programů pro elektronické digitální počítače“ z roku 1951, ve kterém byly efektivně představeny programové knihovny .	Univerzita v Cambridge
1968	Richard Hamming		Za jeho práci na numerických metodách , automatických kódovacích systémech a kódech pro detekci a opravu chyb.	Bell Labs
1969	Marvin Minsky		Za jeho ústřední roli při vytváření, utváření, propagaci a rozvoji oblasti umělé inteligence .	Massachusetts Institute of Technology
1970	James H. Wilkinson		Za svůj výzkum v oblasti numerické analýzy pro usnadnění použití vysokorychlostního digitálního počítače, který získal zvláštní uznání za svou práci ve výpočtech v lineární algebře a „zpětné“ analýze chyb.	Národní fyzikální laboratoř
1971	John McCarthy		McCarthyho přednáška „Současný stav výzkumu umělé inteligence“ je tématem, které pokrývá oblast, ve které dosáhl za svou práci značného uznání.	Stanfordská Univerzita
1972	Edsger W. Dijkstra		Edsger Dijkstra byl koncem 50. let hlavním přispěvatelem k vývoji ALGOL , programovacího jazyka na vysoké úrovni, který se stal vzorem jasnosti a matematické přesnosti. Je jedním z hlavních zastánců vědy a umění programovacích jazyků obecně a výrazně přispěl k našemu pochopení jejich struktury, reprezentace a implementace. Jeho patnáct let publikační činnosti sahá od teoretických článků o teorii grafů po základní manuály, výkladové texty a filozofické úvahy v oblasti programovacích jazyků.	Centrum Wiskunde & Informatica , Eindhoven University of Technology , University of Texas at Austin
1973	Charles Bachman		Za jeho mimořádný přínos k databázové technologii.	General Electric Research Laboratory (nyní pod Groupe Bull , společnost Atos )
1974	Donald Knuth		Za jeho hlavní příspěvky k analýze algoritmů a návrhu programovacích jazyků, a zejména za jeho příspěvky k „ Umění počítačového programování “ prostřednictvím svých známých knih v nepřetržité sérii s tímto titulem.	Kalifornský technologický institut , Centrum pro výzkum komunikací, Centrum pro komunikace a výpočetní techniku, Institut pro obranné analýzy , Stanfordská univerzita
1975	Allen Newell		Ve společném vědeckém úsilí trvajícím více než dvacet let, zpočátku ve spolupráci s JC Shawem z RAND Corporation a následně s četnými kolegy z fakulty a studentů na Carnegie Mellon University , přispěli základními příspěvky k umělé inteligenci, psychologii lidského poznávání a zpracovává se.	RAND Corporation , Carnegie Mellon University
	Herbert A. Simon
1976	Michael O. Rabin		Za jejich společný příspěvek „Finite Automata and Their Decision Problem“, který představil myšlenku nedeterministických strojů , je nepřetržitým zdrojem inspirace pro další práci v této oblasti.	Univerzita Princeton
	Dana Scottová			University of Chicago
1977	John Backus		Za hluboké, vlivné a trvalé příspěvky k návrhu praktických programovacích systémů na vysoké úrovni, zejména díky jeho práci na FORTRAN , a za zásadní publikaci formálních postupů pro specifikaci programovacích jazyků .	IBM
1978	Robert W. Floyd		Za jasný vliv na metodiky pro tvorbu efektivního a spolehlivého softwaru a za pomoc při zakládání následujících důležitých podoborů informatiky : teorie parsování , sémantika programovacích jazyků, automatická verifikace programů , automatická syntéza a analýza programů algoritmů .	Carnegie Mellon University , Stanford University
1979	Kenneth E. Iverson		Za jeho průkopnické úsilí v oblasti programovacích jazyků a matematické notace, které vyústilo v to, co počítačový obor nyní zná jako APL , za jeho příspěvky k implementaci interaktivních systémů, ke vzdělávacímu využití APL a teorii a praxi programovacích jazyků.	IBM
1980	Tony Hoare		Za jeho zásadní příspěvky k definici a návrhu programovacích jazyků.	Queen's University Belfast , University of Oxford
1981	Edgar F. Codd		Za jeho zásadní a pokračující příspěvky k teorii a praxi systémů správy databází, zejm. relační databáze .	IBM
1982	Stephen Cook		Za jeho pokrok v našem chápání složitosti výpočtů významným a hlubokým způsobem.	University of Toronto
1983	Ken Thompson		Za jejich vývoj teorie generických operačních systémů a konkrétně za implementaci operačního systému UNIX .	Bell Labs
	Dennis Ritchie
1984	Niklaus Wirth		Pro vývoj sekvence inovativních počítačových jazyků EULER , ALGOL-W , Pascal , MODULA a Oberon .	Stanfordská univerzita , Univerzita v Curychu , ETH Zurich
1985	Richard M. Karp		Za jeho pokračující příspěvky k teorii algoritmů, včetně vývoje účinných algoritmů pro tok sítí a dalších problémů kombinatorické optimalizace, identifikaci polynomiálně-časové vyčíslitelnosti s intuitivním pojetím efektivity algoritmu, a především za příspěvky k teorii NP -úplnost .	Kalifornská univerzita, Berkeley
1986	John Hopcroft		Za zásadní úspěchy v návrhu a analýze algoritmů a datových struktur.	Cornell University
	Robert Tarjan			Stanford University , Cornell University , University of California, Berkeley , Princeton University
1987	John Cocke		Za významný přínos v oblasti návrhu a teorie kompilátorů, architektury velkých systémů a vývoje počítačů s redukovanými instrukčními sadami (RISC).	IBM
1988	Ivan Sutherland		Za jeho průkopnické a vizionářské příspěvky k počítačové grafice , počínaje Sketchpadem a pokračující poté.	Stanford University , Harvard University , University of Utah , California Institute of Technology
1989	William Kahan		Za jeho zásadní příspěvky k numerické analýze . Jeden z předních odborníků na výpočty s plovoucí desetinnou čárkou . Kahan se zasvětil tomu, „aby byl svět bezpečný pro numerické výpočty“.	Kalifornská univerzita, Berkeley
1990	Fernando J. Corbató		Za jeho průkopnickou práci organizování konceptů a vedení vývoje všeobecných, rozsáhlých počítačových systémů s časovým sdílením a sdílením zdrojů, CTSS a Multics .	Massachusetts Institute of Technology
1991	Robin Milner		Za tři zřetelné a úplné úspěchy: 1) LCF , mechanizace Scottovy logiky vyčíslitelných funkcí, pravděpodobně první teoreticky založený, ale praktický nástroj pro strojně podporovanou konstrukci důkazů ; 2) ML , první jazyk, který obsahuje polymorfní typové odvození spolu s typově bezpečným mechanismem zpracování výjimek ; 3) CCS , obecná teorie souběžnosti . Kromě toho formuloval a silně prosazoval plnou abstrakci , studium vztahu mezi operační a denotační sémantikou .	Stanford University , University of Edinburgh
1992	Butler Lampson		Za příspěvky k vývoji distribuovaných, osobních výpočetních prostředí a technologií pro jejich implementaci: pracovní stanice , sítě , operační systémy , programovací systémy, displeje , zabezpečení a publikování dokumentů .	PARC , DEC
1993	Juris Hartmanis		Jako uznání jejich klíčového článku, který položil základy pro pole teorie výpočetní složitosti .	General Electric Research Laboratory (nyní pod Groupe Bull , společnost Atos )
	Richard E. Stearns
1994	Edward Feigenbaum		Za průkopnické navrhování a konstrukci rozsáhlých systémů umělé inteligence, demonstrující praktický význam a potenciální komerční dopad technologie umělé inteligence.	Stanfordská Univerzita
	Raj Reddy			Stanford University , Carnegie Mellon University
1995	Manuel Blum		Jako uznání jeho příspěvků k základům teorie výpočetní složitosti a její aplikaci na kryptografii a kontrolu programů .	Kalifornská univerzita, Berkeley
1996	Amir Pnueli		Za klíčovou práci zavádějící časovou logiku do počítačové vědy a za vynikající příspěvky k ověřování programů a systémů .	Stanford University , Tel Aviv University , Weizmann Institute of Science , Courant Institute of Mathematical Sciences
1997	Douglas Engelbart		Za inspirativní vizi budoucnosti interaktivních počítačů a vynález klíčových technologií, které pomohou tuto vizi realizovat.	SRI International , Tymshare , McDonnell Douglas , Bootstrap Institute/Alliance, The Doug Engelbart Institute
1998	Jim Gray		Za zásadní příspěvky k výzkumu databází a zpracování transakcí a technické vedení při implementaci systému.	IBM , Microsoft
1999	Fred Brooks		Za významné příspěvky k počítačové architektuře , operačním systémům a softwarovému inženýrství.	IBM , University of North Carolina v Chapel Hill
2000	Andrew Yao		Jako uznání jeho zásadních příspěvků k teorii počítání , včetně teorie generování pseudonáhodných čísel , založené na složitosti , kryptografie a složitosti komunikace .	Stanford University , University of California, Berkeley , Princeton University
2001	Ole-Johan Dahl		Za myšlenky zásadní pro vznik objektově orientovaného programování prostřednictvím jejich návrhu programovacích jazyků Simula I a Simula 67 .	Norské výpočetní centrum , Univerzita v Oslu
	Kristen Nygaardová
2002	Ron Rivest		Za jejich důmyslný přínos k tomu, aby byla kryptografie s veřejným klíčem užitečná v praxi.	Massachusetts Institute of Technology
	Adi Shamir
	Leonard Adleman			University of Southern California
2003	Alan Kay		Za průkopnictví mnoha myšlenek u kořenů současných objektově orientovaných programovacích jazyků , vedení týmu, který vyvinul Smalltalk , a za zásadní příspěvky k osobním počítačům.	University of Utah , PARC , Stanford University , Atari , Apple ATG , Walt Disney Imagineering , Viewpoints Research Institute , HP Labs
2004	Vint Cerf		Za průkopnickou práci v oblasti mezisítě , včetně návrhu a implementace základních komunikačních protokolů Internetu, TCP/IP , a za inspirované vedoucí postavení v sítích.	University of California, Los Angeles , Stanford University , DARPA , MCI (nyní pod Verizon ), CNRI , Google
	Bob Kahn			MIT , Bolt Beranek a Newman , DARPA , CNRI
2005	Petr Naur		Za zásadní příspěvky k návrhu programovacího jazyka a definici ALGOL 60 , k návrhu kompilátoru a k umění a praxi počítačového programování.	Regnecentralen (nyní pod Fujitsu ), University of Copenhagen
2006	Frances Allenová		Za průkopnické příspěvky k teorii a praxi optimalizačních kompilačních technik, které položily základy moderních optimalizačních kompilátorů a automatického paralelního provádění.	IBM
2007	Edmund M. Clarke		Za jejich roli při vývoji kontroly modelů do vysoce efektivní verifikační technologie, široce používané v hardwarovém a softwarovém průmyslu.	Harvardská univerzita , Carnegie Mellon University
	E. Allen Emerson			Harvardská univerzita , Texaská univerzita v Austinu
	Josef Sifakis			Francouzské národní centrum pro vědecký výzkum
2008	Barbarou Liškovou		Za příspěvky k praktickým a teoretickým základům programovacího jazyka a návrhu systému, zejména v souvislosti s abstrakcí dat, odolností proti chybám a distribuovanými výpočty.	Massachusetts Institute of Technology
2009	Charles P. Thacker		Za jeho průkopnický návrh a realizaci Xerox Alto , prvního moderního osobního počítače, a navíc za jeho zásluhy o Ethernet a Tablet PC.	PARC , DEC , Microsoft Research
2010	Leslie Valiant		Za transformativní příspěvky k teorii počítání , včetně teorie pravděpodobně přibližně správného ( PAC ) učení, složitosti výčtu a algebraických počítání a teorii paralelních a distribuovaných počítání.	Harvardská Univerzita
2011	Judea Pearl		Za zásadní příspěvky k umělé inteligenci prostřednictvím vývoje kalkulu pro pravděpodobnostní a kauzální uvažování.	Kalifornská univerzita v Los Angeles Technologický institut v New Jersey
2012	Silvio Micali		Za transformativní práci, která položila základy teorie složitosti pro vědu o kryptografii a v tomto procesu propagovala nové metody pro efektivní verifikaci matematických důkazů v teorii složitosti.	Massachusetts Institute of Technology
	Shafi Goldwasser			Massachusetts Institute of Technology , Weizmann Institute of Science
2013	Leslie Lamportová		Za zásadní příspěvky k teorii a praxi distribuovaných a souběžných systémů, zejména za vynález konceptů, jako je kauzalita a logické hodiny, bezpečnost a životnost, replikované stavové stroje a sekvenční konzistence.	Massachusetts Computer Associates (nyní pod Essig PLM), SRI International , DEC , Compaq (nyní pod HP ), Microsoft Research
2014	Michael Stonebraker		Za zásadní příspěvky ke konceptům a postupům, které jsou základem moderních databázových systémů.	University of California, Berkeley , Massachusetts Institute of Technology
2015	Whitfield Diffie		Za zásadní příspěvky k moderní kryptografii. Průkopnický dokument Diffieho a Hellmana z roku 1976, „New Directions in Cryptography“, představil myšlenky kryptografie s veřejným klíčem a digitálních podpisů, které jsou základem většiny běžně používaných bezpečnostních protokolů na dnešním internetu.	Stanfordská Univerzita
	Martin Hellman
2016	Tim Berners-Lee		Za vynalezení World Wide Web , prvního webového prohlížeče a základních protokolů a algoritmů umožňujících škálování webu.	CERN , Massachusetts Institute of Technology , World Wide Web Consortium
2017	John L. Hennessy		Za průkopnictví systematického, kvantitativního přístupu k návrhu a hodnocení počítačových architektur s trvalým dopadem na mikroprocesorový průmysl.	Stanfordská Univerzita
	David Patterson			Kalifornská univerzita, Berkeley
2018	Yoshua Bengio		Za koncepční a inženýrské průlomy, díky nimž se hluboké neuronové sítě staly kritickou součástí výpočetní techniky.	Université de Montréal , McGill University , Mila
	Geoffrey Hinton			University of Toronto , University of California, San Diego , Carnegie Mellon University , University College London , University of Edinburgh , Google AI
	Yann LeCun			University of Toronto , Bell Labs , Courant Institute of Mathematical Sciences , New York University , Meta AI
2019	Edwin Catmull		Za zásadní přínos k 3-D počítačové grafice a revoluční dopad těchto technik na počítačově generované zobrazování (CGI) ve filmové tvorbě a dalších aplikacích.	University of Utah , Pixar , Walt Disney Animation Studios
	Pat Hanrahan			Pixar , Princeton University , Stanford University
2020	Alfred Aho		Za základní algoritmy a teorii, která je základem implementace programovacího jazyka, a za syntézu těchto výsledků a výsledků jiných v jejich vysoce vlivných knihách, které vychovaly generace počítačových vědců.	Bell Labs , Kolumbijská univerzita
	Jeffrey Ullman			Bell Labs , Princetonská univerzita , Stanfordská univerzita
2021	Jack Dongarra		Za průkopnické příspěvky k numerickým algoritmům a knihovnám, které umožnily vysoce výkonnému výpočetnímu softwaru držet krok s exponenciálními vylepšeními hardwaru po více než čtyři desetiletí.	Argonne National Laboratory , Oak Ridge National Laboratory , University of Manchester , Texas A&M University Institute for Advanced Study , University of Tennessee , Rice University
2022	Robert Metcalfe		Za vynález, standardizaci a komercializaci Ethernetu .	Massachusetts Institute of Technology , Harvard University , Xerox PARC , University of Texas at Austin

Viz také

Reference

externí odkazy

• ACM Chronologický výpis Turingových laureátů
• Vizualizace laureátů Turingovy ceny
• Oslava stého výročí ACM AM Turing Award
• Rozhovory s laureátem ceny ACM AM Turing
• Oslava 50 let ACM AM Turing Award