Knuth -Preis
Gary Miller die Geschenke Volker Strassen Mit dem Knuth -Preis 2008 bei Soda 2009
Das Donald E. Knuth Preis ist ein Preis für herausragende Beiträge zu den Grundlagen von Informatik, benannt nach dem amerikanischen Informatiker Donald E. Knuth.
Geschichte
Der Knuth -Preis wird seit 1996 verliehen und beinhaltet eine Auszeichnung von 5.000 US -Dollar. Der Preis wird von vergeben von ACM Sigact und von IEEE Computer SocietyDer technische Ausschuss für die mathematischen Fundamente des Computers. Preise werden in der Wechsel am ACM vergeben Symposium über die Computertheorie Und am IEEE Symposium über Fundamente der Informatik, die zu den prestigeträchtigsten Konferenzen gehören Theoretische Informatik. Der Empfänger des KNUTH -Preises hält einen Vortrag auf der Konferenz.[1] Zum Beispiel hat David S. Johnson "seinen Knuth Prize -Vortrag verwendet, um praktische Anwendungen für Algorithmen zu drängen".[2]
Im Gegensatz zu den Gödel -PreisDer Knuth -Preis wird an Einzelpersonen für ihre allgemeinen Auswirkungen auf dem Gebiet vergeben.
Gewinner
Seit der Einführung des Preises im Jahr 1996 wurde er vergeben:[3]
- 1996 – Andrew Yao[4]
- 1997 – Leslie Valiant[5]
- 1999 – László Lovász[6]
- 2000 – Jeffrey Ullman[7]
- 2002 – Christos Papadimitriou[8]
- 2003 – Miklós Ajtai[9][10]
- 2005 – Mihalis Yannakakis[11]
- 2007 – Nancy Lynch[12]
- 2008 – Volker Strassen[13]
- 2010 – David S. Johnson[2][14][15][16]
- 2011 – Ravi Kannan[17]
- 2012 – Leonid Levin[18]
- 2013 – Gary Miller[19]
- 2014 – Richard J. Lipton[20][21]
- 2015 – László Babai[22]
- 2016 – Noam Nisan[23]
- 2017 – Od Goldreich[24]
- 2018 – Johan Håstad[25]
- 2019 – Avi Wigderson[26][27]
- 2020 – Cynthia Dwork[28][29][30][31]
- 2021 – Moshe Vardi[32][33][34]
- 2022 – Noga Alon[35]
Auswahlausschüsse
| Jahr | Entscheidungskomitee |
|---|---|
| 1996 | Ronald Graham (Vorsitzender AT & T Research), Joe Halpern (IBM Almaden Research Center), Kurt Mehlhorn (Max-Planck-Institut für Informatik), Nicholas Penpfenger (Universität von British Columbia), Eva Tardos (Cornell University), Avi Wigderson (Hebrew (Hebrew) Universität) |
| 1997 | |
| 1999 | Allan Borodin, Ashok Chandra, Herbert Edelsbrunner, Christos Papadimitriou, Éva Tardos (Vorsitzender) und Avi Wigderson |
| 2000 | |
| 2002 | |
| 2003 | |
| 2005 | Richard Ladner, Tom Leighton, Laci Lovasz, Gary Miller, Mike Paterson und Umesh Vazirani (Stuhl) |
| 2007 | Mike Paterson (Stuhl), Tom Leighton, Gary Miller, Anne Condon, Mihalis Yannakakis, Richard Ladner |
| 2008 | |
| 2010 | |
| 2011 | |
| 2012 | |
| 2013 | |
| 2014 | |
| 2015 | Russell Impagliazzo (Vorsitzender, UCSD), Uriel Feige, (das Weizmann Institute of Science), Michel Goemans (MIT), Johan H˚astad (KTH Royal Institute of Technology), Anna Karlin (U. von Washington), Satish boo (UC Berkeley) |
| 2016 | Allan Borodin (U. Toronto), Uri Feige (Weizmann Institute), Michel Goemans (MIT, Vorsitzender), Johan H˚astad (KTH), Satish Rao (UC, Berkeley) und Shang-Hua Teng (USC). |
| 2017 | Allan Borodin (Vorsitzender, U. von Toronto), Avrim Blum (CMU), Shafi Goldwasser (MIT und Weizmann Institute), Johan H˚astad (KTH - Royal Institute of Technology), Satish Rao (UC. Berkeley) und Shanghuaa Teng (USC) |
| 2018 | Allan Borodin, (U. von Toronto), Alan Frieze (CMU), Avrim Blum (TTTIC), Shafi Goldwasser (UC Berkeley), Noam Nisan (Hebräisch U.) und Shang-Hua Teng (Vorsitzender, USC) |
| 2019 | Avrim Blum (Stuhl, Ttic), Alan Frieze (CMU), Shafi Goldwasser (UC Berkeley), Noam Nisan (Hebräisch U.), Ronitt Rubinfeld (MIT und Tel Aviv U.) und Andy Yao (Tsinghua U.). |
| 2020 | Alan Frieze, Vorsitzender (CMU), Hal Gabow (U. von Colorado), Noam Nisan (Hebräisch U.), Ronitt Rubinfeld (MIT), Eva Tardos (Cornell U.), Andy Yao (Tsinghua U.) |
| 2021 | Harold Gabow (Vorsitzender, U. Colorado), Noam Nisan (Hebräisch U.), Dana Randall (Georgia Tech), Ronitt Rubinfeld (MIT), Madhu Sudan (Harvard U.) und Andy Yao (Tsinghua U.) |
| 2022 | Harold Gabow (U. Colorado), Monika Henzinger (U. Wiena), Kurt Mehlhorn (Max -Planck -Institut), Dana Randall (Vorsitzender, Georgia Tech), Madhu -Sudan (Harvard U.) und Andy Yao (Tsinghua U.) |
Siehe ALS
Verweise
- ^ Knuth -Preis, IEEE Computer Society
- ^ a b In Memoriam: David S. Johnson, Computing Research Association
- ^ "Knuth Prize". ACM Sigact. 23. September 2021. Abgerufen 23. September, 2021.
- ^ SMU -Podiumsdiskussion über die Erstellung der Zukunft durch Computer mit Districised Turing Award Diskussionsteilnehmer, Singapore Management University
- ^ Valiant erhält 2010 Turning Award (PDF), Mitteilungen der American Mathematical Society (Juni/Juli 2011)
- ^ Shelton, JI (29. März 2021). "2021 Abel -Preisträger war ein Mathematik- und Informatik in Yale".. Yale News. Yale Universität. Abgerufen 24. April, 2022.
- ^ Shelton, Jim (31. März 2021). "ACM Turing Award ehrt Innovatoren, die Computerprogrammierung geprägt haben: AHO und Ullman entwickelten Tools und wegweisende Lehrbücher, die von Millionen von Softwareprogrammierern verwendet wurden.". Eurkalert!. AAAs. Abgerufen 24. April, 2022.
- ^ Bernadette Young (8. Oktober 2019), Professor Christos Papadimitriou verlieh den Harvey -Preis 2018, Columbia University, Ingenieurwesen
- ^ Sigact -Jahresbericht Juli 2002 bis Juni 2003; 1. Auszeichnungen, die ausgegeben wurden, ACM, 2003
- ^ 2003 KNUTH PREIS MIKLOS AJTAI, ACM, 9. Oktober 2003
- ^ 2005 KNUTH PREIS MIHALIS YANNAKAKIS, ACM, 1. Mai 2006
- ^ Nancy Lynch ernannte den ACM Award für Beiträge zur Zuverlässigkeit des verteilten Computers, MIT Informatik & künstliche Intelligenzlabor, 4. April 2007
- ^ ACM Sigact 2008 Knuth Prize erkennt Strassen für Beiträge zum effizienten Algorithmus -Design aus, ACM, 23. Oktober 2008
- ^ Linda Crane, David S. Johnson: In Memoriam, Columbia University, Informatik
- ^ Lee L. Keener, David S. Johnson '67, Amherst Magazine
- ^ AT & T Labs -Forscher erhalten ACM Sigact Knuth -Preis für Algorithmus -Innovationen, ACM, 2. März 2010
- ^ Drei Microsoft India -Forscher ernannt ACM Fellow, Illinois Intelligencer, 9. Dezember 2016
- ^ Zitat: 2012 KNUTH -Preis (PDF), ACM, 15. Juli 2012
- ^ ACM Awards KNUTH-Preis für den Schöpfer der Problemlösungstheorie und der Algorithmen, ACM, 4. April 2013
- ^ "ACM Awards KNUTH -Preis für Pioneer für Fortschritte in Algorithmen und Komplexitätstheorie". Verband für Rechenmaschinen. 15. September 2014. Archiviert von das Original Am 20. September 2014.
- ^ Tylor, Phillip (2014). "ACM, IEEE taps Lipton für den prestigeträchtigen Knuth -Preis". Nachrichtenzentrum. Georgia Tech. Abgerufen 24. April, 2022.
- ^ 2015 KNUTH PREIS ZITT für László Babai (PDF), ACM, 17. Mai 2015
- ^ ACM Awards KNUTH -Preis für Pioneer der algorithmischen Spieltheorie, ACM, 8. September 2016
- ^ 2017 Der KNUTH -Preis wird an ODED Goldreich vergeben (PDF), ACM, 13. Juni 2017
- ^ Der KNUTH -Preis 2018 wird an Johan Håstad vergeben (PDF), ACM, 6. August 2018
- ^ Sue Gee (7. April 2019), Knuth Prize 2019 für Beiträge zur Komplexitätstheorie vergeben
- ^ "Optimierung, Komplexität und Mathematik ... mit Gradienten" - Knuth Prize Lecture, STOC 2019 - Avi Wigderson, 3. März 2020, archiviert vom Original am 2021-12-14
- ^ Elizabeth Salazar (15. Mai 2020), Cynthia Dwork gewinnt den Knuth -Preis für herausragende Beiträge zu den Grundlagen der Informatik, Harvard Universität
- ^ Führende Autorität für Kryptographie und Datenschutz erhält den Knuth -Preis, American Association for the Advancement of Science, 2. Juni 2020
- ^ Knuth Prize Lecture - Cynthia Dwork, 25. November 2020, archiviert vom Original am 2021-12-14
- ^ "Harvard Professor erhält einen Preis für Beiträge zur theoretischen Informatik". HPC -Kabel. 2. Juni 2020. Abgerufen 24. April, 2022.
- ^ 2021 KNUTH -Preis wird an Moshe Vardi vergeben (PDF), ACM, 9. Mai 2021
- ^ STOC 2021 - Knuth -Preisgespräch: Logik und Berechnung - Ein Match, das im Himmel gemacht wurde - Moshe Vardi, 14. Juli 2021, archiviert vom Original am 2021-12-14
- ^ Boyd, Jade (27. Mai 2021). "Moshe Vardi gewinnt den Knuth -Preis". Jüdischer Herald-Voice. Abgerufen 24. April, 2022.
- ^ "2022 KNUTH -Preis für Noga Alon vergeben" (PDF). ACM -Spezialinteressengruppe für Algorithmen und Berechnungstheorie. Abgerufen 2. Juli, 2022.