El Premio Turing de la ACM de 1995 fue otorgado a Manuel Blum en reconocimiento a sus contribuciones fundamentales al campo de la teoría de la complejidad computacional y sus aplicaciones dentro de la criptografía y la verificación de programas. Nacido en Caracas en 1938, este informático venezolano-estadounidense ha pasado décadas avanzando en los límites teóricos de los modelos de máquinas y la eficiencia algorítmica.
Fundamentos académicos
Blum cursó sus estudios superiores en el Instituto Tecnológico de Massachusetts. Completó su licenciatura y maestría en ingeniería eléctrica en 1959 y 1961, respectivamente. Durante su tiempo en el instituto, colaboró en problemas matemáticos de redes neuronales bajo la guía de Warren S. McCulloch. En 1964, obtuvo un doctorado en matemáticas, con su investigación doctoral supervisada por Marvin Minsky.
Contribuciones a la teoría de la complejidad
Durante la década de 1960, Blum fue pionero en una teoría de la complejidad axiomática que funcionaba independientemente de modelos de máquinas específicos. Utilizando numeraciones de Gödel y los axiomas de Blum, su investigación produjo resultados significativos, incluyendo el teorema de compresión, el teorema de brecha, el teorema de honestidad y el teorema de aceleración. Más allá de estos fundamentos axiomáticos, su trabajo incluye la creación del algoritmo de la mediana de medianas, el generador de números pseudoaleatorios Blum Blum Shub y el criptosistema Blum-Goldwasser. También se le atribuye el desarrollo de protocolos como el lanzamiento de moneda por teléfono y el CAPTCHA moderno.
Carrera y afiliaciones profesionales
Blum ocupó un puesto de larga duración como profesor de informática en la Universidad de California, Berkeley, donde permaneció hasta 2001. Ese año, aceptó el puesto de Profesor Bruce Nelson de Informática en la Universidad Carnegie Mellon. En 2018, él y su esposa, Lenore Blum, renunciaron a sus cargos en la Universidad Carnegie Mellon tras disputas sobre las estructuras de gestión y el trato al personal dentro del Proyecto Olympus. A lo largo de su carrera, ha sido mentor de numerosos investigadores, incluidos Leonard Adleman, Shafi Goldwasser, Silvio Micali y Luis von Ahn.
Veinte preguntas, ocho minutos de reloj y un percentil medido frente a todos los que la han hecho. Sin registro.
Hacer la prueba de CI →Reconocimiento institucional
Blum ha sido elegido para múltiples organismos académicos de alto nivel, incluida la Academia Nacional de Ciencias en 2002 y la Academia Nacional de Ingeniería en 2006 por sus contribuciones a la complejidad abstracta y los protocolos criptográficos. Sus membresías profesionales incluyen la Academia Estadounidense de las Artes y las Ciencias y la Asociación de Maquinaria Computacional. Es miembro de la Asociación Estadounidense para el Avance de la Ciencia, la IACR y la ACM.
Datos rápidos
- Nacimiento: 1938, Caracas, Venezuela - Educación: Instituto Tecnológico de Massachusetts - Premio Turing: 1995 - Empleadores: Universidad de California, Berkeley; Universidad Carnegie Mellon - Ciudadanía: Estados Unidos; Venezuela - Campos de trabajo: Informática - Contribución principal: Generador Blum Blum Shub - Membresías profesionales: IACR (2012), ACM (2020), AAAS (1983)
Preguntas frecuentes
### ¿Cuál es el campo principal de investigación de Manuel Blum?
Se especializa en informática, centrándose específicamente en la teoría de la complejidad computacional, la criptografía y la verificación de programas.
### ¿Qué universidades emplearon a Manuel Blum?
Se desempeñó como profesor en la Universidad de California, Berkeley, y más tarde como Profesor Bruce Nelson de Informática en la Universidad Carnegie Mellon.
