Michael Rabin

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa
Question book.svg
Este artigo não cita fontes confiáveis e independentes (desde junho de 2010). Por favor, adicione referências e insira-as corretamente no texto ou no rodapé. Conteúdo sem fontes poderá ser removido.
Encontre fontes: Google (notícias, livros e acadêmico)
Michael Oser Rabin
Ciência da computação
Nacionalidade Israel Israelita
Nascimento 1 de setembro de 1931 (83 anos)
Local Wrocław
Atividade
Campo(s) Ciência da computação
Instituições Universidade Harvard, Universidade Hebraica de Jerusalém, Universidade Columbia
Alma mater Universidade Hebraica de Jerusalém (M.S.), Universidade de Princeton (Ph.D.)
Orientador(es) Alonzo Church
Orientado(s) Moshé Machover, Saharon Shelah
Conhecido(a) por Teste de primalidade de Miller-Rabin
Prêmio(s) Prêmio Turing (1976), Prêmio Harvey (1980), Gibbs Lecture (1985), Tarski Lectures (1994), Prêmio Paris Kanellakis (2003), Prêmio Dan David (2010)

Michael Oser Rabin (Wrocław, 1 de setembro de 1931) é um informático israelita.

É conhecido por seu trabalho em criptologia em conexão com os números primos e e no âmbito da teoria dos autômatos. Sua filha Tal Rabin dirige o Grupo de Pesquisas sobre Criptologia e Privacidade no Centro de Pesquisas Thomas J. Watson da IBM.

Biografia[editar | editar código-fonte]

Seu pai foi rabino. A família imigrou para a Palestina em 1935. Rabin estudou na Universidade Hebraica de Jerusalém, com doutorado pela Universidade Princeton.

Recebeu juntamente com Dana Scott o Prêmio Turing de 1976, pela introdução do não-determinismo em Finite Automata and Their Decision Problem (1959). Recebeu em 1995 o Prêmio Israel. Baseado em um método de Gary Miller desenvolveu em 1975 o Teste de primalidade de Miller-Rabin.

Também desenvolveu o sistema criptográfico de Rabin, em 1979. Em 2001 elaborou, juntamente com Yan Zong Bing, um sistema absolutamente (sic) seguro e ao mesmo tempo prático para transmissão de dados.

Ligações externas[editar | editar código-fonte]


Precedido por
Allen Newell, Herbert Simon
Prêmio Turing
1976
com Dana Scott
Sucedido por
John Backus