Donald E. Knuth Ödülü

Donald E. Knuth Ödülü
Oluşturulma tarihi	1996

Knuth ödülü için olağanüstü katkılarda bulunmuş bilim adamları tanır teorik bilgisayar bilimleri . Adını teorik bilgisayar bilimine en büyük katkıda bulunanlardan biri olan Donald E. Knuth'tan almıştır .

Knuth Ödülü 1996'dan beri her on sekiz ayda bir verilmektedir  ; 5.000 USD ödül içerir . Ödül tarafından verilir SIGACT Interest Group of ACM Teorik Bilgi İşlem için ve Teknik Komite IEEE . Ödüller, teorik hesaplamanın en prestijli konferansları arasında yer alan ACM STOCS ( Symposium on Theory of Computing ) ve IEEE FOCS ( Symposium on Foundations of Computer Science ) konferansına dönüşümlü olarak verilmektedir. Olağanüstü eşyaları ödüllendiren Gödel Ödülü'nün aksine, Knuth Ödülü bireylere verilir.

Alıcılar

• 1996 - Andrew Chi-Chih Yao
• 1997 - Leslie Valiant
• 1999 - László Lovász
• 2000 - Jeffrey D. Ullman
• 2002 - Christos Papadimitriou
• 2003 - Miklos Ajtai
• 2005 - Mihalis Yannakakis
• 2007 - Nancy Lynch
• 2008 - Volker Strassen
• 2010 - David Johnson
• 2011 - Ravi Kannan
• 2012 - Leonid Levin
• 2013 - Gary L. Miller
• 2014 - Richard J. Lipton
• 2015 - László Babai , etkileşimli ispatlar , ispat kavramı ve karmaşıklık teorisindeki çıkarımlar üzerine çalışması için
• 2016 - Noam Nisan , sözde rastgele sayı üreteçleri , etkileşimli ispatlar ve algoritmik oyun teorisi üzerine iletişimin karmaşıklığı konusundaki çalışmaları nedeniyle .
• 2017 - Oded Goldreich , kriptografi , rastgele teori, etkileşimli kanıtlar , yaklaşılamazlık teorisi , özellik testi ve karmaşıklık teorisindeki ilerlemeleri için .
• 2018 - Johan Håstad optimizasyon, kriptografi, paralel hesaplama ve karmaşıklık teorisi alanındaki çalışmaları, özellikle Boole devreleri , PCP teoremi , yaklaşımsızlık sonuçları ve sözde rasgele üreteçler üzerine yaptığı çalışmalardan dolayı .
• 2019 - Avi Wigderson , olasılıksal algoritmalar , derandomizasyon sınıfı BPP , bilginin açıklanmadığı kanıtlar , etkileşimli ispat sistemleri ( PCP teoremine götüren ), paralel algoritmalar ve grafik genişleticiler üzerine yaptığı çalışmalar için .
• 2020 - Cynthia Dwork , dağıtılmış hesaplama, kriptografi, veri gizliliği ve daha yakın zamanda algoritmik önyargı dahil olmak üzere çeşitli teorik bilgi işlem alanlarını dönüştürmek için . En çok farklı mahremiyet kavramını, kriptografide şekillendirilebilirlik üzerine yaptığı çalışmaları , kafes tabanlı kriptografi  (in) , eşzamanlı kompozisyon ve çalışma kanıtlarını tanıtmasıyla tanınır .

Dış bağlantı

• İmza sayfasındaki alıcıların listesi .

Notlar ve referanslar

1. Onlar rütbe 5 th ve 6 th , sırasıyla içinde, Microsoft Akademik Araştırma sıralaması (29 Kasım 2013 erişilir).
2. Fiyat sayfası .
3. ACM reklamı "Arşivlenmiş kopya" ( İnternet Arşivi'nde 3 Kasım 2013 sürümü ) .
4. 2014 Ödül Duyurusu
5. "  Basın bildirisi  " ,Haziran 2015.
6. "  ACM, Algoritmik Oyun Teorisinin Öncüsü'ne Knuth Ödülü  " , ACM'de ,Eylül 8, 2016.
7. "  2017 Knuth ödülü Oded Goldreich'e Verildi  " , SIGACT'ta ,2017.
8. "  2020 Knuth Ödülü, Cynthia Dwork'e verildi  "