Bloom, Manuel

Manuel Blum ( español :  Manuel Blum ; nacido el 26 de abril de 1938 , Caracas , Venezuela ) es un científico informático y profesor de informática en la Universidad Carnegie Mellon . Recibió el Premio Turing de 1995 por sus logros en la investigación de los fundamentos de la teoría de la complejidad computacional y su aplicación a la criptografía y la verificación de programas .

Biografía

Manuel Blum nació en Caracas de inmigrantes judíos recientes de Rumania ; su padre era relojero en Chernivtsi . [1] [2] Asistió al Instituto de Tecnología de Massachusetts , donde obtuvo una licenciatura y una maestría en ingeniería eléctrica y ciencias de la computación ( 1959 y 1961 ), y luego un doctorado en matemáticas en 1964 bajo la supervisión de Marvin Minski [3] . Hasta 1999, Blume trabajó como profesor asistente y profesor en la Universidad de California, Berkeley . Desde entonces, ha estado trabajando y enseñando en la Universidad Carnegie Mellon . Su esposa Lenore [4] y su hijo Avrim [5] [6] trabajan como profesores de informática en la misma universidad .

En la década de 1960, Blume desarrolló una teoría axiomática de la complejidad computacional independiente del modelo de máquina de ejecución, que se basa en la numeración de Gödel . Su autoría incluye conceptos como el esquema de compromiso , el algoritmo de selección , el algoritmo Bloom-Blum-Shuba , el criptosistema de clave pública Bloom-Goldwasser y el mecanismo de reconocimiento de bots CAPTCHA .

Bajo su dirección, muchos estudiantes recibieron títulos de doctorado y luego se convirtieron en científicos famosos en el campo de la informática. Entre ellos:

• leonard adleman
• Dana Angluin
• gary molinero
• Shafi Goldwasser
• russell impagliazzo

Premios

• 1977  - Premio a la Enseñanza Distinguida, UC Berkeley
• 1995  - Premio Turing "en homenaje a su trabajo sobre los fundamentos de la teoría de la complejidad computacional y su aplicación a la criptografía y verificación de programas " [7]
• 2007  - Premio de enseñanza Herbert A. Simon [8]

Notas

1. ↑ Amor en Caracas . Consultado el 22 de marzo de 2013. Archivado desde el original el 8 de julio de 2013. (indefinido)
2. ↑ Lenore Blum . Consultado el 22 de marzo de 2013. Archivado desde el original el 21 de octubre de 2012. (indefinido)
3. ↑ Página de M. Blume Archivado el 13 de octubre de 2006 en Wayback Machine en el sitio web de UC Berkeley  
4. ↑ Página de inicio de Lenore Blum . Consultado el 8 de febrero de 2009. Archivado desde el original el 18 de diciembre de 2008. (indefinido)
5. ↑ Página de inicio de Avrim Blum . Consultado el 8 de febrero de 2009. Archivado desde el original el 21 de marzo de 2009. (indefinido)
6. ↑ Papá, mamá se unen a su hijo para formar un potente equipo de informática en CMU . Consultado el 22 de marzo de 2013. Archivado desde el original el 8 de julio de 2013. (indefinido)
7. ↑ Mención de premio ACM / Manuel Blum  (enlace no disponible)
8. ↑ PREMIOS DE LA FACULTAD DE SCS . Consultado el 8 de febrero de 2009. Archivado desde el original el 9 de marzo de 2009. (indefinido)

Véase también

• axiomas de Bloom

Enlaces

• Página de M. Blume en el sitio web de la Universidad Carnegie Mellon  (inglés)
• Página de M. Blume en el sitio web de la Universidad de California en Berkeley  (inglés)

sitios temáticos	genealogía matemática Puerta de la investigación zbMATH Abierto
diccionarios y enciclopedias	Britannica (en línea)