Michael Rabin

Michael Oser Rabin
Ciência da computação
Nacionalidade	Israelita
Nascimento	1 de setembro de 1931 (81 anos)
Local	Wrocław
Actividade
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), 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

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

• Michael Rabin em Mathematics Genealogy Project

Precedido por Allen Newell, Herbert Simon

Prêmio Turing 1976 com Dana Scott

Sucedido por John Backus