Turing Ödülü
Ödül sahipleri > Yıla göre

| Yıl | Ülke | Kazanan | Resim | Açıklama | Bağlı kurum(lar) |
| --- | --- | --- | --- | --- | --- |
| 1966 |  ABD | Alan Perlis |  | Programlama ve derleyici tasarımı alanına yaptığı katkılardan dolayı | Carnegie Mellon Üniversitesi |
| 1967 |  Büyük Britanya | Maurice Wilkes |  | Profesör Wilkes dahili program saklayabilen ilk bilgisayar olan EDSAC'ın tasarımcısı ve mimarı olarak bilinir. 1949 yılında EDSAC bir delay line memory kullandı. Ayrıca, Wilkes 1951 yılında yazılan "Preparation of Programs for Electronic Digital Computers" kitabının yazarlarından biridir ve bu kitap program kütüphanelerini iyi bir biçimde tanıtmıştır. | Cambridge Üniversitesi |
| 1968 |  ABD | Richard Hamming |  | Hata bulma ve düzeltme kodları, otomatik kodlama dizgeleri ve sayısal yöntemler konusundaki çalışmalarından dolayı | Bell Labs |
| 1969 |  ABD | Marvin Minsky |  | Yapay zekânın oluşturulması, biçimlendirilmesi ve geliştirilmesine yönelik kayda değer etkilerinden dolayı | Massachusetts Teknoloji Enstitüsü |
| 1970 |  Büyük Britanya | James H. Wilkinson |  | Yüksek hızlı sayısal bilgisayarların kullanımını kolaylaştıran sayısal analiz çalışmaları ile lineer cebir ve geriye dönük hata analizine yaptığı katkılardan dolayı | National Physical Laboratory |
| 1971 |  ABD | John McCarthy |  | McCarthy'nin çalışma alanındaki bilinirliğini ortaya koyan "The Present State of Research on Artificial Intelligence" başlıklı konuşması | Stanford Üniversitesi |
| 1972 |  Hollanda | Edsger Dijkstra |  | Edsger Dijkstra 1950'lerde ALGOL adlı yüksek düzey programlama diline en çok katkı yapan kişilerden biridir. Programlama dillerine genel anlamda katkı sunmuş olan ilk bilim insanları arasındadır ve bunların yapısı, tanımı ve uygulaması konusundaki çalışmalarıyla bilinir. Dijkstra'nın on beş yılı bulan yayım geçmişi çizge teorisine ilişkin teorik makalelerden el kitaplarına, açıklayıcı metinlerden programlama dilleri konulu felsefi gözlemlere uzanmaktadır. | Centrum Wiskunde & Informatica,  Eindhoven Teknoloji Üniversitesi,  Austin Teksas Üniversitesi |
| 1973 |  ABD | Charles Bachman |  | Veri tabanı teknolojisine yaptığı büyük katkılardan dolayı | General Electric Research Laboratory (günümüzde Groupe Bull bünyesinde) |
| 1974 |  ABD | Donald Knuth |  | Algoritma analizi ve programlama dili tasarımı konusundaki değerli çalışmaları ile özellikle "The Art of Computer Programming" adlı kitabı dolayısıyla | Kaliforniya Teknoloji Enstitüsü,  Center for Communications Research, Center for Communications and Computing, Institute for Defense Analyses,  Stanford Üniversitesi |
| 1975 |  ABD | Allen Newell |  | RAND Corporation'da J. C. Shaw'la, Carnegie Mellon Üniversitesi'nde fakülte üyeleri ve öğrencilerle yürütülen çalışmalar sonucunda yapay zekâ, insanın bilişsel yapısı ve liste işleme konusundaki katkılarından dolayı | RAND Corporation,  Carnegie Mellon Üniversitesi |
| 1975 |  ABD | Herbert Simon |  | RAND Corporation'da J. C. Shaw'la, Carnegie Mellon Üniversitesi'nde fakülte üyeleri ve öğrencilerle yürütülen çalışmalar sonucunda yapay zekâ, insanın bilişsel yapısı ve liste işleme konusundaki katkılarından dolayı | RAND Corporation,  Carnegie Mellon Üniversitesi |
| 1976 |  İsrail | Michael O. Rabin |  | Deterministik olmayan sonlu durum makinelerinin geliştirilmesine önayak olan "Finite Automata and Their Decision Problem" adlı makaleleri dolayısıyla. Scott ve Rabin'in klasik makalesi bu alandaki diğer çalışmalara esin kaynağı olmuştur. | Princeton Üniversitesi |
| 1976 |  ABD | Dana Scott |  | Deterministik olmayan sonlu durum makinelerinin geliştirilmesine önayak olan "Finite Automata and Their Decision Problem" adlı makaleleri dolayısıyla. Scott ve Rabin'in klasik makalesi bu alandaki diğer çalışmalara esin kaynağı olmuştur. | Chicago Üniversitesi |
| 1977 |  ABD | John Backus |  | FORTRAN gibi yüksek düzey programlama dillerine yaptığı etkileyici katkıları ve programlama dillerinin temel niteliklerine ilişkin resmî yordamlar konulu yayınlarından dolayı | IBM |
| 1978 |  ABD | Robert W. Floyd |  | Verimli ve güvenilir yazılımlar oluşturma yöntemleri konusundaki çalışmaları ile bilgisayar biliminin şu alt dallarının kurulmasına yaptığı katkıları dolayısıyla: normalizasyon teorisi, programlama dilleri anlam bilimi, otomatik program doğrulama, otomatik programlama ve algoritma analizi | Carnegie Mellon Üniversitesi,  Stanford Üniversitesi |
| 1979 |  Kanada | Kenneth E. Iverson |  | Günümüzde APL olarak bilinen dala zemin hazırlayan çalışmaları, etkileşimli sistemler, programlama dili teorisi ve uygulamasına yaptığı katkılardan dolayı | IBM |
| 1980 |  Büyük Britanya | Tony Hoare |  | Programlama dili tanımı ve tasarımı alanındaki önemli katkılarından dolayı | Queen's University Belfast,  Oxford Üniversitesi |
| 1981 |  Büyük Britanya | Edgar F. Codd |  | Veritabanı yönetim sistemleri (özellikle ilişkisel veri tabanları) teorisi ve uygulamaları konusundaki önemli katkılarından dolayı | IBM |
| 1982 |  ABD  Kanada | Stephen A. Cook |  | Berim karmaşıklığı konusundaki bilgi birikimini önemli ölçüde değiştirdiği için | Toronto Üniversitesi |
| 1983 |  ABD | Ken Thompson |  | Genel işletim sistemi teorisinin geliştirilmesi ve bu teorinin Unix işletim sistemi olarak gerçekleştirilmesi dolayısıyla | Bell Labs |
| 1983 |  ABD | Dennis Ritchie |  | Genel işletim sistemi teorisinin geliştirilmesi ve bu teorinin Unix işletim sistemi olarak gerçekleştirilmesi dolayısıyla | Bell Labs |
| 1984 |   İsviçre | Niklaus Wirth |  | EULER, ALGOL W, Modula ve Pascal gibi yenilikçi programlama dillerini geliştirdiği için | Stanford Üniversitesi,  Zürih Üniversitesi,  ETH Zurich |
| 1985 |  ABD | Richard M. Karp |  | Ağ akışı ve kombinatorik iyileştirme problemlerine yönelik verimli algoritmalar geliştirme konusundaki katkıları, polinomsal zaman algoritmalarının verimliliği ve NP-tam kavramının tanımlanması konusundaki çalışmaları dolayısıyla | Kaliforniya Üniversitesi (Berkeley) |
| 1986 |  ABD | John Hopcroft |  | Algoritma ve veri yapılarının tasarım ve çözümlemesine yaptığı önemli katkılar dolayısıyla | Cornell Üniversitesi |
| 1986 |  ABD | Robert Tarjan |  | Algoritma ve veri yapılarının tasarım ve çözümlemesine yaptığı önemli katkılar dolayısıyla | Stanford Üniversitesi,  Cornell Üniversitesi,  Kaliforniya Üniversitesi (Berkeley),  Princeton Üniversitesi |
| 1987 |  ABD | John Cocke |  | Derleyiciler ile büyük sistemler teorisi ve tasarımı konusundaki önemli katkıları, indirgenmiş komut takımlı bilgisayarların geliştirilmesi çalışmaları dolayısıyla | IBM |
| 1988 |  ABD | Ivan Sutherland |  | Bilgisayar grafiklerine yaptığı (özellikle Sketchpad yazılımıyla) öncü nitelikteki katkılar dolayısıyla | Stanford Üniversitesi,  Harvard Üniversitesi,  Utah Üniversitesi,  Kaliforniya Teknoloji Enstitüsü |
| 1989 |  Kanada | William Kahan |  | Sayısal yöntemler konusundaki önemli katkıları dolayısıyla. Kayan noktalı hesaplama konusundaki uzman kişiler arasında olan Kahan kendini "dünyanın sayısal hesaplama konusunda güvenli bir yer olmasına" adamıştır. | Kaliforniya Üniversitesi (Berkeley) |
| 1990 |  ABD | Fernando J. Corbató |  | Genel amaçlı, geniş ölçekli, zaman ve kaynak paylaşımlı bilgisayar sistemlerinin (CTSS ve Multics) tasarlanması ve geliştirilmesi konusundaki öncü rolü dolayısıyla | Massachusetts Teknoloji Enstitüsü |
| 1991 |  Büyük Britanya | Robin Milner |  | Şu konulardaki başarısı nedeniyle: 1) Makine destekli kanıtlama için geliştirdiği LCF aracı 2) Tip güvenlikli bir hata işleme yordamı ile çalışan çokbiçimli tip belirleme sisteminin ilk kez kullanıldığı ML 3) Genel bir paralel zamanlılık teorisi olan CCS; işletimsel ve gösterimsel anlam bilimi arasındaki ilişki | Stanford Üniversitesi,  Edinburgh Üniversitesi |
| 1992 |  ABD | Butler Lampson |  | Dağıtık ve kişisel bilgisayar ortamlarının geliştirilmesine yönelik çalışmaları ile iş istasyonları, ağlar, işletim sistemleri, programlama ortamları, görüntüleyiciler, güvenlik ve belge yayımlama teknolojisine katkıları dolayısıyla | PARC,  DEC |
| 1993 |  Letonya | Juris Hartmanis |  | Hesaplamalı karmaşıklık teorisinin kurulmasını sağlayan açıklayıcı makaleleri dolayısıyla | General Electric Research Laboratory (günümüzde Groupe Bull bünyesinde) |
| 1993 |  ABD | Richard E. Stearns |  | Hesaplamalı karmaşıklık teorisinin kurulmasını sağlayan açıklayıcı makaleleri dolayısıyla | General Electric Research Laboratory (günümüzde Groupe Bull bünyesinde) |
| 1994 |  ABD | Edward Feigenbaum |  | Geniş ölçekli yapay zekâ sistemlerinin kurulması konusundaki öncü rolleri ile bu teknolojinin uygulamadaki önemini gösteren çalışmaları dolayısıyla | Stanford Üniversitesi |
| 1994 |  ABD | Raj Reddy |  | Geniş ölçekli yapay zekâ sistemlerinin kurulması konusundaki öncü rolleri ile bu teknolojinin uygulamadaki önemini gösteren çalışmaları dolayısıyla | Stanford Üniversitesi,  Carnegie Mellon Üniversitesi |
| 1995 |  Venezuela | Manuel Blum |  | Hesaplamalı karmaşıklık teorisinin kriptoloji ve program doğrulamaya uygulanması konusundaki katkıları için | Kaliforniya Üniversitesi (Berkeley) |
| 1996 |  İsrail | Amir Pnueli |  | Zamansal mantık kavramını bilgisayar bilimine kazandırması ile program ve sistem doğrulama konusundaki önemli katkılarından dolayı | Stanford Üniversitesi,  Tel Aviv Üniversitesi,  Weizmann Enstitüsü,   Courant Institute of Mathematical Sciences |
| 1997 |  ABD | Douglas Engelbart |  | Etkileşimli bilişimin geleceğine yönelik öngörüsü ve bu öngörüyü gerçekleştirmek için ortaya koyduğu teknolojik çalışmalar dolayısıyla | SRI International,  Tymshare,  McDonnell Douglas,  Bootstrap Institute/Alliance,  The Doug Engelbart Institute |
| 1998 |  ABD | Jim Gray |  | Veri tabanı ve hareket işleme konulu araştırmaları ve sistem uygulamalarındaki önderliği dolayısıyla | IBM,  Microsoft |
| 1999 |  ABD | Fred Brooks |  | Bilgisayar mimarisi, işletim sistemleri ve yazılım mühendisliğine yaptığı eşsiz katkılar dolayısıyla | IBM,  Kuzey Karolina Üniversitesi, Chapel Hill |
| 2000 |  Çin | Andrew Yao |  | Hesaplama teorisine yaptığı önemli katkılar ile sözderastlantısal sayı üretimi, kriptoloji ve iletişim karmaşıklığı konusundaki çalışmaları dolayısıyla | Stanford Üniversitesi,  Kaliforniya Üniversitesi (Berkeley),  Princeton Üniversitesi |
| 2001 |  Norveç | Ole-Johan Dahl |  | Nesne yönelimli programlamanın ortaya çıkmasını sağlayan temel düşünceleri ile Simula I ve Simula 67 adlı programlama dillerini tasarladıkları için | Norsk Regnesentral,  Oslo Üniversitesi |
| 2001 |  Norveç | Kristen Nygaard |  | Nesne yönelimli programlamanın ortaya çıkmasını sağlayan temel düşünceleri ile Simula I ve Simula 67 adlı programlama dillerini tasarladıkları için | Norsk Regnesentral,  Oslo Üniversitesi |
| 2002 |  ABD | Ron Rivest |  | Açık anahtarlı şifrelemeyi uygulanabilir kılmaya yönelik eşsiz katkıları dolayısıyla | Massachusetts Teknoloji Enstitüsü |
| 2002 |  İsrail | Adi Shamir |  | Açık anahtarlı şifrelemeyi uygulanabilir kılmaya yönelik eşsiz katkıları dolayısıyla | Massachusetts Teknoloji Enstitüsü |
| 2002 |  ABD | Leonard Adleman |  | Açık anahtarlı şifrelemeyi uygulanabilir kılmaya yönelik eşsiz katkıları dolayısıyla | Güney Kaliforniya Üniversitesi |
| 2003 |  ABD | Alan Kay |  | Günümüzde kullanılan nesne yönelimli programlama dillerinin temellerini atan düşünceleri ile Smalltalk dilini oluşturan takıma önderlik yapması dolayısıyla | Utah Üniversitesi,  PARC,  Stanford Üniversitesi,  Atari,  Apple ATG,  Walt Disney Imagineering,  Viewpoints Research Institute,  HP Labs |
| 2004 |  ABD | Vint Cerf |  | Ağ kümeleri konusundaki öncü rolleri ile internetin temel iletişim kurallarından TCP/IP'nin tasarım ve uygulaması konusundaki çalışmaları dolayısıyla | Kaliforniya Üniversitesi, Los Angeles,   Stanford Üniversitesi, DARPA,  MCI (günümüzde Verizon bünyesinde),  CNRI, Google |
| 2004 |  ABD | Bob Kahn |  | Ağ kümeleri konusundaki öncü rolleri ile internetin temel iletişim kurallarından TCP/IP'nin tasarım ve uygulaması konusundaki çalışmaları dolayısıyla | Massachusetts Teknoloji Enstitüsü,   Bolt Beranek and Newman,  DARPA,  CNRI |
| 2005 |  Danimarka | Peter Naur |  | Programlama dili tasarımı, ALGOL 60, derleyici tasarımı ve programlama sanatına yaptığı önemli katkılar dolayısıyla | Regnecentralen (günümüzde Fujitsu bünyesinde),  Kopenhag Üniversitesi |
| 2006 |  ABD | Frances E. Allen |  | Bilgisayar programlarının başarımı ve süper bilgisayarların kullanımını artırmaya yönelik çalışmaları dolayısıyla | IBM |
| 2007 |  ABD | Edmund M. Clarke |  | Donanım ve yazılım sanayiinde yaygın olarak kullanılan ve model kontrolü ilkesine dayanan verimli doğrulama teknolojisine yaptıkları katkılar için | Harvard Üniversitesi,  Carnegie Mellon Üniversitesi |
| 2007 |  ABD | E. Allen Emerson |  | Donanım ve yazılım sanayiinde yaygın olarak kullanılan ve model kontrolü ilkesine dayanan verimli doğrulama teknolojisine yaptıkları katkılar için | Harvard Üniversitesi,  Austin Teksas Üniversitesi |
| 2007 |  Yunanistan | Joseph Sifakis |  | Donanım ve yazılım sanayiinde yaygın olarak kullanılan ve model kontrolü ilkesine dayanan verimli doğrulama teknolojisine yaptıkları katkılar için | Ulusal Bilimsel Araştırma Merkezi |
| 2008 |  ABD | Barbara Liskov |  | Programlama dili tasarımı, veri soyutlama, arızaya dayanıklılık ve dağıtık hesaplama konusundaki katkıları dolayısıyla | Massachusetts Teknoloji Enstitüsü |
| 2009 |  ABD | Charles P. Thacker |  | İlk çağdaş kişisel bilgisayar olan Xerox Alto'yu tasarlaması, ethernet ve tablet bilgisayar konusundaki çalışmaları dolayısıyla | PARC,  DEC,  Microsoft Research |
| 2010 |  Büyük Britanya | Leslie Valiant |  | Hesaplama teorisine yaptığı etkileyici katkılar ile yüksek olasılıklı öğrenme (PAC), sayım ve cebirsel hesaplama karmaşıklığı, paralel ve dağıtık hesaplama teorisi konusundaki çalışmaları dolayısıyla | Harvard Üniversitesi |
| 2011 |  ABD | Judea Pearl |  | Olasılık ve olay tabanlı karar verme kalkülüsü yoluyla yapay zekâya yaptığı katkılar dolayısıyla | Kaliforniya Üniversitesi, Los Angeles   New Jersey Teknoloji Enstitüsü |
| 2012 |  İtalya | Silvio Micali |  | Kriptolojinin karmaşıklık teorisini açıklayan etkileyici çalışmaları ile matematiksel kanıtların vermli bir biçimde doğrulanmasını sağlayan yeni yöntemler geliştirmeleri dolayısıyla | Massachusetts Teknoloji Enstitüsü |
| 2012 |  ABD  İsrail | Shafi Goldwasser |  | Kriptolojinin karmaşıklık teorisini açıklayan etkileyici çalışmaları ile matematiksel kanıtların vermli bir biçimde doğrulanmasını sağlayan yeni yöntemler geliştirmeleri dolayısıyla | Massachusetts Teknoloji Enstitüsü,  Weizmann Enstitüsü |
| 2013 |  ABD | Leslie Lamport |  | Dağıtık ve paralel sistemlerin tasarım ve uygulaması konusundaki önemli katkıları ile mantıksal saatler, güvenlik ve canlılık, eşlenen durum makineleri ve sıralı tutarlılık gibi kavramları geliştirmesi dolayısıyla | Massachusetts Computer Associates (günümüzde Essig PLM bünyesinde),  SRI International,  DEC,  Compaq (günümüzde HP bünyesinde),  Microsoft Research |
| 2014 |  ABD | Michael Stonebraker |  | Çağdaş veritabanı sistemlerinin altyapısını oluşturan kavramlara yaptığı önemli katkılar dolayısıyla | Kaliforniya Üniversitesi (Berkeley),  Massachusetts Teknoloji Enstitüsü |
| 2015 |  ABD | Martin Hellman |  | Çağdaş kriptolojiye yaptıkları katkılar için. Diffie ve Hellman'ın 1976'da yazdığı "New Directions in Cryptography" başlıklı makale günümüzde internet üzerinde yaygın olarak kullanılan güvenlik sistemlerinden açık anahtarlı şifreleme ve elektronik imzaların gelişimine önayak olmuştur. | Stanford Üniversitesi |
| 2015 |  ABD | Whitfield Diffie |  | Çağdaş kriptolojiye yaptıkları katkılar için. Diffie ve Hellman'ın 1976'da yazdığı "New Directions in Cryptography" başlıklı makale günümüzde internet üzerinde yaygın olarak kullanılan güvenlik sistemlerinden açık anahtarlı şifreleme ve elektronik imzaların gelişimine önayak olmuştur. | Stanford Üniversitesi |
| 2016 |  Büyük Britanya | Tim Berners-Lee |  | World Wide Web'i, ilk web tarayıcısını ve internetin geniş ölçekli kullanımını güvence altına alan kural ve algoritmaları geliştirdiği için | CERN,  Massachusetts Teknoloji Enstitüsü,  World Wide Web Consortium |
| 2017 |  ABD | John L. Hennessy |  | Bilgisayar mimarilerinin tasarım ve değerlendirmesine getirdikleri sistemli ve niceliksel yaklaşım ile mikroişlemci sanayiine yaptıkları kalıcı etki dolayısıyla | Stanford Üniversitesi |
| 2017 |  ABD | David Patterson |  | Bilgisayar mimarilerinin tasarım ve değerlendirmesine getirdikleri sistemli ve niceliksel yaklaşım ile mikroişlemci sanayiine yaptıkları kalıcı etki dolayısıyla | Kaliforniya Üniversitesi (Berkeley) |
| 2018 |  Kanada | Yoshua Bengio |  | Derin sinir ağlarını bilişim dünyasının önde gelen bileşenlerinden biri durumuna getirmeye yönelik kavramsal ve uygulamalı çalışmaları için | Université de Montréal, McGill Üniversitesi, Mila |
| 2018 |  Büyük Britanya  Kanada | Geoffrey Hinton |  | Derin sinir ağlarını bilişim dünyasının önde gelen bileşenlerinden biri durumuna getirmeye yönelik kavramsal ve uygulamalı çalışmaları için | Toronto Üniversitesi,   Kaliforniya Üniversitesi, San Diego,  Carnegie Mellon Üniversitesi,  University College London,  Edinburgh Üniversitesi,   Google AI |
| 2018 |  ABD  Fransa | Yann LeCun |  | Derin sinir ağlarını bilişim dünyasının önde gelen bileşenlerinden biri durumuna getirmeye yönelik kavramsal ve uygulamalı çalışmaları için | Toronto Üniversitesi,  Bell Labs,  Courant Institute of Mathematical Sciences, New York Üniversitesi,  Meta AI |
| 2019 |  ABD | Edwin Catmull |  | Bilgisayar üretimli imgeleme uygulamalarını olanaklı kılan 3 boyutlu bilgisayar grafikleri konusunda yaptıkları önemli katkılar dolayısıyla | Utah Üniversitesi,  Pixar,  Walt Disney Animation Studios |
| 2019 |  ABD | Pat Hanrahan |  | Bilgisayar üretimli imgeleme uygulamalarını olanaklı kılan 3 boyutlu bilgisayar grafikleri konusunda yaptıkları önemli katkılar dolayısıyla | Pixar,  Princeton Üniversitesi,  Stanford Üniversitesi |
| 2020 |  Kanada | Alfred Aho |  | Temel algoritmalar ve programlama dillerinin gerçek yaşama uygulanması ile birçok bilgisayar bilimcisinin yetişmesine olanak sağlayan yapıtlarından ötürü | Bell Labs,  Columbia Üniversitesi |
| 2020 |  ABD | Jeffrey Ullman |  | Temel algoritmalar ve programlama dillerinin gerçek yaşama uygulanması ile birçok bilgisayar bilimcisinin yetişmesine olanak sağlayan yapıtlarından ötürü | Bell Labs,  Princeton Üniversitesi,  Stanford Üniversitesi |
| 2021 |  ABD | Jack Dongarra |  | Üstel hızla büyüyen donanım seçeneklerine ayak uyduracak yüksek başarımlı yazılımların geliştirilmesine olanak sağlayan algoritma ve kütüphaneler konusundaki öncü çalışmalarından dolayı | Argonne Ulusal Laboratuvarı,  Oak Ridge Ulusal Laboratuvarı,  Manchester Üniversitesi,  Texas A&M University Institute for Advanced Study,  Tennessee Üniversitesi,  Rice Üniversitesi |
| 2022 |  ABD | Robert Metcalfe |  | Ethernet'in icadı, standardizasyonu ve ticarileştirilmesi için | Massachusetts Teknoloji Enstitüsü,  Harvard Üniversitesi,  PARC,  Austin Teksas Üniversitesi |
| 2023 |  İsrail | Avi Wigderson |  | Gelişigüzelliğin bilişim teknolojilerindeki kullanım alanlarını netleştirmeye yönelik çalışmaları ile kuramsal bilgisayar bilimi alanında uzun süreye yayılmış öncü rolü dolayısıyla | Institute for Advanced Study, Princeton Üniversitesi, Technion |