El Premio Donald E. Knuth es un premio por contribuciones destacadas a los fundamentos de la informática , que lleva el nombre del informático estadounidense Donald E. Knuth .
Historia
El Premio Knuth se otorga desde 1996 e incluye una dotación 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 IEEE Computer Society . Los premios se otorgan en años alternos en el Simposio ACM sobre Teoría de la Computación y en el Simposio IEEE sobre Fundamentos de la Informática , que se encuentran entre las conferencias más prestigiosas en informática teórica . El ganador del Premio Knuth pronuncia una conferencia en la conferencia. [1]
Por ejemplo, David S. Johnson "utilizó su conferencia del Premio Knuth para impulsar aplicaciones prácticas para los algoritmos". [2]
A diferencia del Premio Gödel , que reconoce trabajos 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, con la mención de cada premio citada (no siempre en su totalidad): [3]
^ ab In Memoriam: David S. Johnson, Asociación de Investigación en Computación
^ "Premio Knuth". ACM SIGACT. 23 de septiembre de 2021 . Consultado el 23 de septiembre de 2021 .
^ Panel de discusión de SMU sobre la creación del futuro a través de la informática con panelistas distinguidos del premio Turing, Universidad de Administración de Singapur
^ Valiant recibe el premio Turning 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". Eurek¡Alerta! . 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 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 ganadora del premio ACM por sus contribuciones a la confiabilidad de la computación distribuida, MIT Computer Science & Artificial Intelligence Lab, 4 de abril de 2007
^ El premio Knuth ACM SIGACT 2008 reconoce a Strassen por sus contribuciones al diseño de algoritmos eficientes, 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 ACM, Illinois Intelligencer, 9 de diciembre de 2016
^ Citación: Premio Knuth 2012 (PDF) , ACM, 15 de julio de 2012
^ ACM otorga el premio Knuth al creador de algoritmos y teoría de resolución de problemas, ACM, 4 de abril de 2013
^ "La ACM otorga el premio Knuth al pionero por los avances en algoritmos y teoría de la complejidad". Asociación para Maquinaria de Computación. 15 de septiembre de 2014. Archivado desde el original el 20 de septiembre de 2014.
^ Tylor, Phillip (2014). "ACM e IEEE eligen a Lipton para el prestigioso premio Knuth". Centro de Noticias . Tecnología de Georgia . 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 al pionero de la teoría algorítmica de juegos, ACM, 8 de septiembre de 2016
^ El premio Knuth 2017 se otorga a Oded Goldreich (PDF) , ACM, 13 de junio de 2017
^ El premio Knuth 2018 se otorga a Johan Håstad (PDF) , ACM, 6 de agosto de 2018
^ Sue Gee (7 de abril de 2019), Premio Knuth 2019 otorgado por sus contribuciones a la teoría de la complejidad
^ "Optimización, complejidad y matemáticas... usando gradiente" - 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 sus 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, archivado desde el original el 14 de diciembre de 2021
^ "El profesor de Harvard recibe el premio por sus contribuciones a la informática teórica". Cable HPC . 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 hecha en el cielo - 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". Heraldo-Voz judía . Consultado el 24 de abril de 2022 .
^ "Premio Knuth 2022 otorgado a Noga Alon" (PDF) . Grupo de interés especial de ACM en algoritmos y teoría de la computación . Consultado el 2 de julio de 2022 .
^ "Tardos honrado con el Premio Knuth 2023" . Consultado el 24 de junio de 2023 .