Manuel Blum (nacido el 26 de abril de 1938) es un informático venezolano-estadounidense que recibió el Premio Turing en 1995 "En reconocimiento a sus contribuciones a los fundamentos de la teoría de la complejidad computacional y su aplicación a la criptografía y la verificación de programas". [2] [3] [4] [5] [6] [7] [8]
Manuel Blum | |
---|---|
Nació | |
alma mater | Instituto de Tecnología de Massachusetts |
Conocido por | Axiomas de complejidad de Blum Teorema de aceleración de Blum Blum Blum Shub Criptosistema Blum-Goldwasser |
Esposos) | Lenore Blum |
Premios | Premio AM Turing de ACM, Premio a la Enseñanza Distinguida de 1995 , UC Berkeley, Premio Monie A. Ferst de Sigma Xi 1977 , Premio a la Enseñanza Herbert A. Simon de 1991 , 2007 |
Carrera científica | |
Campos | Ciencias de la Computación |
Instituciones | Universidad de California, Universidad Carnegie Mellon de Berkeley |
Tesis | Una teoría independiente de la máquina de la complejidad de las funciones recursivas (1964) |
Asesor de doctorado | Marvin Minsky [1] |
Estudiantes de doctorado | Leonard Adleman Dana Angluin C. Eric Bach Shafi Goldwasser Mor Harchol-Balter Russell Impagliazzo Silvio Micali Gary Miller Moni Naor Ronitt Rubinfeld Steven Rudich Jeffrey Shallit Michael Sipser Umesh Vazirani Vijay Vazirani Luis von Ahn Ryan Williams [1] |
Sitio web | www |
Educación
Blum nació en una familia judía en Venezuela. [9] Blum se educó en el MIT , donde recibió su licenciatura y su maestría en ingeniería eléctrica en 1959 y 1961 respectivamente, y su Ph.D. en matemáticas en 1964 supervisado por Marvin Minsky . [1] [7]
Carrera profesional
Trabajó como profesor de ciencias de la computación en la Universidad de California, Berkeley hasta 2001. De 2001 a 2018, fue profesor de Ciencias de la Computación Bruce Nelson en la Universidad Carnegie Mellon , donde su esposa, Lenore Blum , [10] también fue profesor de Ciencias de la Computación.
En 2002, fue elegido miembro de la Academia Nacional de Ciencias de los Estados Unidos . En 2006, fue elegido miembro de la Academia Nacional de Ingeniería por sus contribuciones a la teoría de la complejidad abstracta, la inferencia inductiva, los protocolos criptográficos y la teoría y aplicaciones de los verificadores de programas.
En 2018, él y su esposa Lenore renunciaron a la Universidad Carnegie Mellon para protestar contra el sexismo después de que un cambio en la estructura de gestión del Proyecto Olimpo provocó un tratamiento sexista de ella como directora y la exclusión de otras mujeres de las actividades del proyecto. [11]
Investigar
En los años 60 desarrolló una teoría de la complejidad axiomática que era independiente de los modelos de máquinas concretas. La teoría se basa en las numeraciones de Gödel y los axiomas de Blum . Aunque la teoría no se basa en ningún modelo de máquina, arroja resultados concretos como el teorema de compresión , el teorema de la brecha , el teorema de honestidad y el teorema de aceleración de Blum .
Algunos de sus otros trabajos incluyen un protocolo para lanzar una moneda por teléfono , la mediana de las medianas (un algoritmo de selección de tiempo lineal ), el generador de números pseudoaleatorios Blum Blum Shub , el criptosistema Blum-Goldwasser y, más recientemente, CAPTCHA . [12]
Blum también es conocido como asesor de muchos investigadores destacados. Entre su Ph.D. los estudiantes son Leonard Adleman , Dana Angluin , Shafi Goldwasser , Mor Harchol-Balter , Russell Impagliazzo , Silvio Micali , Gary Miller , Moni Naor , Steven Rudich , Michael Sipser , Ronitt Rubinfeld , Umesh Vazirani , Vijay Vazirani , Luis von Ahn y Ryan Williams . [1]
Ver también
- Lista de venezolanos
Referencias
- ^ a b c d Manuel Blum en el Proyecto de genealogía de las matemáticas .
- ^ Cita del premio ACM Turing, consultado el 24 de enero de 2010 .
- ^ Manuel Blum en elservidor de bibliografía DBLP
- ^ Lista de publicaciones de Microsoft Academic
- ^ Blum, Manuel ; Micali, Silvio (1984). "Cómo generar secuencias criptográficamente fuertes de bits pseudoaleatorios" (PDF) . Revista SIAM de Computación . 13 (4): 850. doi : 10.1137 / 0213053 . S2CID 7008910 .
- ^ Blum, M .; Floyd, RW ; Pratt, VR ; Rivest, RL ; Tarjan, RE (agosto de 1973). "Plazos de selección" (PDF) . Revista de Ciencias de la Computación y Sistemas . 7 (4): 448–461. doi : 10.1016 / S0022-0000 (73) 80033-9 .
- ^ a b Blum, Manuel (1967). "Una teoría independiente de la máquina de la complejidad de las funciones recursivas" (PDF) . Revista de la ACM . 14 (2): 322–336. doi : 10.1145 / 321386.321395 . S2CID 15710280 .
- ^ Blum, L .; Blum, M .; Shub, M. (1986). "Un simple generador de números pseudoaleatorios impredecibles". Revista SIAM de Computación . 15 (2): 364. doi : 10.1137 / 0215025 .
- ^ "Biografía de Lenore Blum" . www-groups.dcs.st-and.ac.uk . Consultado el 16 de febrero de 2019 .
- ^ Blum, L .; Blum, M. (1975). "Hacia una teoría matemática de la inferencia inductiva" . Información y control . 28 (2): 125. doi : 10.1016 / S0019-9958 (75) 90261-2 .
- ^ "Lenore Blum conmocionó a la comunidad con su repentina renuncia a CMU. Aquí nos cuenta por qué" . El 6 de septiembre de 2018.
- ^ Von Ahn, Luis; Blum, Manuel; Hopper, Nicholas J .; Langford, John (mayo de 2003). " CAPTCHA: Uso de problemas duros de IA para la seguridad ". Actas de la Conferencia Internacional sobre Teoría y Aplicaciones de Técnicas Criptográficas (EUROCRYPT 2003).