รัน ราซ
รัน ราซ | |
|---|---|
| רָן רָז | |
 | |
| อัลมา มัธยฐาน | มหาวิทยาลัยฮิบรูแห่งเยรูซาเลม |
| รางวัล | รางวัลเออร์โดส |
| เส้นทางอาชีพด้านวิทยาศาสตร์ | |
| ฟิลด์ | |
| สถาบันต่างๆ | |
| วิทยานิพนธ์ | ความซับซ้อนของการสื่อสารและขีดจำกัดล่างของวงจร(1992) |
นักศึกษาปริญญาเอก | ดาน่า มอชโควิทซ์ |
| เว็บไซต์ | www.wisdom.weizmann.ac.il/~ranraz/ |
Ran Raz ( ภาษาฮีบรู: רָן רָז ) เป็นนักวิทยาศาสตร์คอมพิวเตอร์ ชาวอิสราเอล ที่ทำงานในด้านทฤษฎีความซับซ้อนของการคำนวณเขาเคยเป็นศาสตราจารย์ในคณะคณิตศาสตร์และวิทยาศาสตร์คอมพิวเตอร์ที่สถาบันไวซ์มันน์ก่อนที่จะมาเป็นศาสตราจารย์ด้านวิทยาศาสตร์คอมพิวเตอร์ที่มหาวิทยาลัยพรินซ์ตัน[ 1 ]
ราซได้รับปริญญาเอกที่มหาวิทยาลัยฮิบรูแห่งเยรูซาเลมในปี 1992 ภายใต้การดูแลของอวี วิกเดอร์สันและไมเคิล เบน-ออร์[ 2 ]
Raz เป็นที่รู้จักกันดีจากผลงานของเขาเกี่ยวกับระบบพิสูจน์แบบโต้ตอบบทความสองฉบับที่ได้รับการอ้างอิงมากที่สุดของเขาคือRaz (1998)เกี่ยวกับการพิสูจน์แบบโต้ตอบหลายผู้พิสูจน์และRaz & Safra (1997)เกี่ยวกับการพิสูจน์ที่ตรวจสอบได้ทางความน่าจะเป็น[ 3 ]
Raz ได้รับรางวัล Erdősในปี 2002 ในปี 2004 เขาได้รับรางวัลบทความยอดเยี่ยมในงาน ACM Symposium on Theory of ComputingสำหรับRaz (2004) [ 4 ]และรางวัลบทความยอดเยี่ยมในงาน IEEE Conference on Computational ComplexityสำหรับRaz & Shpilka (2004) [ 5 ] ในปี 2008 ผลงานMoshkovitz & Raz (2008)ได้รับรางวัลบทความยอดเยี่ยมในงาน IEEE Symposium on Foundations of Computer Science (FOCS) [ 6 ]
ผลงานตีพิมพ์ที่คัดเลือก
- Raz, Ran; Safra, Shmuel (1997), "การทดสอบระดับต่ำที่มีความน่าจะเป็นของข้อผิดพลาดต่ำกว่าค่าคงที่ และลักษณะเฉพาะของ NP ด้วย PCP ที่มีความน่าจะเป็นของข้อผิดพลาดต่ำกว่าค่าคงที่", Proc. STOC 1997 , หน้า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 , หน้า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 , หน้า215–222 , CiteSeerX 10.1.1.104.293 , doi : 10.1109/CCC.2004.1313845 , ISBN 978-0-7695-2120-6.
- Moshkovitz, Dana ; Raz, Ran (2008), "Two query PCP with sub-constant error", Proc. FOCS 2008 , pp. 314– 323, CiteSeerX 10.1.1.140.2111 , doi : 10.1109/FOCS.2008.60 , ISBN 978-0-7695-3436-7.