Turing Ödülü -Turing Award

ACM Turing Ödülü
Turing heykeli-Bletchley 11.jpg
Ödüllü Bilgisayar biliminde olağanüstü katkılar
Ülke Amerika Birleşik Devletleri
Tarafından sunulan Bilgi İşlem Makineleri Derneği (ACM)
Ödül(ler) 1.000.000 ABD Doları
İlk ödül 1966 ; 57 yıl önce ( 1966 )
Son verilen 2022
İnternet sitesi amturing .acm .org

ACM AM Turing Ödülü, Association for Computing Machinery (ACM) tarafından bilgisayar bilimine kalıcı ve büyük teknik öneme sahip katkılar için verilen yıllık bir ödüldür . Genellikle bilgisayar bilimindeki en yüksek ayrım olarak kabul edilir ve halk arasında " Bilgisayarın Nobel Ödülü " olarak bilinir veya genellikle "Nobel Ödülü" olarak anılır .

Ödül, adını Manchester Üniversitesi'nde matematik okuyan ve İngiliz matematikçi olan Alan Turing'den almıştır . Turing, genellikle teorik bilgisayar bilimi ve yapay zekanın temel kurucusu olarak kabul edilir . 2007'den 2013'e kadar, ödüle Intel ve Google tarafından sağlanan mali destekle birlikte 250.000 ABD Doları tutarında ek bir ödül eşlik etti . 2014 yılından bu yana, ödüle Google tarafından sağlanan mali destekle birlikte 1 milyon ABD Doları tutarında bir ödül eşlik ediyor.

İlk alıcı, 1966'da Carnegie Mellon Üniversitesi'nden Alan Perlis'ti . İlk kadın alıcı, 2006'da IBM'den Frances E. Allen'dı. En son alıcı, 2022'de Ethernet'i icat ettiği için Robert Metcalfe oldu .

alıcılar

