Donald E. Knuth Award

Donald E. Knuth Award
Erstellungsdatum	1996

Mit dem Knuth-Preis werden Wissenschaftler ausgezeichnet, die herausragende Beiträge zur theoretischen Informatik geleistet haben . Es ist nach Donald E. Knuth benannt , einem der größten Beiträge zur theoretischen Informatik.

Der Knuth - Preis wird seit alle 18 Monate vergeben 1996  ; Es beinhaltet eine Belohnung von 5.000 US-Dollar . Der Preis wird von der Interessengruppe SIGACT des ACM und dem theoretischen Computertechnischen Komitee des IEEE vergeben . Die Preise werden abwechselnd an die ACM STOCS-Konferenz ( Symposium on Theory of Computing ) und die IEEE FOCS- Konferenz ( Symposium on Foundations of Computer Science ) vergeben, die zu den renommiertesten Konferenzen im Bereich theoretisches Computing gehören. Im Gegensatz zum Gödel-Preis, mit dem außergewöhnliche Gegenstände belohnt werden, wird der Knuth-Preis an Einzelpersonen vergeben.

Empfänger

• 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 für seine Arbeit über interaktive Beweise , den Begriff des Beweises und Implikationen in der Komplexitätstheorie
• 2016 - Noam Nisan für seine Arbeit in der Komplexität der Kommunikation über Pseudozufallszahlengeneratoren , interaktive Beweise und algorithmische Spieltheorie .
• 2017 - Oded Goldreich für seine Fortschritte in den Bereichen Kryptographie , Zufallstheorie , interaktive Beweise , Inapproximierbarkeitstheorie , Eigenschaftstests und Komplexitätstheorie .
• 2018 - Johan Håstad für seine Arbeiten in den Bereichen Optimierung, Kryptographie, Parallel Computing und Komplexitätstheorie, insbesondere für seine Arbeiten zu Booleschen Schaltungen , dem PCP-Theorem , Unannäherungsergebnissen und Pseudozufallsgeneratoren .
• 2019 - Avi Wigderson für seine Arbeit an probabilistischen Algorithmen , der Derandomisierungsklasse BPP , dem Nachweis der Nichtoffenlegung von Wissen , den interaktiven Beweissystemen (die zum PCP-Theorem führen ), parallelen Algorithmen und Graphenerweiterern .
• 2020 - Cynthia Dwork für die Transformation mehrerer Bereiche des theoretischen Rechnens, einschließlich verteiltem Rechnen, Kryptographie, Datenschutz und neuerer algorithmischer Voreingenommenheit . Sie ist am bekanntesten für die Einführung des Konzepts der differenziellen Privatsphäre , seiner Arbeit zur Formbarkeit in der Kryptographie, der gitterbasierten Kryptographie  (in) , der gleichzeitigen Komposition und des Nachweises von Arbeit .

Externer Link

• Liste der Empfänger auf der Sigact-Seite.

Anmerkungen und Referenzen

1. Sie zählen 5 th und 6 th , jeweils in der Microsoft Academic Research Ranking (Zugriff 29. November 2013).
2. Die Preisseite .
3. ACM-Anzeige "Archivierte Kopie" (Version vom 3. November 2013 im Internetarchiv ) .
4. Bekanntgabe des Preises 2014
5. "  Pressemitteilung  " ,Juni 2015.
6. "  ACM vergibt Knuth-Preis an Pionier der algorithmischen Spieltheorie  " , auf ACM ,8. September 2016.
7. "Der  Knuth-Preis 2017 wird an Oded Goldreich vergeben  " , auf SIGACT ,2017.
8. "Der  Knuth-Preis 2020 wird an Cynthia Dwork vergeben  "