Ran Raz – Wikipédia, a enciclopédia livre

Ran Raz
Ran Raz
Nascimento 26 de dezembro de 1966
Jerusalém
Cidadania Israel
Alma mater
Ocupação cientista de computação, engenheiro, professor universitário
Distinções
Empregador(a) Universidade de Princeton
Orientador(a)(es/s) Avi Wigderson, Michael Ben-Or

Ran Raz é um cientista da computação israelense, que trabalha principalmente com teoria da complexidade computacional.

Raz obteve um doutorado em 1992 na Universidade Hebraica de Jerusalém, orientado por Avi Wigderson, com a tese Communication Complexity and Circuit Lower Bounds.[1] É professor do Instituto Weizmann de Ciência. Em 2000/2001, 2002 e 2012 esteve no Instituto de Estudos Avançados de Princeton.[2]

Recebeu o Prêmio Erdős de 2002. Foi palestrante convidado do Congresso Internacional de Matemáticos em Pequim (2002: , propositional proof complexity, and resolution lower bounds on the weak pigeonhole principle).

Publicações selecionadas

[editar | editar código-fonte]
  • com Shmuel Safra A sub-constant error-probability low-degree test, and a sub-constant error-probability PCP characterization of NP, Proc. STOC (ACM Symp. Theoretical Computer Science) 1997, p. 475–484
  • A parallel repetition theorem, SIAM Journal on Computing 27, 1998, 763–803
  • Multi-linear formulas for permanent and determinant are of super-polynomial size, Proc. STOC 2004, 633–641
  • com Amir Shpilka Deterministic polynomial identity testing in non commutative models, Proc. CCC (Conference on Computational Complexity) 2004, 215–222
  • com Dana Moshkovitz Two query PCP with sub-constant error, Proc. FOCS (IEEE Symp. Foundations Computer Science) 2008, 314–323
  • com Shira Kritchman The surprise examination paradox and the second incompleteness theorem, Notices AMS, Dezembro 2011, Online

Referências

Ligações externas

[editar | editar código-fonte]