Michael Rabin

Michael Rabin
Conhecido(a) porTeste de primalidade de Miller-Rabin
Nascimento
Morte
14 de abril de 2026 (94 anos)

NacionalidadeIsraelense
Alma materUniversidade Hebraica de Jerusalém (M.S.), Universidade de Princeton (Ph.D.)
PrêmiosPrê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)
Carreira científica
Orientador(es)(as)Alonzo Church[1]
Orientado(a)(s)Dov Gabbay, Moshé Machover, Saharon Shelah
InstituiçõesUniversidade Harvard, Universidade Hebraica de Jerusalém, Universidade Columbia
Campo(s)Ciência da computação

Michael Oser Rabin (Breslávia, 1 de setembro de 1931Ra'anana, 14 de abril de 2026)[2] foi um informático israelita.

Foi 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
  2. moked (14 de abril de 2026). «מיכאל רבין ז"ל». מודעות אבל עיתון הארץ | קו ישיר 077-9971000 ☎️ (em hebraico). Consultado em 16 de abril de 2026 

Ligações externas


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


Content Disclaimer

Informasi ini disarikan dari Wikipedia dan disajikan kembali untuk tujuan edukasi. Konten tersedia di bawah lisensi CC BY-SA 3.0. Kami tidak bertanggung jawab atas ketidakakuratan data yang bersumber dari kontribusi publik tersebut.

  1. The information displayed on this website is sourced in part or in whole from Wikipedia and has been adapted for the purpose of restating it. We strive to provide accurate and relevant information, however:
  2. There is no guarantee of absolute accuracy. Wikipedia is an open, collaborative project that can be edited by anyone, so information is subject to change.
  3. It is not intended to constitute professional advice. The content displayed is for informational and educational purposes only. For important decisions (e.g., medical, legal, or financial), please consult a professional.
  4. Content copyright. Wikipedia is licensed under the Creative Commons Attribution-ShareAlike License (CC BY-SA). This means that content may be reused with appropriate attribution and shared under a similar license.
  5. Responsible use. Any risk arising from the use of information from this website is entirely the responsibility of the user.