Michael Rabin
| Michael Rabin | |
|---|---|
 | |
| Conhecido(a) por | Teste de primalidade de Miller-Rabin |
| Nascimento | 1 de setembro de 1931 (92 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
- ↑ Michael Rabin (em inglês) no Mathematics Genealogy Project
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 |
