El Premio Turing de la ACM de 1995 fue entregado 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 científico de la computación venezolano-estadounidense ha pasado décadas ampliando los límites teóricos de los modelos de máquinas y la eficiencia algorítmica.
Formación académica
Blum cursó sus estudios superiores en el Instituto Tecnológico de Massachusetts. Completó su licenciatura y su maestría en ingeniería eléctrica en 1959 y 1961, respectivamente. Durante su estancia en el instituto, colaboró en problemas matemáticos de redes neuronales bajo la tutela de Warren S. McCulloch. En 1964, obtuvo un doctorado en matemáticas, con una 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 de manera independiente de los modelos específicos de máquinas. Utilizando numeraciones de Gödel y los axiomas de Blum, su investigación produjo resultados significativos, entre ellos el teorema de compresión, el teorema de la brecha, el teorema de honestidad y el teorema de aceleración. Más allá de estos cimientos axiomáticos, su trabajo incluye la creación del algoritmo de la mediana de las medianas, el generador de números pseudoaleatorios Blum Blum Shub y el criptosistema de 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ó durante mucho tiempo un puesto como profesor de ciencias de la computación en la Universidad de California en Berkeley, donde permaneció hasta 2001. Ese año, aceptó el puesto de profesor de ciencias de la computación Bruce Nelson en la Universidad Carnegie Mellon. En 2018, él y su esposa, Lenore Blum, renunciaron a sus cargos en la Universidad Carnegie Mellon tras disputas relativas a las estructuras de gestión y al trato del personal dentro del Proyecto Olympus. A lo largo de su carrera, ha tutelado a numerosos investigadores, entre ellos 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 miembro de múltiples organismos académicos de alto nivel, entre ellos 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 para 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 en Berkeley; Universidad Carnegie Mellon - Nacionalidad: Estados Unidos; Venezuela - Campos de trabajo: Ciencias de la computación - Contribución principal: Generador Blum Blum Shub - Becas profesionales: IACR (2012), ACM (2020), AAAS (1983)
Preguntas frecuentes
### ¿Cuál es el principal campo de investigación de Manuel Blum?
Se especializa en ciencias de la computación, 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?
Trabajó como profesor en la Universidad de California en Berkeley y, más tarde, como profesor de ciencias de la computación Bruce Nelson en la Universidad Carnegie Mellon.
