Aniversário |
26 de abril de 1938 Caracas |
---|---|
Nacionalidade | americano |
Casa | Pittsburgh |
Treinamento | Instituto de Tecnologia de Massachusetts |
Atividades | Cientista da computação , professor universitário |
Cônjuge | Lenore Blum |
Filho | Avrim Blum ( dentro ) |
Trabalhou para | Universidade da Califórnia em Berkeley , Carnegie-Mellon University |
---|---|
Campo | Ciência da Computação |
Membro de |
Academia Americana de Ciências Academia Americana de Artes e Ciências Academia Nacional de Engenharia dos Estados Unidos |
Supervisor | Marvin Minsky |
Local na rede Internet | (en) www.cs.cmu.edu/~mblum |
Prêmios |
Prêmio Turing (1995) Fellow do IACR (2012) |
Manuel Blum (nascido em Caracas em26 de abril de 1938) É um americano cientista da computação , professor de ciência da computação na Universidade Carnegie-Mellon .
Blum foi educado no MIT, onde fez doutorado em matemática sob a supervisão de Marvin Minsky até 1964.
Ele orientou várias teses, incluindo as de Leonard Adleman , Shafi Goldwasser , Silvio Micali , Gary L. Miller , Michael Sipser , Steven Rudich , Luis von Ahn , Umesh Vazirani e Vijay Vazirani e Moni Naor .
Ele é casado com Lenore Blum .
Muito do trabalho de Blum concentra-se na computabilidade e complexidade em uma estrutura mais geral e abstrata do que a estrutura usual das máquinas de Turing . Podemos citar em particular os axiomas de Blum (en) , que redefinem as noções de medidas de complexidade e classe de complexidade .
Blum também trabalhou em muitos outros assuntos, como criptografia (notavelmente com o criptosistema Blum-Goldwasser ), o gerador de números pseudoaleatórios Blum Blum Shub e algoritmos de seleção . Mais recentemente, em 2000 , ele co-inventou com Luis von Ahn , Nicholas Hopper e John Langford, a noção de CAPTCHA .
Ele recebeu o Prêmio Turing em 1995 em reconhecimento por suas contribuições aos fundamentos da teoria da complexidade computacional e suas aplicações para criptografia e verificação de programas .