Michael Rabin: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
Ajustes |
Ajustes |
||
Linha 33:
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 [[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 [[
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 [[Lista de palestrantes do Congresso Internacional de Matemáticos|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}}
| |||