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[1]
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).

Referências

  1. ↑ Michael Rabin (em inglês) no Mathematics Genealogy Project

Ligações externas


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