El premio Paris Kanellakis Theory and Practice Award es otorgado anualmente por la Association for Computing Machinery (ACM) para honrar "logros teóricos específicos que han tenido un efecto significativo y demostrable en la práctica de la computación". [1] Fue instituido en 1996, en memoria de Paris C. Kanellakis , un científico informático que murió con su familia inmediata en un accidente aéreo en América del Sur en 1995 ( vuelo 965 de American Airlines ). [2] El premio va acompañado de un premio de $ 10,000 y está dotado de contribuciones de los padres de Kanellakis, con apoyo financiero adicional proporcionado por cuatro Grupos de Interés Especial de ACM ( SIGACT ,SIGDA , SIGMOD y SIGPLAN ), el Fondo de Proyectos ACM SIG, [3] y contribuciones individuales. [1]
Ganadores
Año | Ganadores | Citación |
---|---|---|
1996 | Leonard Adleman , Whitfield Diffie , Martin Hellman , Ralph Merkle , Ronald Rivest y Adi Shamir | Por "la concepción y primera realización efectiva de la criptografía de clave pública ". [4] |
1997 | Abraham Lempel y Jacob Ziv | Por su trabajo pionero en la compresión de datos , lo que llevó a su algoritmo LZ que "produce la mejor tasa de compresión que pueden alcanzar los codificadores de estado finito" y "se puede encontrar en prácticamente todas las computadoras modernas". [5] |
1998 | Randal Bryant , Edmund M. Clarke , E. Allen Emerson y Kenneth L. McMillan | Por "su invención de la ' verificación de modelos simbólicos ', un método de verificación formal de diseños de sistemas ampliamente utilizado en la industria del hardware informático". [6] |
1999 | Daniel Sleator y Robert Tarjan | Por "invención de la estructura de datos de árbol de distribución ampliamente utilizada ". [7] |
2000 | Narendra Karmarkar | Por "su trabajo teórico en el diseño de un método de punto interior para la programación lineal que probablemente se ejecuta en tiempo polinomial , y por su trabajo de implementación que sugiere que los métodos de Punto Interior podrían ser efectivos para la programación lineal en la práctica así como en la teoría". [8] |
2001 | Eugene Myers | Por "su contribución a la secuenciación del genoma humano, el contenido completo de ADN de una célula humana y la codificación de todos sus genes , los componentes básicos de la vida". [9] |
2002 | Peter Franaszek | Por "sus contribuciones fundamentales y sostenidas a la teoría y aplicación de la codificación de canales restringidos ". [10] |
2003 | Gary Miller , Michael Rabin , Robert Solovay y Volker Strassen | Por "sus contribuciones a la realización de los usos prácticos de la criptografía y por demostrar el poder de los algoritmos que toman decisiones aleatorias", a través de un trabajo que "condujo a dos pruebas probabilísticas de primalidad , conocidas como la prueba Solovay-Strassen y la prueba Miller-Rabin ". [11] |
2004 | Yoav Freund y Robert Schapire | Por su "trabajo fundamental y destacadas contribuciones [...] al desarrollo de la teoría y la práctica del impulso , un método general y demostrablemente eficaz de producir reglas de predicción arbitrariamente precisas mediante la combinación de reglas de aprendizaje débiles"; en concreto, para AdaBoost , su algoritmo de aprendizaje automático , que "puede utilizarse para reducir significativamente el error de los algoritmos utilizados en análisis estadístico , filtrado de spam , detección de fraude , reconocimiento óptico de caracteres y segmentación de mercado , entre otras aplicaciones". [12] |
2005 | Gerard Holzmann , Robert Kurshan , Moshe Vardi y Pierre Wolper | Por "su contribución a las técnicas que proporcionan poderosas herramientas de verificación formal para sistemas de hardware y software". [13] |
2006 | Robert Brayton | Por "sus innovadoras contribuciones a la síntesis lógica y la simulación de sistemas electrónicos , que han hecho posible tecnologías de diseño de circuitos rápidos para la industria de la automatización del diseño electrónico ". [14] |
2007 | Bruno Buchberger | Por "su papel en el desarrollo de la teoría de las bases de Groebner , que se ha convertido en un bloque de construcción crucial para el álgebra computacional , y es ampliamente utilizado en ciencia, ingeniería e informática". [15] |
2008 | Corinna Cortes y Vladimir Vapnik | Por "su desarrollo revolucionario de un algoritmo altamente eficaz conocido como máquinas de vectores de soporte (SVM), un conjunto de métodos de aprendizaje supervisado relacionados que se utilizan para la clasificación y regresión de datos ", que es "uno de los algoritmos más utilizados en el aprendizaje automático , y es utilizado en diagnóstico médico , pronóstico del tiempo y detección de intrusos, entre muchas otras aplicaciones prácticas ". [dieciséis] |
2009 | Mihir Bellare y Phillip Rogaway | Por "su desarrollo de seguridad demostrable orientada a la práctica , que ha dado como resultado una criptografía rentable y de alta calidad , un componente clave para la seguridad de Internet en una era de crecimiento explosivo en las transacciones en línea". [17] |
2010 | Kurt Mehlhorn | Por las "contribuciones a la ingeniería de algoritmos que llevaron a la creación de la Biblioteca de tipos de datos y algoritmos eficientes (LEDA)", una colección de software de estructuras de datos y algoritmos que "se ha incorporado en los programas de investigación aplicada de miles de empresas de telecomunicaciones en todo el mundo , bioinformática , diseño asistido por computadora (CAD) y sistemas de información geográfica (GIS), banca, productos ópticos y transporte ". [18] |
2011 | Hanan Samet | Por "su investigación pionera sobre cuadrboles y otras estructuras de datos espaciales multidimensionales para clasificar información espacial, así como sus libros bien recibidos, que han influido profundamente en la teoría y aplicación de estas estructuras". [19] |
2012 | Andrei Broder , Moses S Charikar y Piotr Indyk | Por "su trabajo pionero en hash sensible a la localidad que ha tenido un gran impacto en muchos campos de la informática, incluida la visión por computadora , bases de datos, recuperación de información , aprendizaje automático y procesamiento de señales ". [20] |
2013 | Robert D. Blumofe y Charles E. Leiserson | Por "contribuciones a la computación paralela eficiente y robusta a través de protocolos de programación aleatoria demostrablemente eficientes y un conjunto de primitivas de lenguaje paralelo que constituyen el marco Cilk". [21] Desarrollaron algoritmos de programación de robo de trabajo aleatorios demostrablemente eficientes , y Cilk, un pequeño conjunto de primitivas lingüísticas para programar cálculos multiproceso. [21] |
2014 | James Demmel | Por "contribuciones a algoritmos y software para álgebra lineal numérica utilizados en computación científica y análisis de datos a gran escala". [22] |
2015 | Michael Luby | Por "contribuciones innovadoras para borrar códigos de corrección , que son esenciales para mejorar la calidad de la transmisión de video a través de Internet". [23] |
2016 | Amos Fiat y Moni Naor | Para "el desarrollo de sistemas de rastreo de traidores y encriptación de radiodifusión ". [24] [25] |
2017 | Scott Shenker | Por "contribuciones pioneras a las colas justas en redes de conmutación de paquetes , que tuvieron un gran impacto en la práctica moderna de la comunicación informática". [26] |
2018 | Pavel A. Pevzner | 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 ". [27] |
2019 | Noga Alon , Phillip Gibbons , Yossi Matias y Mario Szegedy | Por "trabajo fundamental sobre los fundamentos de los algoritmos de transmisión y su aplicación al análisis de datos a gran escala". [28] |
2020 | Yossi Azar , Andrei Broder , Anna Karlin , Michael Mitzenmacher y Eli Upfal | Para "el descubrimiento y análisis de asignaciones equilibradas, conocido como el poder de dos opciones, y sus amplias aplicaciones para la práctica". [29] |
Ver también
- Lista de premios de informática
Notas
- ^ a b "Premio de teoría y práctica de París Kanellakis" . ACM . Archivado desde el original el 17 de marzo de 2013 . Consultado el 12 de diciembre de 2012 .
- ^ "Premio ACM Paris Kanellakis" (PDF) . Conducto . Departamento de Brown CS 5 (1): 4. 1996.
- ^ "ACM SIGs: SIG Project Fund (SPF)" . ACM . Consultado el 12 de diciembre de 2012 .
- ^ "El primer premio Paris Kanellakis Theory and Practice Award es para los fundadores de la criptografía de clave pública" (Comunicado de prensa). ACM . 12 de febrero de 1997. Archivado desde el original el 11 de febrero de 2012 . Consultado el 12 de diciembre de 2012 .
- ^ "El premio ACM Paris Kanellakis de teoría y práctica es para los pioneros en la compresión de datos" (Comunicado de prensa). ACM . 26 de marzo de 1998. Archivado desde el original el 11 de febrero de 2012 . Consultado el 12 de diciembre de 2012 .
- ^ "ACM otorga el premio Kanellakis por el desarrollo de 'verificación de modelos simbólicos', que se utiliza para probar diseños de sistemas informáticos" (Comunicado de prensa). ACM . 26 de marzo de 1999. Archivado desde el original el 5 de junio de 2011 . Consultado el 12 de diciembre de 2012 .
- ^ "Premio ACM Paris Kanellakis de Teoría y Práctica 1999" . ACM . Consultado el 22 de noviembre de 2017 .
- ^ "Punto interior" (Nota de prensa). ACM . 2000. Archivado desde el original el 2 de abril de 2012 . Consultado el 12 de diciembre de 2012 .
- ^ "ACM honra al desarrollador de software clave para secuenciar el genoma humano" (Comunicado de prensa). ACM . 22 de enero de 2002. Archivado desde el original el 11 de febrero de 2012 . Consultado el 12 de diciembre de 2012 .
- ^ "ACM honra a Peter Franaszek por sus contribuciones a la codificación de datos" (Comunicado de prensa). ACM . 21 de mayo de 2003. Archivado desde el original el 11 de febrero de 2012 . Consultado el 12 de diciembre de 2012 .
- ^ "ACM honra a los creadores de métodos para mejorar la criptografía" (Comunicado de prensa). ACM . 24 de mayo de 2004. Archivado desde el original el 11 de febrero de 2012 . Consultado el 12 de diciembre de 2012 .
- ^ "Premio ACM Paris Kanellakis de Teoría y Práctica 2004" . ACM . Consultado el 22 de noviembre de 2017 .
- ^ "ACM honra a los creadores de herramientas de verificación para software, hardware" (Comunicado de prensa). ACM . 15 de marzo de 2006 . Consultado el 12 de diciembre de 2012 .
- ^ "ACM honra al pionero en tecnologías de automatización del diseño electrónico" (Comunicado de prensa). ACM . 29 de marzo de 2007. Archivado desde el original el 2 de diciembre de 2012 . Consultado el 12 de diciembre de 2012 .
- ^ "El premio ACM Kanellakis honra al innovador de herramientas automatizadas para matemáticas" (Comunicado de prensa). ACM . 13 de mayo de 2008. Archivado desde el original el 2 de mayo de 2013 . Consultado el 12 de diciembre de 2012 .
- ^ "Los premios ACM reconocen a los innovadores en informática" (Comunicado de prensa). ACM . 17 de marzo de 2009. Archivado desde el original el 2 de mayo de 2013 . Consultado el 12 de diciembre de 2012 .
- ^ "Los premios ACM reconocen a los informáticos por las innovaciones que tienen un impacto en el mundo real" (Comunicado de prensa). ACM . 30 de marzo de 2010. Archivado desde el original el 2 de diciembre de 2012 . Consultado el 12 de diciembre de 2012 .
- ^ "ACM honra a los innovadores en computación por los avances en investigación, comercio y educación" (Comunicado de prensa). ACM . 6 de abril de 2011. Archivado desde el original el 2 de mayo de 2013 . Consultado el 12 de diciembre de 2012 .
- ^ "ACM honra a los innovadores en computación por los avances en investigación, educación e industria" (Comunicado de prensa). ACM . 26 de abril de 2012. Archivado desde el original el 2 de mayo de 2013 . Consultado el 12 de diciembre de 2012 .
- ^ "Premio ACM Paris Kanellakis de Teoría y Práctica 2012" . ACM . Archivado desde el original el 17 de marzo de 2013 . Consultado el 5 de mayo de 2013 .
- ^ a b "Premio ACM Paris Kanellakis de Teoría y Práctica 2013" . ACM . Consultado el 22 de noviembre de 2017 .
- ^ "Premio ACM Paris Kanellakis de Teoría y Práctica 2014" . ACM . Consultado el 17 de julio de 2015 .
- ^ "Premio ACM Paris Kanellakis de Teoría y Práctica 2015" . ACM . Consultado el 29 de abril de 2016 .
- ^ "Premio ACM Paris Kanellakis Teoría y Práctica 2016" . ACM . Consultado el 22 de noviembre de 2017 .
- ^ "ACM honra a investigadores eminentes por innovaciones técnicas: los beneficiarios de 2016 hicieron contribuciones en áreas que incluyen análisis de macrodatos, visión por computadora y cifrado" . ACM . Consultado el 22 de noviembre de 2017 .
- ^ "Premio ACM Paris Kanellakis de teoría y práctica: Scott J Shenker" . Consultado el 16 de mayo de 2019 .
- ^ "Premio ACM Paris Kanellakis de Teoría y Práctica: Pavel Pevzner" . Consultado el 16 de mayo de 2019 .
- ^ https://awards.acm.org/kanellakis
- ^ https://awards.acm.org/kanellakis
Referencias
enlaces externos
- Premio Paris Kanellakis de teoría y práctica en el sitio web de ACM .
- El Comité del Premio de Teoría y Práctica Paris Kanellakis en el sitio web de ACM .