Il premio Donald E. Knuth è un riconoscimento destinato a premiare studiosi che si siano distinti per eccezionali contributi ai fondamenti dell'informatica. Il premio è dedicato a Donald Knuth, ed è stato assegnato per la prima volta nel 1996 in occasione della ventottesima edizione dell'ACM Symposium on Theory of Computing (STOC). Viene consegnato ogni anno, insieme a un premio in denaro (10.000 dollari nel 2020). Attualmente la cerimonia di premiazione, negli anni pari, si tiene in concomitanza dell'IEEE Symposium on Foundations of Computer Science (FOCS).
Vincitori Anno Sede Vincitore Istituzione affiliata Motivazione 1996 Filadelfia Andrew Yao Università di Princeton Per i suoi lavori fondamentali nel campo della complessità computazionale. 1997 Leslie Valiant Università di Harvard Per i suoi contributi di notevole portata nello studio della complessità computazionale, del calcolo parallelo e della teoria dell'apprendimento. 1999 László Lovász Per la sua enorme influenza sulla teoria degli algoritmi. 2000 Jeffrey D. UllmanPer i suoi contributi all'informatica teorica e alle applicazioni (compilatori, database e parallelismo). 2002 Christos Papadimitriou Per i suoi contributi fondamentali e di lungo corso ai fondamenti dell'informatica. 2003 Miklos Ajtai Per i numerosi contributi innovativi all'informatica teorica. 2005 Mihalis Yannakakis Columbia University Per i numerosi contributi pionieristici all'informatica teorica: teoria della complessità, database, teoria dei grafi. 2007 Providence Nancy Lynch Per i contributi influenti e determinanti alla teoria del calcolo distribuito. 2008 Volker StrassenUniversity of KonstanzPer i suoi contributi fondamentali e influenti agli algoritmi efficienti 2010 Cambridge David JohnsonColumbia UniversityPer i suoi contributi all'analisi teorica e sperimentale degli algoritmi 2011 San Jose Ravindran KannanHa fornito all'informatica teorica molte nuove e potenti tecniche algoritmiche. 2012 New Brunswick Leonid Levin 2013 Palo Alto Gary Miller 2014 Filadelfia Richard J. Lipton 2015 Portland László Babai 2016 New Brunswick Noam NisanUniversità Ebraica di Gerusalemme 2017 Montréal Oded Goldreich Istituto Weizmann Per i suoi contributi all'informatica teorica e gli studi sulla crittografia, la casualità e la teoria della complessità. 2018 Parigi Johan Håstad 2019 Phoenix Avi Wigderson Università di Princeton 2020 Durham Cynthia Dwork Università di Harvard Per i contributi duraturi e fondamentali all'informatica e i suoi studi sulla crittografia, la sicurezza e i sistemi distribuiti.2021 Moshe Vardi Università Rice Per gli eccezionali contributi che applicano la logica matematica a molteplici aree fondamentali dell'informatica.2022 Noga Alon Università di Princeton Per i contributi fondamentali in combinatoria e teoria dei grafi e le applicazioni a temi fondamentali dell'informatica.2023 Éva Tardos Cornell University Per "i suoi ampi contributi alla ricerca e la sua leadership nel settore, in particolare per essere stata co-autrice di un influente libro di testo, Algorithm Design, per essere stata co-curatrice dell'Handbook of Game Theory, per aver ricoperto il ruolo di caporedattore del Journal of the ACM e del Society for Industrial and Applied Mathematics (SIAM) Journal of Computing e per aver presieduto i comitati di programma di diverse importanti conferenze del settore".
Note
Collegamenti esterni
Knuth