O Prêmio Turing da ACM de 1995 foi concedido a Manuel Blum em reconhecimento às suas contribuições fundamentais para o campo da teoria da complexidade computacional e suas aplicações na criptografia e na verificação de programas. Nascido em Caracas em 1938, este cientista da computação venezuelano-americano passou décadas avançando nos limites teóricos dos modelos de máquinas e da eficiência algorítmica.
Fundação Acadêmica
Blum cursou o ensino superior no Instituto de Tecnologia de Massachusetts. Concluiu seu bacharelado e mestrado em engenharia elétrica em 1959 e 1961, respectivamente. Durante seu período no instituto, colaborou em problemas matemáticos de redes neurais sob a orientação de Warren S. McCulloch. Em 1964, obteve o doutorado em matemática, com sua pesquisa de doutorado supervisionada por Marvin Minsky.
Contribuições para a Teoria da Complexidade
Durante a década de 1960, Blum foi pioneiro em uma teoria da complexidade axiomática que funcionava independentemente de modelos de máquinas específicos. Utilizando numerações de Gödel e os axiomas de Blum, sua pesquisa produziu resultados significativos, incluindo o teorema da compressão, o teorema da lacuna, o teorema da honestidade e o teorema da aceleração. Além dessas fundações axiomáticas, seu trabalho inclui a criação do algoritmo da mediana das medianas, o gerador de números pseudoaleatórios Blum Blum Shub e o criptossistema Blum-Goldwasser. Ele também é creditado pelo desenvolvimento de protocolos como o cara ou coroa por telefone e o CAPTCHA moderno.
Carreira e Afiliações Profissionais
Blum ocupou um cargo de longa data como professor de ciência da computação na Universidade da California, Berkeley, onde permaneceu até 2001. Nesse ano, aceitou o cargo de Professor Bruce Nelson de Ciência da Computação na Universidade Carnegie Mellon. Em 2018, ele e sua esposa, Lenore Blum, renunciaram aos cargos na Universidade Carnegie Mellon após disputas relativas às estruturas de gestão e ao tratamento da equipe dentro do Projeto Olympus. Ao longo de sua carreira, ele orientou vários pesquisadores, incluindo Leonard Adleman, Shafi Goldwasser, Silvio Micali e Luis von Ahn.
Vinte perguntas, oito minutos no relógio e um percentil medido contra todos os que já fizeram. Sem cadastro.
Fazer o teste de QI →Reconhecimento Institucional
Blum foi eleito para múltiplos órgãos acadêmicos de alto nível, incluindo a Academia Nacional de Ciências em 2002 e a Academia Nacional de Engenharia em 2006 por suas contribuições à complexidade abstrata e aos protocolos criptográficos. Suas filiações profissionais incluem a Academia Americana de Artes e Ciências e a Association for Computing Machinery. Ele é fellow da Associação Americana para o Avanço da Ciência, da IACR e da ACM.
Fatos Rápidos
- Nascido: 1938, Caracas, Venezuela - Educação: Instituto de Tecnologia de Massachusetts - Prêmio Turing: 1995 - Empregadores: Universidade da Califórnia, Berkeley; Universidade Carnegie Mellon - Cidadania: Estados Unidos; Venezuela - Campos de trabalho: Ciência da computação - Contribuição principal: Gerador Blum Blum Shub - Bolsas profissionais: IACR (2012), ACM (2020), AAAS (1983)
Perguntas frequentes dos leitores
### Qual é o principal campo de pesquisa de Manuel Blum?
Ele é especializado em ciência da computação, com foco específico na teoria da complexidade computacional, criptografia e verificação de programas.
### Quais universidades empregaram Manuel Blum?
Ele atuou como professor na Universidade da Califórnia, Berkeley, e posteriormente como Professor Bruce Nelson de Ciência da Computação na Universidade Carnegie Mellon.
