Michael Rabin

Michael Rabin
Conhecido(a) por	Teste de primalidade de Miller-Rabin
Nascimento	1 de setembro de 1931 (93 anos) Wrocław
Nacionalidade	Israelense
Alma mater	Universidade Hebraica de Jerusalém (M.S.), Universidade de Princeton (Ph.D.)
Prêmios	Prêmio Turing (1976), Prêmio Harvey (1980), Gibbs Lecture (1985), Tarski Lectures (1994), Prêmio Paris Kanellakis (2003), Prêmio Dan David (2010), Prêmio Dijkstra (2015)
Orientador(es)(as)	Alonzo Church
Orientado(a)(s)	Dov Gabbay, Moshé Machover, Saharon Shelah
Instituições	Universidade Harvard, Universidade Hebraica de Jerusalém, Universidade Columbia
Campo(s)	Ciência da computação

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

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.

Foi palestrante convidado do Congresso Internacional de Matemáticos em Nice (1970 - Decidability and definability in second order theories) e em Varsóvia (1983).

Ligações externas

• Michael Rabin (em inglês) no Mathematics Genealogy Project

Precedido por Allen Newell, Herbert Simon

Prêmio Turing 1976 com Dana Scott

Sucedido por John Backus