Michael Rabin

Hoje queremos mergulhar no fascinante mundo de Michael Rabin. Este tema é sem dúvida um dos mais importantes e relevantes da atualidade, uma vez que Michael Rabin tem um impacto significativo em diversas áreas da nossa vida. Desde a sua influência na sociedade, na cultura, na política e na economia, até à sua importância na nossa vida pessoal e profissional, Michael Rabin desempenha um papel crucial na forma como entendemos e enfrentamos o mundo que nos rodeia. Ao longo deste artigo, exploraremos os diferentes aspectos e dimensões de Michael Rabin, examinando o seu impacto e relevância em vários contextos. Esperamos que esta exploração nos dê uma compreensão mais profunda e completa de Michael Rabin, bem como uma maior apreciação da sua importância nas nossas vidas.

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