El premio Donald E. Knuth es un premio por contribuciones destacadas a los fundamentos de la informática , llamado así en honor al científico informático estadounidense Donald E. Knuth .
Historia
El premio Knuth se otorga desde 1996 e incluye un premio de 5.000 dólares estadounidenses. El premio es otorgado por ACM SIGACT y por el Comité Técnico sobre Fundamentos Matemáticos de la Computación de la IEEE Computer Society . Los premios se otorgan en años alternos en el Simposio sobre Teoría de la Computación de la ACM y en el Simposio sobre Fundamentos de la Informática de la IEEE , que se encuentran entre las conferencias más prestigiosas en informática teórica . El ganador del Premio Knuth ofrece una conferencia en la conferencia. [1]
Por ejemplo, David S. Johnson "utilizó su conferencia del Premio Knuth para impulsar aplicaciones prácticas para algoritmos". [2]
A diferencia del Premio Gödel , que reconoce artículos destacados, el Premio Knuth se otorga a personas por su impacto general en el campo.
Ganadores
Desde que se instituyó el premio en 1996, se ha otorgado a las siguientes personas, y se cita la mención de cada premio (no siempre completa): [3]
^ ab In Memoriam: David S. Johnson, Computing Research Association, abril de 2016
^ "Premio Knuth". ACM SIGACT. 23 de septiembre de 2021. Consultado el 23 de septiembre de 2021 .
^ Mesa redonda de la SMU sobre la creación del futuro a través de la informática con destacados panelistas galardonados con el premio Turing, Universidad de Gestión de Singapur
^ Valiant recibe el premio Turing 2010 (PDF) , Avisos de la American Mathematical Society (junio/julio de 2011)
^ Shelton, Ji (29 de marzo de 2021). "El ganador del premio Abel 2021 fue un pilar de las matemáticas y la informática de Yale". Noticias de Yale . Universidad de Yale . Consultado el 24 de abril de 2022 .
^ Shelton, Jim (31 de marzo de 2021). "El premio ACM Turing honra a los innovadores que dieron forma a la programación informática: Aho y Ullman desarrollaron herramientas y libros de texto fundamentales utilizados por millones de programadores de software". EurekAlert! . AAAS . Consultado el 24 de abril de 2022 .
^ Bernadette Young (8 de octubre de 2019), El profesor Christos Papadimitriou recibió el premio Harvey 2018, Universidad de Columbia, Ingeniería
^ Informe anual de SIGACT julio de 2002 – junio de 2003; 1. Premios otorgados, ACM, 2003
^ Premio Knuth 2003 Miklos Ajtai, ACM, 9 de octubre de 2003
^ Premio Knuth 2005 Mihalis Yannakakis, ACM, 1 de mayo de 2006
^ Nancy Lynch nombrada destinataria del premio ACM por sus contribuciones a la fiabilidad de la informática distribuida, Laboratorio de Ciencias de la Computación e Inteligencia Artificial del MIT, 4 de abril de 2007
^ El premio Knuth de la ACM SIGACT 2008 reconoce a Strassen por sus contribuciones al diseño eficiente de algoritmos, ACM, 23 de octubre de 2008
^ Linda Crane, David S. Johnson: In Memoriam, Universidad de Columbia, Ciencias de la Computación
^ Lee L. Keener, David S. Johnson '67, Revista Amherst
^ Investigador de AT&T Labs recibirá el premio ACM SIGACT Knuth por innovaciones en algoritmos, ACM, 2 de marzo de 2010
^ Tres investigadores de Microsoft India nombrados miembros de la ACM, Illinois Intelligencer, 9 de diciembre de 2016
^ Cita: Premio Knuth 2012 (PDF) , ACM, 15 de julio de 2012
^ ACM otorga el premio Knuth al creador de la teoría y los algoritmos de resolución de problemas, ACM, 4 de abril de 2013
^ "ACM otorga el premio Knuth a un pionero por sus avances en algoritmos y teoría de la complejidad". Association for Computing Machinery. 15 de septiembre de 2014. Archivado desde el original el 20 de septiembre de 2014.
^ Tylor, Phillip (2014). "ACM, IEEE Taps Lipton for Prestigious Knuth Prize". Centro de noticias . Georgia Tech . Consultado el 24 de abril de 2022 .
^ Mención del Premio Knuth 2015 para László Babai (PDF) , ACM, 17 de mayo de 2015
^ ACM otorga el premio Knuth a un pionero de la teoría de juegos algorítmicos, ACM, 8 de septiembre de 2016
^ Oded Goldreich recibe el premio Knuth 2017 (PDF) , ACM, 13 de junio de 2017
^ Johan Håstad recibe el premio Knuth 2018 (PDF) , ACM, 6 de agosto de 2018
^ Sue Gee (7 de abril de 2019), Premio Knuth 2019 otorgado por contribuciones a la teoría de la complejidad
^ "Optimización, complejidad y matemáticas... usando gradientes" – Conferencia del premio Knuth, STOC 2019 – Avi Wigderson, 3 de marzo de 2020, archivado desde el original el 14 de diciembre de 2021
^ Elizabeth Salazar (15 de mayo de 2020), Cynthia Dwork gana el premio Knuth por contribuciones destacadas a los fundamentos de la informática, Universidad de Harvard
^ La principal autoridad en criptografía y privacidad de datos recibe el premio Knuth, Asociación Estadounidense para el Avance de la Ciencia, 2 de junio de 2020
^ Conferencia del Premio Knuth – Cynthia Dwork, 25 de noviembre de 2020, archivada del original el 14 de diciembre de 2021
^ "Profesor de Harvard recibe premio por contribuciones a la informática teórica". HPC Wire . 2 de junio de 2020 . Consultado el 24 de abril de 2022 .
^ El premio Knuth 2021 se otorga a Moshe Vardi (PDF) , ACM, 9 de mayo de 2021
^ STOC 2021 – Charla del Premio Knuth: Lógica y computación: una combinación perfecta – Moshe Vardi, 14 de julio de 2021, archivado desde el original el 14 de diciembre de 2021
^ Boyd, Jade (27 de mayo de 2021). «Moshe Vardi gana el premio Knuth». Jewish Herald-Voice . Consultado el 24 de abril de 2022 .
^ "Premio Knuth 2022 otorgado a Noga Alon" (PDF) . Grupo de interés especial de ACM sobre algoritmos y teoría de la computación . Consultado el 2 de julio de 2022 .
^ "Tardos recibe el premio Knuth 2023" . Consultado el 24 de junio de 2023 .
^ "Premio Knuth 2024: Rajeev Alur". Grupo de interés especial de la ACM sobre algoritmos y teoría de la computación . Consultado el 8 de agosto de 2024 .
