Manuel Blum - Manuel Blum
Manuel Blum (nascido em 26 de abril de 1938) é um cientista da computação venezuelano-americano que recebeu o Prêmio Turing em 1995 "Em reconhecimento por suas contribuições aos fundamentos da teoria da complexidade computacional e sua aplicação à criptografia e verificação de programas".
Educação
Blum nasceu em uma família judia na Venezuela. Blum foi educado no MIT , onde recebeu seu diploma de bacharel e mestrado em engenharia elétrica em 1959 e 1961, respectivamente, e seu doutorado. em matemática em 1964, supervisionado por Marvin Minsky .
Carreira
Ele trabalhou como professor de ciência da computação na University of California, Berkeley até 2001. De 2001 a 2018, ele foi o professor Bruce Nelson de ciência da computação na Carnegie Mellon University , onde sua esposa, Lenore Blum , também era professora de computação Ciência.
Em 2002, ele foi eleito para a Academia Nacional de Ciências dos Estados Unidos . Em 2006, ele foi eleito membro da National Academy of Engineering por suas contribuições para a teoria da complexidade abstrata, inferência indutiva, protocolos criptográficos e a teoria e aplicações de verificadores de programas.
Em 2018, ele e sua esposa Lenore se demitiram da Carnegie Mellon University para protestar contra o sexismo depois que uma mudança na estrutura de gestão do Projeto Olympus levou ao tratamento sexista dela como diretora e à exclusão de outras mulheres das atividades do projeto.
Pesquisar
Nos anos 60, ele desenvolveu uma teoria da complexidade axiomática que era independente de modelos de máquinas concretas. A teoria é baseada nas numerações de Gödel e nos axiomas de Blum . Mesmo que a teoria não seja baseada em nenhum modelo de máquina, ela produz resultados concretos como o teorema da compressão , o teorema do gap , o teorema da honestidade e o teorema do speedup de Blum .
Alguns de seus outros trabalhos incluem um protocolo para jogar uma moeda no telefone , mediana de medianas (um algoritmo de seleção de tempo linear ), o gerador de números pseudo-aleatórios Blum Blum Shub , o criptosistema Blum-Goldwasser e, mais recentemente, CAPTCHAs .
Blum também é conhecido como conselheiro de muitos pesquisadores proeminentes. Entre seu Ph.D. os alunos são 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 e Ryan Williams .
Veja também
- Lista de venezuelanos
- Problema de isomorfismo de gráfico
- Prova não interativa de conhecimento zero
- Lançamento de moeda quântica
- Classificação de panqueca
Referências