Año
|
Laureado
|
Justificación del premio
|
1996
|
Leonard Max Adleman , Whitfield Diffie , Martin Hellman , Ralph Charles Merkle , Ronald Lynn Rivest y Shamir, Adie [4]
|
"por el concepto y la primera implementación eficiente de criptosistemas de clave pública ".
|
1997
|
Abraham Lempel y Jakob Ziv [5]
|
"por construir los algoritmos de compresión sin pérdidas LZ77 más eficientes para sistemas de codificación finitos ".
|
1998
|
Randal Bryant ( ing. Randal Bryant ), Edmund Clarke , Ernest Allen Emerson y Kenneth Macmillan [6]
|
"para un método de verificación automática del sistema formal , ampliamente utilizado en la fabricación de computadoras".
|
1999
|
Daniel Slitor , Robert Tarjan [7]
|
"para la estructura de árbol en expansión , una de las estructuras de datos más utilizadas inventadas en los últimos 20 años".
|
2000
|
Narendra Karmarkar [8]
|
"por desarrollar el método del punto interior para programación lineal , que tiene complejidad polinomial ; y también por la implementación de este método, mostrando su efectividad práctica.
|
2001
|
Eugenio Myers [9]
|
"por su contribución al desciframiento del genoma humano , la composición completa de los genes del ADN ".
|
2002
|
Petr Franaszek ( ing. Peter Franaszek ) [10]
|
"por contribuciones fundamentales a la teoría y práctica de codificar secuencias de 8 bits en secuencias de 10 bits".
|
2003
|
Gary Miller , Michael Osher Rabin , Robert Nightingale y Volker Strassen [11]
|
"por sus contribuciones a la implementación práctica de la criptografía y la demostración de las posibilidades de los algoritmos de prueba de primalidad probabilística - Solovay - Strassen y Miller - Rabin ".
|
2004
|
Yoav Freund y Robert Shapire [ 12 ]_ _ _
|
"por desarrollar e implementar el algoritmo de aprendizaje automático AdaBoost , que reduce significativamente el error de reconocimiento en el análisis de datos , el filtrado de correo electrónico , el reconocimiento óptico de caracteres y otras aplicaciones".
|
2005
|
Gerard Holzmann , Robert Kurshan , Moshe Vardy y Pierre Wolpe [ 13 ] _ _ _ _
|
"Por su contribución a la verificación formal de software y hardware de computadoras".
|
2006
|
Robert Brayton ( alemán: Robert Brayton ) [14]
|
"por sus contribuciones innovadoras a la síntesis lógica de sistemas electrónicos , que ha acelerado el diseño en la industria
EDA ". |
2007
|
Bruno Buchberger [15]
|
"para el algoritmo de construcción de la base de Gröbner , que juega un papel clave en el álgebra informática y se usa ampliamente en ciencia e ingeniería".
|
2008
|
Corinna Cortes ( ing. Corinna Cortes ) y Vladimir Vapnik [16]
|
"por desarrollar un algoritmo de reconocimiento altamente eficiente con máquinas de vectores de soporte , un conjunto integrado de métodos de aprendizaje supervisados por pares para un problema de clasificación y regresión , que es la técnica de aprendizaje automático más utilizada y se ha aplicado ampliamente en la práctica".
|
2009
|
Mihir Bellare y Phillip Rogaway [ 17 ]_ _ _
|
"para el desarrollo de sistemas de seguridad comprobable , criptografía de alta calidad y bajo costo , un componente clave de la seguridad en Internet".
|
2010
|
Kurt Mehlhorn [ 18 ] _
|
"por contribuciones fundamentales al desarrollo de los algoritmos que formaron la base de la biblioteca LEDA ".
|
2011
|
Hanan Samet [ 19 ] _
|
"por su investigación sobre los problemas de clasificación de un quadtree y otras estructuras espaciales multidimensionales de estructuras de datos "
. |
2012
|
Andrei Broder , Moses Charikar , Piotr Indyk _ _ _ __ _ _
|
"por su innovador trabajo sobre hashing localmente sensible , que ha tenido un gran impacto en muchos campos".
|
2013
|
Robert Blumofe ( alemán: Robert D. Blumofe ), Charles Eric Leizerson
|
"por sus contribuciones a la computación paralela y distribuida, incluido el algoritmo de programación de tareas y Cilk ".
|
2014
|
James Demmel _ _ _
|
"por su trabajo en librerías de álgebra lineal, incluyendo LAPACK ".
|
2015
|
Michael Luby _ _ _
|
"por contribuciones a códigos de corrección de errores".
|
2016
|
Amos Fiat , Moni Naor
|
Texto original (inglés)[ mostrarocultar]
"Por contribuciones innovadoras para el cifrado de transmisiones y el seguimiento de la piratería, sentando las bases para la protección moderna de los derechos de autor de los discos blue-ray y otros medios de transmisión".
|
2017
|
scott
|
Texto original (inglés)[ mostrarocultar]
"Por las contribuciones pioneras a las colas justas en las redes de conmutación de paquetes, que tuvieron un gran impacto en la práctica moderna de la comunicación informática".
|
2018
|
pavel pevzner
|
Texto original (inglés)[ mostrarocultar]
"Por contribuciones pioneras a la teoría, el diseño y la implementación de algoritmos para la reconstrucción de cadenas y sus aplicaciones en el ensamblaje de genomas".
|
2019
|
Noga Alon , Phillip Gibbons , Yossi Matias , Mario Szegedy
|
|
2020
|
Yossi Azar , Andrei Broder , Anna Karlin , Michael Mitzenmacher , Eli Upfal
|
|