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 |
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.
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).
Prêmio Paris Kanellakis | |
---|---|
1996: Adleman / Diffie / Hellman / Merkle / Rivest / Shamir · 1997: Lempel / Ziv · 1998: Bryant / Clarke / Emerson / McMillan · 1999: Sleator / Tarjan · 2000: Karmarkar · 2001: Myers · 2002: Franaszek · 2003: Miller / Rabin / Solovay / Strassen · 2004: Freund / Schapire · 2005: Holzmann / Kurshan / Vardi / Wolper · 2006: Brayton · 2007: Buchberger · 2008: Cortes / Vapnik · 2009: Bellare / Rogaway · 2010: Kurt Mehlhorn · 2011: Hanan Samet · 2012: Andrei Broder, Moses Charikar e Piotr Indyk · 2013: Robert Blumofe e Charles Eric Leiserson |
Controle de autoridade |
---|