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 verificação de programas. Nascido em Caracas em 1938, este cientista da computação venezuelano-americano passou décadas avançando nas fronteiras teóricas dos modelos de máquinas e da eficiência algorítmica.
Base acadêmica
Blum cursou o ensino superior no Instituto de Tecnologia de Massachusetts. Concluiu o bacharelado e o mestrado em engenharia elétrica em 1959 e 1961, respectivamente. Durante seu tempo 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 desses fundamentos axiomáticos, 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 Califórnia, Berkeley, onde permaneceu até 2001. Naquele 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 seus cargos na Universidade Carnegie Mellon após disputas sobre estruturas de gestão e o tratamento de funcionários dentro do Projeto Olympus. Ao longo de sua carreira, orientou inúmeros 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 vários ó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 protocolos criptográficos. Suas afiliações profissionais incluem a Academia Americana de Artes e Ciências e a Association for Computing Machinery. Ele é membro da Associação Americana para o Avanço da Ciência, da IACR e da ACM.
Fatos rápidos
- Nascimento: 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 - Áreas de trabalho: Ciência da computação - Contribuição principal: Gerador Blum Blum Shub - Afiliações profissionais: IACR (2012), ACM (2020), AAAS (1983)
Perguntas dos leitores
### Qual é a principal área de pesquisa de Manuel Blum?
Ele é especializado em ciência da computação, focando especificamente 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 mais tarde como Professor Bruce Nelson de Ciência da Computação na Universidade Carnegie Mellon.
