Ran Raz (original) (raw)

dbo:abstract

Ran Raz ist ein israelischer Informatiker, der sich insbesondere mit Komplexitätstheorie befasst. Raz wurde 1992 an der Hebräischen Universität bei Avi Wigderson promoviert (Communication Complexity and Circuit Lower Bounds). Er ist Professor am Weizmann-Institut. 2000/2001, 2002 und 2012 war er am Institute for Advanced Study. Er ist bekannt für Arbeiten zu (PCP) und interaktiven Beweissystemen. Ein Schwerpunkt seiner Arbeit in Komplexitätstheorie (boolesche und arithmetische Schaltkreiskomplexität, Kommunikationskomplexität) war der Beweis unterer Schranken für die Komplexität in verschiedenen Berechnungsmodellen. Er befasste sich auch mit Quantencomputern und Zufälligkeit. 2018 fand er mit ein Problem, das für Quantencomputer lösbar ist in der Komplexitätsklasse BQP, in einem gewissen Sinn (Orakel-Separiertheit) aber nicht für klassische Computer (Polynomialzeithierarchie PH), das Forrelation-Problem. Es besteht darin, bei zwei Zufallsfolgen – erzeugt von zwei Zufallsgeneratoren – zu entscheiden, ob die eine die Fouriertransformation der anderen ist und wurde ursprünglich von Scott Aaronson für diesen Problemkreis vorgeschlagen. Orakel (Black Box) Modelle werden in der theoretischen Informatik als Vorstufen für die Lösung des eigentlichen Problems der Stellung einzelner Komplexitätsklassen zueinander untersucht. 1992 bewies er mit Avi Wigderson, dass das Perfect-Matching-Problem für Berechnung mit monotonen Schaltkreisen (also solchen nur mit AND und OR-Gatter, ohne NOT) linear in der Anzahl der Knoten des Graphen ist. Es gibt also bei Nicht-Zulassung der NOT-Gatter prinzipiell keine „schnellen“ Lösungen des Problems. 2002 erhielt er den Erdős-Preis und er erhielt den Morris L. Levinson Prize des Weizmann-Instituts. 2002 war er Invited Speaker auf dem Internationalen Mathematikerkongress in Peking . (de)
Ran Raz (Hebrew: רָן רָז) is a computer scientist who works in the area of computational complexity theory. He was a professor in the faculty of mathematics and computer science at the Weizmann Institute. He is now a professor of computer science at Princeton University. Ran Raz received his Ph.D. at the Hebrew University of Jerusalem in 1992 under Avi Wigderson and Michael Ben-Or. Ran Raz is well known for his work on interactive proof systems. His two most-cited papers are on multi-prover interactive proofs and on probabilistically checkable proofs. Ran Raz received the Erdős Prize in 2002. His work has been awarded in the top conferences in theoretical computer science. In 2004, he received the best paper award in ACM Symposium on Theory of Computing (STOC) for , and the best paper award in IEEE Conference on Computational Complexity (CCC) for . In 2008, the work received the best paper award in IEEE Symposium on Foundations of Computer Science (FOCS). (en)
Ran Raz (bahasa Ibrani: רָן רָז‎) adalah seorang yang bekerja dalam bidang . Ia adalah profesor di fakultas matematika dan ilmu komputer di . Ia kini menjadi profesor ilmu komputer di Universitas Princeton. (in)
Ran Raz est un informaticien israélien spécialiste de théorie de la complexité. (fr)
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. É 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: , propositional proof complexity, and resolution lower bounds on the weak pigeonhole principle). (pt)
然·拉茨 (英語：Ran Raz, 希伯來語：רָן רָז‎) 是一位专长于计算复杂性理论的计算机科学家。他现在是以色列魏茨曼科學研究學院数学与计算机科学学部的教授。然·拉茨最著名的工作是交互式证明系统。他的引用数最多的两篇论文是：一篇)是关于；另一篇)是关于. 然·拉茨曾于2002年获得。他也曾多次获得领域顶级会议的最佳论文奖项。他的工作)获得2004年的最佳论文奖。他的工作 )获得2004年IEEE 的最佳论文奖。他的工作)获得2008年IEEE 的最佳论文奖。 (zh)

dbo:academicDiscipline

dbo:almaMater

dbr:Hebrew_University_of_Jerusalem

dbo:award

dbr:Erdős_Prize

dbo:doctoralAdvisor

dbr:Avi_Wigderson

dbo:institution

dbo:thumbnail

wiki-commons:Special:FilePath/רן_רז,_2011.jpg?width=300

dbo:wikiPageExternalLink

http://www.wisdom.weizmann.ac.il/~ranraz/

dbo:wikiPageID

21565753 (xsd:integer)

dbo:wikiPageLength

5342 (xsd:nonNegativeInteger)

dbo:wikiPageRevisionID

1020414787 (xsd:integer)

dbo:wikiPageWikiLink

dbp:almaMater

dbr:Hebrew_University_of_Jerusalem

dbp:awards

dbr:Erdős_Prize

dbp:doctoralAdvisor

dbr:Avi_Wigderson
(en)
Michael Ben-Or (en)

dbp:fields

dbp:name

Ran Raz (en)

dbp:thesisTitle

Communication Complexity and Circuit Lower Bounds (en)

dbp:thesisYear

1992 (xsd:integer)

dbp:website

http://www.wisdom.weizmann.ac.il/~ranraz/

dbp:wikiPageUsesTemplate

dbp:workplaces

dcterms:subject

gold:hypernym

dbr:Scientist

rdf:type

rdfs:comment

Ran Raz (bahasa Ibrani: רָן רָז‎) adalah seorang yang bekerja dalam bidang . Ia adalah profesor di fakultas matematika dan ilmu komputer di . Ia kini menjadi profesor ilmu komputer di Universitas Princeton. (in)
Ran Raz est un informaticien israélien spécialiste de théorie de la complexité. (fr)
然·拉茨 (英語：Ran Raz, 希伯來語：רָן רָז‎) 是一位专长于计算复杂性理论的计算机科学家。他现在是以色列魏茨曼科學研究學院数学与计算机科学学部的教授。然·拉茨最著名的工作是交互式证明系统。他的引用数最多的两篇论文是：一篇)是关于；另一篇)是关于. 然·拉茨曾于2002年获得。他也曾多次获得领域顶级会议的最佳论文奖项。他的工作)获得2004年的最佳论文奖。他的工作 )获得2004年IEEE 的最佳论文奖。他的工作)获得2008年IEEE 的最佳论文奖。 (zh)
Ran Raz ist ein israelischer Informatiker, der sich insbesondere mit Komplexitätstheorie befasst. Raz wurde 1992 an der Hebräischen Universität bei Avi Wigderson promoviert (Communication Complexity and Circuit Lower Bounds). Er ist Professor am Weizmann-Institut. 2000/2001, 2002 und 2012 war er am Institute for Advanced Study. (de)
Ran Raz (Hebrew: רָן רָז) is a computer scientist who works in the area of computational complexity theory. He was a professor in the faculty of mathematics and computer science at the Weizmann Institute. He is now a professor of computer science at Princeton University. Ran Raz received his Ph.D. at the Hebrew University of Jerusalem in 1992 under Avi Wigderson and Michael Ben-Or. Ran Raz is well known for his work on interactive proof systems. His two most-cited papers are on multi-prover interactive proofs and on probabilistically checkable proofs. (en)
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. É professor do Instituto Weizmann de Ciência. Em 2000/2001, 2002 e 2012 esteve no Instituto de Estudos Avançados de Princeton. (pt)

rdfs:label