Michael Rabin: diferenças entre revisões

Conteúdo apagado Conteúdo adicionado
Kaktus Kid (discussão | contribs)
nova página: {{Info/Cientista |nome =<font color="black">Michael Oser Rabin</font> |imagem = |tamanho =250px |legenda = |nome_n...
 
Kaktus Kid (discussão | contribs)
Linha 34:
Seu pai foi [[rabino]]. A família imigrou para a [[Mandato Britânico da Palestina|Palestina]] em 1935. Rabin estudou na [[Universidade Hebraica de Jerusalém]], com doutorado pela [[Universidade Princeton]].
 
Recebeu juntamente com [[Dana Scott]] o [[TurinhTuring Award]] 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]].
Linha 42:
{{Caixa de sucessão
|título=[[Turing Award]]
|anos=[[20041976]]<br />{{nowrap|com [[Dana Scott]]}}
|antes={{nowrap|[[Allen Newell]]}}, {{nowrap|[[Herbert Simon]]}}
|depois={{nowrap|[[John Backus]]}}