Manuel Blum

Manuel Blum Imagem na Infobox. Manuel Blum e sua esposa, Lenore Blum Biografia
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 )
Outra informação
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 .

Biografia

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 .

Trabalho

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 .

Prêmios

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 .

Notas e referências

  1. (em) "  Manuel Blum  " no site Projeto Genealogia da Matemática
  2. Artigo original: Manuel Blum , “  Uma Teoria Independente de Máquina da Complexidade das Funções Recursivas,  ” Journal of the ACM , vol.  14, n o  21967, p.  322-336 ( DOI  10.1145 / 321386.321395 , ler online )
  3. Ver: Manuel Blum, Robert W. Floyd , Vaughan R. Pratt  (em) , Ronald L. Rivest e Robert Endre Tarjan , "  Time Bounds for Selection  ", J. Comput. Syst. Sci. , vol.  7, n o  4,1973, p.  448-461 ( DOI  10.1016 / S0022-0000 (73) 80033-9 , leia online )

Veja também

Artigos relacionados

links externos