Ran Raz – Wikipédia, a enciclopédia livre
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 |
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
- ↑ Ran Raz (em inglês) no Mathematics Genealogy Project
- ↑ IAS