jueves, 24 de noviembre de 2016

PREMIOS TURING… El premio Nobel de la informática

Grandes galardones existen a nivel de los premios Nobel pero, ¿Cuál es el premio a personalidades como Steve Jobs, Bill Gates, Mark Zuckerberg? Estas personalidades que dieron grandes aportes al mundo de la informática y el desarrollo tecnológico.

Está claro que es importante su reconocimiento y valor de aporte, los cuales, son realizados en Los Premios Turing o también conocido como “Premio de Nobel de las Ciencias de la Computación” los cuales son entregados por la ACM (Association for Computing Machinery).

Estos premios son realizados desde el año 1966 en Nueva York, usando el nombre de Turing siendo este un matemático considerado como pionero de las ciencias de la computación al crear la máquina de Turing que ayudo a vencer a la máquina Enigma, tema interesante que hablare en otro blog.



A continuación muestro un listado de las personalidades galardonadas con este premio y sus aportes, espero con esto lograr mostrar a grandes personajes que aun para muchos son unos totales desconocidos.

Nombres
Motivo
Por su influencia en las áreas de técnicas de programaciónavanzadas y construcción de compiladores.
Por el diseño y construcción de EDSAC, la primera computadora de programa almacenado en memoria interna.
Por su trabajo en métodos numéricos, sistemas de codificación automáticos, y por el desarrollo de códigos de detección y corrección de errores.
Por sus aportes en inteligencia artificial.
Por sus investigaciones en análisis numérico para facilitar el uso de computadores digitales de alta velocidad.
Por sus aportes al campo de inteligencia artificial.
Por sus contribuciones a la “ciencia y arte” de los lenguajes de programación.
Por sus aportes a la tecnología de bases de datos.
Por sus contribuciones a análisis de algoritmos y el diseño de lenguajes de programación.
Por sus aportes en inteligencia artificial, la psicología de la percepción humana y procesamiento de listas.
Por su trabajo en autómatas finitos, introduciendo la idea de máquinas no deterministas.
Por sus contribuciones al diseño de sistemas de programación de alto nivel y por la publicación de procedimientos formales para la especificación de lenguajes de programación.
Por su influencia en metodologías para la creación de software eficiente y fiable, y por sus aportes en los siguientes campos: teoría de análisis sintáctico, semántica en lenguajes de programación, verificación automática de programas, síntesis automática de programas y análisis de algoritmos.
Por sus pioneros esfuerzos en lenguajes de programación y notación matemática, dando como resultado APL.
Por sus importantes contribuciones a la definición y diseño de lenguajes de programación.
Por sus continuas e importantes aportes a la teoría y práctica de los sistemas de gestión de bases de datos, ideando el enfoque relacional de la gestión de bases de datos.
Por sus aportes en el campo de la complejidad computacional. Ideó los fundamentos de la teoría de NP-completitud.
Por sus contribuciones al desarrollo de sistemas operativos en general y la creación de Unix en particular.
Por el desarrollo de una serie de innovadores lenguajes de programación como EULERALGOL-WMODULA y PASCAL.
Por sus contribuciones a la teoría de algoritmos, la identificación de problemas computables en tiempo polinomial y a la teoría de NP-completitud.
Por sus logros en el análisis y diseño de algoritmos y estructuras de datos.
Por su aporte a la teoría de compiladores, arquitectura de grandes sistemas y el desarrollo de juego de instrucciones reducido RISC.
Por sus aportes a la computación gráfica.
Por sus contribuciones al análisis numérico, particularmente en computación en coma flotante.
Por su trabajo liderando el desarrollo de CTSS y Multics.
Por tres logros:
  • Desarrollo del sistema LCF, probablemente la primera herramienta de demostración automática de teoremas.
  • Desarrollo del lenguaje ML, metalenguaje para escribir estrategias y tácticas en LCF. Primer lenguaje en poseer un sistema polimórfico de tipos con inferencia automatizada y manejo de excepciones seguro desde el punto de vista de tipos.
  • Desarrollo de un marco teórico para el análisis de sistemas concurrentes, el cálculo de sistemas comunicantes (CCS) y su sucesor, el pi-cálculo.
