Ran Raz

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

Ran Raz
Ran Raz
Nascimento	26 de dezembro de 1966 Jerusalém
Cidadania	Israel
Alma mater	Universidade Hebraica de Jerusalém
Ocupação	cientista de computação, engenheiro, professor universitário
Prêmios	Prêmio Erdős (2002) Michael Bruno Memorial Award (2006)
Empregador(a)	Universidade de Princeton
[edite no Wikidata]

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. É professor do Instituto Weizmann de Ciência. Em 2000/2001, 2002 e 2012 esteve no Instituto de Estudos Avançados de Princeton.

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

Publicações selecionadas

• 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

Ligações externas

• Página pessoal