ラン・ラズ

ラン・ラズ
רָן רָז
母校	エルサレム・ヘブライ大学
受賞歴	エルデシュ賞
科学者としてのキャリア
フィールド	コンピュータサイエンス 計算複雑性理論
機関	プリンストン大学 ワイツマン研究所
論文	通信の複雑さと回路の下限値 (1992)
博士課程の指導教員	アヴィ・ウィグダーソン マイケル・ベンオール
Webサイト	www.wisdom.weizmann.ac.il/~ranraz/

ラン・ラズ（ヘブライ語：רָן רָז）は、計算複雑性理論の分野で研究するコンピュータ科学者である。プリンストン大学のコンピュータサイエンスの教授になる前は、ワイツマン研究所の数学およびコンピュータサイエンス学部の教授であった。^[1]

ラズは1992年にエルサレムのヘブライ大学でアヴィ・ウィグダーソンとマイケル・ベン・オールの指導の下で博士号を取得した。 ^[2]

ラズは対話型証明システムに関する研究でよく知られています。彼の最も引用されている2つの論文は、マルチ証明者対話型証明に関するラズ（1998）と確率的に検証可能な証明に関するラズ＆サフラ（1997）です。^[3]

ラズは2002年にエルデシュ賞を受賞した。2004年には、ラズ（2004）でACM計算理論シンポジウムで最優秀論文賞、 ^[4]を受賞し、ラズとシュピルカ（2004）でIEEE計算複雑性会議で最優秀論文賞を受賞した。 ^{[5] 2008年には、モシュコビッツとラズ（2008）の論文がIEEE}コンピュータサイエンスの基礎に関するシンポジウム（FOCS）で最優秀論文賞を受賞した。 ^[6]

• Raz, Ran; Safra, Shmuel (1997)、「NP のサブ定数エラー確率低次テストとサブ定数エラー確率 PCP 特性」、Proc. STOC 1997、pp. 475–484、CiteSeerX  10.1.1.34.6957、doi :10.1145/258533.258641、ISBN 978-0-89791-888-6、S2CID  15457604。
• Raz, Ran (1998)、「並列繰り返し定理」、SIAM Journal on Computing、27 (3): 763–803、CiteSeerX  10.1.1.35.6859、doi :10.1137/S0097539795280895。
• Raz, Ran (2004)、「永久および行列式の多重線形式は超多項式サイズである」、Proc. STOC 2004、pp. 633–641、CiteSeerX  10.1.1.2.9694、doi :10.1145/1007352.1007353、ISBN 978-1-58113-852-8、S2CID  1297877。
• Raz, Ran; Shpilka, Amir (2004)、「非可換モデルにおける決定論的多項式同一性テスト」、Proc. CCC 2004、pp. 215–222、CiteSeerX  10.1.1.104.293、doi :10.1109/CCC.2004.1313845、ISBN 978-0-7695-2120-6。
• モシュコビッツ、ダナ、ラズ、ラン (2008)、「定数以下の誤差を伴う 2 つのクエリ PCP」、Proc. FOCS 2008、pp. 314–323、CiteSeerX  10.1.1.140.2111、doi :10.1109/FOCS.2008.60、ISBN 978-0-7695-3436-7。