Por sus contribuciones al desarrollo de entornos distribuidos y la tecnología para su implementación: estaciones de trabajo, redes, sistemas operativos, sistemas de programación, monitores, publicación de documentos y seguridad.
Por establecer los fundamentos del campo de la teoría de complejidad computacional.
Por el diseño y construcción de grandes sistemas de inteligencia artificial.
En reconocimiento por sus aportes a los fundamentos de la teoría de complejidad computacional y su aplicabilidad a la criptografía.
Por su trabajo introduciendo la lógica temporal en informática y por sus importantes aportes a la verificación de programas y sistemas.
Por su trabajo en computación interactiva.
Por sus contribuciones en bases de datos, investigación en el procesamiento de transacciones e implementación de sistemas.
Por sus contribuciones a arquitectura de computadores, sistemas operativos e ingeniería del software.
En reconocimiento de sus importantes aportes a la teoría de la computación, criptografía.
Por su trabajo en los lenguajes de programación Simula I y Simula 67, que permitieron la aparición de la programación orientada a objetos.
Importantes aportes a la criptografía, en particular el algoritmo RSA.
Pionero de la programación orientada a objetos y padre del lenguaje Smalltalk.
Por el protocolo TCP/IP.
Por sus contribuciones fundamentales en el desarrollo y definición del ALGOL 60, su diseño del compilador y el arte en la práctica de la programación.
Por sus contribuciones que mejoraron fundamentalmente el rendimiento de los programas de computador y aceleraron el uso de sistemas de computación de alto rendimiento.
Por su trabajo pionero en un método automatizado (llamado “model checking” en inglés) para encontrar errores de diseño en software y hardware.
Por su contribución a los fundamentos teóricos y prácticos en el diseño de lenguajes de programación y sistemas, especialmente relacionados con la abstracción de datos, tolerancia a fallos y computación distribuida.
Por su contribución al desarrollo de Alto, el primer ordenador personal, así como de Ethernet y el Tablet PC.
Por sus transformadoras contribuciones a la teoría de la computación, incluyendo la teoría del aprendizaje probable, aproximadamente correcto, la complejidad de la enumeración y de la computación algebraica, y teorías de la computación paralela y distribuida.

En esta lista falta incluir los últimos años con personalidades como  Judea Pearl, Silvio Micali, Shafi Goldwasser, Leslie Lamport además del último ganador el cual tiene mención en CRIPTOGRAFÍA MODERNA, tema de vital importancia dentro del mundo de la seguridad informática.

Y los ganadores del Premio Turing de este año son Whitfield Diffie y Martin E. Hellman. Los cuales son ex jefe de seguridad en Sun Microsystems Whitfield Diffie y el profesor de la Universidad de Stanford Martin E. Hellman 2015. El premio otorgado es además el monto de $ 1 millón de dólares. Este aporte está enfocado al comercio web.

"Hoy en día, el tema de cifrado domina los medios de comunicación, es visto como un asunto de seguridad nacional, afecta a las relaciones gobierno-sector privado, y atrae a miles de millones de dólares en investigación y desarrollo", dijo el presidente de la ACM Alexander Wolf.

"Naturalmente estoy emocionado por esta por este premio, pero emocionados para la criptografía," dijo Diffie. "Es la tercera vez que el premio Turing se ha dado a los criptógrafos. El hecho de que es tan importante en el campo es increíble."

Diffie y Hellman son leyendas vivas puesto que actualmente se tiene grandes avances en la criptografía gracias a ellos con ayuda de la aritmética modular y es justo que el mundo los reconozca y agradezca.

Grandes desarrollos tecnológicos siguen sobreabordando nuestro mundo, pero ¿Estamos al tanto de estos avances? y sobre todo ¿Estamos listos para el futuro?...

No hay comentarios:

Publicar un comentario

Entradas populares