Yıl alıcı(lar) Fotoğraf Gerekçe Bağlı kurum(lar)
1966 Alan Perlis Gelişmiş bilgisayar programlama teknikleri ve derleyici yapımı alanındaki etkisi için . Carnegie Mellon Üniversitesi
1967 Maurice Wilkes Maurice Vincent Wilkes 1980 (3, kırpılmış).jpg Wilkes, dahili olarak depolanan bir programa sahip ilk bilgisayar olan EDSAC'ın oluşturucusu ve tasarımcısı olarak bilinir . 1949'da inşa edilen EDSAC, cıva gecikmeli hat belleği kullandı . Ayrıca, 1951'de Wheeler ve Gill ile birlikte program kitaplıklarının etkili bir şekilde tanıtıldığı "Elektronik Dijital Bilgisayarlar İçin Programların Hazırlanması" konulu bir cildin yazarı olarak bilinir . Cambridge Üniversitesi
1968 Richard Hamming Sayısal yöntemler , otomatik kodlama sistemleri ve hata tespit eden ve hata düzelten kodlar üzerindeki çalışmaları için . Bell Laboratuvarları
1969 Marvin Minsky OLPCc.jpg'de Marvin Minsky Yapay zeka alanını yaratma, şekillendirme, teşvik etme ve ilerletmedeki merkezi rolü için . Massachusetts Teknoloji Enstitüsü
1970 James H. Wilkinson Lineer cebir ve "geriye doğru" hata analizi alanındaki hesaplamalarda yaptığı çalışmalardan dolayı özel takdir almış, yüksek hızlı dijital bilgisayarın kullanımını kolaylaştırmak için sayısal analizdeki araştırmaları için . Ulusal Fizik Laboratuvarı
1971 John McCarthy John McCarthy Stanford.jpg McCarthy'nin "Yapay Zeka Üzerine Araştırmaların Mevcut Durumu" dersi, çalışmaları için önemli ölçüde tanınma elde ettiği alanı kapsayan bir konudur. Stanford Üniversitesi
1972 Edsger W.Dijkstra Edsger Wybe Dijkstra.jpg Edsger Dijkstra, 1950'lerin sonlarında, bir netlik ve matematiksel titizlik modeli haline gelen üst düzey bir programlama dili olan ALGOL'un geliştirilmesine başlıca katkıda bulunanlardan biriydi . Genel olarak programlama dilleri biliminin ve sanatının başlıca savunucularından biridir ve yapılarını, temsillerini ve uygulamalarını anlamamıza büyük katkıda bulunmuştur. On beş yıllık yayınları, grafik teorisi üzerine teorik makalelerden temel kılavuzlara, açıklayıcı metinlere ve programlama dilleri alanındaki felsefi düşüncelere kadar uzanır. Centrum Wiskunde & Informatica ,
Eindhoven Teknoloji Üniversitesi ,
Texas Üniversitesi, Austin
1973 Charles Bachman Charles Bachman 2012.jpg Veritabanı teknolojisine yaptığı olağanüstü katkılardan dolayı . General Electric Research Laboratory (şimdi bir Atos şirketi olan Groupe Bull'un altında )
1974 Donald Knuth KnuthAtOpenContentAlliance.jpg Algoritmaların analizine ve programlama dillerinin tasarımına yaptığı büyük katkılardan ve özellikle de bu adla devam eden bir serideki ünlü kitaplarıyla " Bilgisayar Programlama Sanatı "na yaptığı katkılardan dolayı. California Teknoloji Enstitüsü ,
İletişim Araştırma Merkezi, İletişim ve Bilgi İşlem Merkezi, Savunma Analizleri Enstitüsü ,
Stanford Üniversitesi
1975 Allen Newell Başlangıçta RAND Corporation'da JC Shaw ile işbirliği içinde ve ardından Carnegie Mellon Üniversitesi'nde çok sayıda öğretim üyesi ve öğrenci meslektaşı ile işbirliği içinde yirmi yılı aşkın bir süredir devam eden ortak bilimsel çabalarda , yapay zekaya, insan bilişinin psikolojisine temel katkılarda bulundular. işleme. RAND Corporation ,
Carnegie Mellon Üniversitesi
Herbert A. Simon Herbert simon kırmızı kırpılmış.jpg
1976 Michael O. Rabin MO Rabin.jpg Bu alanda sonraki çalışmalar için sürekli bir ilham kaynağı olan deterministik olmayan makineler fikrini ortaya koyan ortak makaleleri "Sonlu Otomatlar ve Karar Problemleri" için . Princeton Üniversitesi
dana scott Scott Dana küçük.jpg Chicago Üniversitesi
1977 John Backus John Backus 2.jpg Özellikle FORTRAN üzerindeki çalışması aracılığıyla, pratik üst düzey programlama sistemlerinin tasarımına derin, etkili ve kalıcı katkıları ve programlama dillerinin belirtimi için resmi prosedürlerin ufuk açıcı yayını için . IBM
1978 Robert W. Floyd Verimli ve güvenilir yazılımların yaratılmasına yönelik metodolojiler üzerinde açık bir etkiye sahip olduğu ve bilgisayar biliminin aşağıdaki önemli alt alanlarının bulunmasına yardımcı olduğu için: ayrıştırma teorisi , programlama dillerinin semantiği , otomatik program doğrulama , otomatik program sentezi ve analiz algoritmaların . Carnegie Mellon Üniversitesi ,
Stanford Üniversitesi
1979 Kenneth E.Iverson Kei daha genç.jpg Programlama dilleri ve matematiksel notasyondaki öncü çabası, bilgi işlem alanının artık APL olarak bildiği şeyle sonuçlandı , etkileşimli sistemlerin uygulanmasına, APL'nin eğitim amaçlı kullanımlarına ve programlama dili teorisi ve pratiğine yaptığı katkılardan dolayı. IBM
1980 Tony Hoare Sir Tony Hoare IMG 5125.jpg Programlama dillerinin tanımına ve tasarımına yaptığı temel katkılardan dolayı. Queen's University Belfast ,
Oxford Üniversitesi
1981 Edgar F.Codd Veritabanı yönetim sistemleri teorisi ve pratiğine yaptığı temel ve devam eden katkılarından dolayı, esp. ilişkisel veritabanları . IBM
1982 Stephen Cook Prof.Cook (kırpılmış).jpg Hesaplamanın karmaşıklığına ilişkin anlayışımızı önemli ve derin bir şekilde geliştirmesi için. Toronto Üniversitesi
1983 Ken Thompson Ken Thompson 02.jpg Genel işletim sistemleri teorisini geliştirmeleri ve özellikle UNIX işletim sisteminin uygulanması için . Bell Laboratuvarları
Dennis Ritchie Dennis Ritchie 2011.jpg
1984 Niklaus Wirth Niklaus Wirth, UrGU (kırpılmış).jpg Bir dizi yenilikçi bilgisayar dili geliştirmek için, EULER , ALGOL-W , Pascal , MODULA ve Oberon . Stanford Üniversitesi ,
Zürih Üniversitesi ,
ETH Zürih
1985 Richard M. Karp Karp mg 7725-b.cr2.jpg Ağ akışı ve diğer kombinatoryal optimizasyon problemleri için verimli algoritmaların geliştirilmesi, sezgisel algoritmik verimlilik kavramıyla polinom-zaman hesaplanabilirliğinin tanımlanması ve en önemlisi NP teorisine katkıları dahil olmak üzere algoritma teorisine yaptığı sürekli katkılardan dolayı - eksiksizlik Kaliforniya Üniversitesi, Berkeley
1986 John Hopcroft Hopcrofg (kırpılmış).jpg Algoritmaların ve veri yapılarının tasarımı ve analizindeki temel başarılar için. Cornell Üniversitesi
Robert Tarjan Bob Tarjan.jpg Stanford Üniversitesi ,
Cornell Üniversitesi ,
California Üniversitesi, Berkeley ,
Princeton Üniversitesi
1987 John Cocke Derleyicilerin tasarımına ve teorisine, büyük sistemlerin mimarisine ve azaltılmış komut seti bilgisayarlarının (RISC) geliştirilmesine önemli katkıları için . IBM
1988 İvan Sutherland Ivan Sutherland, CHM.jpg'de Sketchpad ile başlayan ve devam eden bilgisayar grafiklerine yaptığı öncü ve vizyoner katkılardan dolayı . Stanford Üniversitesi ,
Harvard Üniversitesi ,
Utah Üniversitesi ,
California Teknoloji Enstitüsü
1989 William Kahan William Kahan 2008 (kırpılmış).jpg Sayısal analize yaptığı temel katkılardan dolayı . Kayan nokta hesaplamaları konusunda önde gelen uzmanlardan biri . Kahan kendini "dünyayı sayısal hesaplamalar için güvenli hale getirmeye" adamıştır. Kaliforniya Üniversitesi, Berkeley
1990 Fernando J. Corbató Fernando Corbato.jpg Genel amaçlı, büyük ölçekli, zaman paylaşımlı ve kaynak paylaşımlı bilgisayar sistemlerinin, CTSS ve Multics'in kavramlarını organize eden ve gelişimine öncülük eden öncü çalışmaları için . Massachusetts Teknoloji Enstitüsü
1991 Robin Milner Üç farklı ve eksiksiz başarı için: 1) LCF , Scott's Logic of Computable Functions'ın mekanizasyonu, muhtemelen makine destekli kanıt oluşturma için teorik olarak temel alan ancak pratik ilk araç ; 2) ML , tür açısından güvenli bir istisna işleme mekanizmasıyla birlikte polimorfik tür çıkarımı içeren ilk dil ; 3) CCS , genel bir eşzamanlılık teorisi . Ek olarak, tam soyutlamayı formüle etti ve güçlü bir şekilde geliştirdi , işlemsel ve anlamsal anlambilim arasındaki ilişkinin incelenmesi . Stanford Üniversitesi ,
Edinburgh Üniversitesi
1992 Uşak Lampson Profesyonel Geliştiriciler Konferansı 2009 Teknik Liderler Paneli 6 (kırpılmış).jpg Dağıtılmış, kişisel bilgi işlem ortamlarının ve bunların uygulanmasına yönelik teknolojinin geliştirilmesine katkılarından dolayı: iş istasyonları , ağlar , işletim sistemleri , programlama sistemleri, ekranlar , güvenlik ve belge yayınlama . PARC ,
Aralık
1993 Juris Hartmanis Juris Hartmanis(2002).jpg Hesaplamalı karmaşıklık teorisi alanının temellerini oluşturan çığır açıcı makaleleri nedeniyle . General Electric Research Laboratory (şimdi bir Atos şirketi olan Groupe Bull'un altında )
Richard E. Stearns Dick Stearns (kırpılmış).jpg
1994 Edward Feigenbaum 27. Dr. Edward A. Feigenbaum 1994-1997.jpg Yapay zeka teknolojisinin pratik önemini ve potansiyel ticari etkisini gösteren, büyük ölçekli yapay zeka sistemlerinin tasarımına ve inşasına öncülük ettiği için. Stanford Üniversitesi
Raj Reddy ProfReddys Fotoğraf Kırpılmış.jpg Stanford Üniversitesi ,
Carnegie Mellon Üniversitesi
1995 Manuel Blum Blum manuel (kırpılmış).jpg Hesaplamalı karmaşıklık teorisinin temellerine ve kriptografi ve program kontrolüne uygulanmasına yaptığı katkılardan dolayı . Kaliforniya Üniversitesi, Berkeley
1996 Emir Pnueli Amir Pnueli.jpg Hesaplama bilimine zamansal mantığı getiren ufuk açıcı çalışma ve program ve sistem doğrulamaya olağanüstü katkılar için . Stanford Üniversitesi ,
Tel Aviv Üniversitesi ,
Weizmann Bilim Enstitüsü ,
Courant Matematik Bilimleri Enstitüsü
1997 douglas engelbart 2008.jpg'de Douglas Engelbart Etkileşimli bilgi işlemin geleceğine dair ilham verici bir vizyon ve bu vizyonu gerçekleştirmeye yardımcı olacak temel teknolojilerin icadı için. SRI International ,
Tymshare ,
McDonnell Douglas ,
Bootstrap Institute/Alliance,
The Doug Engelbart Institute
1998 jim gri 21. Yüzyıl 2006'da Jim Gray Bilgi İşlem (kırpılmış) .jpg Veri tabanı ve işlem işleme araştırmalarına ufuk açıcı katkılar ve sistem uygulamasında teknik liderlik için. IBM ,
Microsoft
1999 Fred Brooks Fred Brooks (kırpılmış).jpg Bilgisayar mimarisine , işletim sistemlerine ve yazılım mühendisliğine önemli katkılar için . IBM ,
Chapel Hill'deki Kuzey Karolina Üniversitesi
2000 Andrew Yao Andrew Yao MFO (kırpılmış).jpg Karmaşıklığa dayalı sözde rasgele sayı üretimi teorisi , kriptografi ve iletişim karmaşıklığı da dahil olmak üzere, hesaplama teorisine yaptığı temel katkılardan dolayı . Stanford Üniversitesi ,
California Üniversitesi, Berkeley ,
Princeton Üniversitesi
2001 Ole-Johan Dahl Simula I ve Simula 67 programlama dillerinin tasarımı aracılığıyla nesne yönelimli programlamanın ortaya çıkışına temel teşkil eden fikirler için . Norveç Bilgi İşlem Merkezi ,
Oslo Üniversitesi
Kristen Nygaard Kristen-Nygaard-SBLP-1997-head.png
2002 Ron Rivest Ronald L Rivest fotoğraf.jpg Açık anahtarlı kriptografiyi pratikte faydalı hale getirmeye yönelik ustaca katkılarından dolayı . Massachusetts Teknoloji Enstitüsü
Adi Şamir Adi Shamir, TU Darmstadt'ta (2013).jpg
Leonard Adleman Len-mankin-pic.jpg Güney Kaliforniya Üniversitesi
2003 Alan Kay Alan Kay (3097597186) (kırpılmış).jpg Çağdaş nesne yönelimli programlama dillerinin kökündeki birçok fikre öncülük ettiği , Smalltalk'ı geliştiren ekibe liderlik ettiği ve kişisel bilgisayar kullanımına temel katkıları olduğu için. Utah Üniversitesi ,
PARC ,
Stanford Üniversitesi ,
Atari ,
Apple ATG ,
Walt Disney Imagineering ,
Viewpoints Araştırma Enstitüsü ,
HP Laboratuvarları
2004 Şarap Cerf Dr Vint Cerf ForMemRS (kırpılmış).jpg İnternet'in temel iletişim protokolleri olan TCP/IP'nin tasarımı ve uygulanması da dahil olmak üzere ağ iletişimi konusundaki öncü çalışmaları ve ağ oluşturmada ilham veren liderliği için. Kaliforniya Üniversitesi, Los Angeles ,
Stanford Üniversitesi , DARPA ,
MCI (artık Verizon altında ),
CNRI , Google
Bob Kahn Bob Kahn.jpg MIT ,
Bolt Beranek ve Newman ,
DARPA ,
CNRI
2005 peter naur Peternaur.JPG Programlama dili tasarımına ve ALGOL 60'ın tanımına , derleyici tasarımına ve bilgisayar programlama sanatına ve pratiğine temel katkıları için . Regnecentralen (şimdi Fujitsu altında ),
Kopenhag Üniversitesi
2006 Frances Allen Allen mg 2528-3750K-b.jpg Modern optimize edici derleyiciler ve otomatik paralel çalıştırma için temel oluşturan derleyici tekniklerini optimize etme teorisine ve pratiğine öncü katkılar için. IBM
2007 Edmund M. Clarke Edmund Clarke FLoC 2006 (kırpılmış).jpg Donanım ve yazılım endüstrilerinde yaygın olarak benimsenen oldukça etkili bir doğrulama teknolojisine yönelik model denetimi geliştirmedeki rolleri için . Harvard Üniversitesi ,
Carnegie Mellon Üniversitesi
E.Allen Emerson E-allen-emerson (kırpılmış).jpg Harvard Üniversitesi ,
Texas Üniversitesi, Austin
Joseph Sifakis Joseph Sifakis img 0966.jpg Fransız Ulusal Bilimsel Araştırma Merkezi
2008 Barbara Liskov Barbara Liskov MIT bilgisayar bilimcisi 2010.jpg Özellikle veri soyutlama, hata toleransı ve dağıtılmış bilgi işlem ile ilgili programlama dili ve sistem tasarımının pratik ve teorik temellerine katkılarından dolayı. Massachusetts Teknoloji Enstitüsü
2009 Charles P. Thacker Chuckthacker (kırpılmış).jpg İlk modern kişisel bilgisayar olan Xerox Alto'nun öncü tasarımı ve gerçekleştirmesi ve ayrıca Ethernet ve Tablet PC'ye yaptığı katkılar için. PARC ,
Aralık ,
Microsoft Araştırması
2010 Leslie Valiant Leslie Valiant (kırpılmış).jpg Muhtemelen yaklaşık olarak doğru ( PAC ) öğrenme teorisi , numaralandırmanın ve cebirsel hesaplamanın karmaşıklığı ve paralel ve dağıtılmış hesaplama teorisi dahil olmak üzere hesaplama teorisine dönüştürücü katkılar için . Harvard Üniversitesi
2011 Yahudiye İncisi Judea Pearl, NIPS 2013'te (11781981594) (kırpılmış).jpg Olasılığa dayalı ve nedensel muhakeme için bir hesabın geliştirilmesi yoluyla yapay zekaya temel katkılar için. Kaliforniya Üniversitesi, Los Angeles
New Jersey Teknoloji Enstitüsü
2012 Silvio Micali Silvio Micali (kırpılmış).jpg Kriptografi bilimi için karmaşıklık-teorik temellerini atan ve bu süreçte karmaşıklık kuramındaki matematiksel kanıtların verimli bir şekilde doğrulanması için yeni yöntemlere öncülük eden dönüştürücü çalışma için. Massachusetts Teknoloji Enstitüsü
Şafi Goldwasser Shafi Goldwasser.JPG Massachusetts Teknoloji Enstitüsü ,
Weizmann Bilim Enstitüsü
2013 Leslie Lamport Leslie Lamport.jpg Dağıtılmış ve eşzamanlı sistemlerin teori ve pratiğine, özellikle nedensellik ve mantıksal saatler, güvenlik ve canlılık, çoğaltılmış durum makineleri ve sıralı tutarlılık gibi kavramların icadına temel katkıları için. Massachusetts Computer Associates (artık Essig PLM altında),
SRI International ,
DEC ,
Compaq (artık HP altında ),
Microsoft Research
2014 Michael Taşkıran Michael Stonebraker P1120062.jpg Modern veri tabanı sistemlerinin altında yatan kavramlara ve uygulamalara temel katkılar için. Kaliforniya Üniversitesi, Berkeley ,
Massachusetts Teknoloji Enstitüsü
2015 Whitfield Diffie Whitfield Diffie Kraliyet Topluluğu (kırpılmış).jpg Modern kriptografiye temel katkıları için. Diffie ve Hellman'ın çığır açan 1976 tarihli "Kriptografide Yeni Yönelimler" makalesi, bugün İnternet'te en sık kullanılan güvenlik protokollerinin temeli olan açık anahtarlı kriptografi ve dijital imza fikirlerini ortaya koydu. Stanford Üniversitesi
Martin Hellman Martin-Hellman.jpg
2016 Tim Berners-Lee Sir Tim Berners-Lee (kırpılmış).jpg World Wide Web'i , ilk web tarayıcısını ve Web'in ölçeklenmesini sağlayan temel protokolleri ve algoritmaları icat ettiği için . CERN ,
Massachusetts Institute of Technology ,
World Wide Web Konsorsiyumu
2017 John L. Hennessy John L Hennessy (kırpılmış).jpg Mikroişlemci endüstrisi üzerinde kalıcı etkisi olan bilgisayar mimarilerinin tasarımına ve değerlendirilmesine yönelik sistematik, nicel bir yaklaşıma öncülük ettiği için. Stanford Üniversitesi
David Patterson David A Patterson.jpg Kaliforniya Üniversitesi, Berkeley
2018 Yoshua Bengio Yoshua Bengio - 2017.jpg Derin sinir ağlarını bilgi işlemin kritik bir bileşeni haline getiren kavramsal ve mühendislik atılımları için . Montréal Üniversitesi , McGill Üniversitesi ,
Mila
Geoffrey Hinton UBC'de Geoffrey Hinton (kırpılmış).jpg Toronto Üniversitesi ,
California Üniversitesi, San Diego ,
Carnegie Mellon Üniversitesi ,
University College London ,
University of Edinburgh ,
Google AI
Yann LeCun Yann LeCun - 2018 (kırpılmış).jpg Toronto Üniversitesi ,
Bell Laboratuvarları ,
Courant Matematik Bilimleri Enstitüsü , New York Üniversitesi ,
Meta AI
2019 Edwin Katmull VES Ödülleri 89 kırpılmış.jpg 3-D bilgisayar grafiklerine temel katkıları ve bu tekniklerin film yapımında ve diğer uygulamalarda bilgisayar tarafından oluşturulan görüntüler (CGI) üzerindeki devrim niteliğindeki etkisi için. Utah Üniversitesi ,
Pixar ,
Walt Disney Animasyon Stüdyoları
Pat Hanrahan Pat Hanrahan Tableau Müşteri Konferansı 2009.jpg Pixar ,
Princeton Üniversitesi ,
Stanford Üniversitesi
2020 Alfred Aho Programlama dili uygulamasının altında yatan temel algoritmalar ve teori için ve bu sonuçları ve diğerlerinin sonuçlarını, nesiller boyu bilgisayar bilimcileri yetiştiren son derece etkili kitaplarında sentezlemek için. Bell Laboratuvarları ,
Columbia Üniversitesi
Jeffrey Ullman Bell Laboratuvarları ,
Princeton Üniversitesi ,
Stanford Üniversitesi
2021 jack dongarra Jack-dongarra-2022.jpg Kırk yılı aşkın bir süredir üstel donanım iyileştirmelerine ayak uydurmak için yüksek performanslı hesaplama yazılımı sağlayan sayısal algoritmalara ve kitaplıklara öncü katkılar için. Argonne Ulusal Laboratuvarı ,
Oak Ridge Ulusal Laboratuvarı ,
Manchester Üniversitesi ,
Teksas A&M Üniversitesi İleri Araştırma Enstitüsü ,
Tennessee Üniversitesi ,
Rice Üniversitesi
2022 Robert Metcalfe Bob Metcalfe ile (kırpılmış).jpg Ethernet'in icadı, standardizasyonu ve ticarileştirilmesi için . Massachusetts Teknoloji Enstitüsü , Harvard Üniversitesi , Xerox PARC , Texas Üniversitesi, Austin

Ayrıca bakınız

Referanslar

Dış bağlantılar