Ran Raz
Ran Raz | |
---|---|
רָן רָזРан Раз | |
![]() | |
Альма-матер | Еврейский университет Иерусалима |
Награды | Премия Эрдеша |
Научная карьера | |
Поля | |
Учреждения | |
Диссертация | Сложность связи и нижние границы схемы (1992) |
Докторантура |
|
Веб-сайт | www |
Ран Раз ( иврит : רָן רָז ) — ученый-компьютерщик , работающий в области теории сложности вычислений . Он был профессором факультета математики и информатики в Институте Вейцмана . Сейчас он профессор информатики в Принстонском университете . [1]
Ран Раз получил докторскую степень. в Еврейском университете Иерусалима в 1992 году под руководством Ави Вигдерсона и Майкла Бен-Ора. [2]
Ран Раз хорошо известен своей работой над интерактивными системами доказательств . Две его наиболее цитируемые статьи — это Раз (1998) об интерактивных доказательствах с несколькими доказательствами и Раз и Сафра (1997) о вероятностно проверяемых доказательствах . [3]
Ран Раз получил премию Эрдеша в 2002 году. Его работы были отмечены наградами на ведущих конференциях по теоретической информатике . В 2004 году он получил награду за лучшую статью на симпозиуме ACM по теории вычислений (STOC) за книгу Раз (2004) . [4] и награда за лучшую статью на конференции IEEE по вычислительной сложности (CCC) для Раза и Шпильки (2004) . [5] В 2008 году работа Мошковица и Раза (2008) получила награду за лучшую статью на симпозиуме IEEE по основам компьютерных наук (FOCS). [6]
Избранные публикации
[ редактировать ]- Раз, Ран; Сафра, Шмуэль (1997), «Тест низкой степени с субпостоянной вероятностью ошибки и характеристика NP с субконстантной вероятностью ошибки», Proc. STOC 1997 , стр. 475–484, CiteSeerX 10.1.1.34.6957 , doi : 10.1145/258533.258641 , ISBN 978-0-89791-888-6 , S2CID 15457604 .
- Раз, Ран (1998), «Теорема о параллельном повторении», SIAM Journal on Computing , 27 (3): 763–803, CiteSeerX 10.1.1.35.6859 , doi : 10.1137/S0097539795280895 .
- Раз, Ран (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 .
- Раз, Ран; Шпилька, Амир (2004), «Детерминированная проверка полиномиальной идентичности в некоммутативных моделях», Proc. CCC 2004 , стр. 215–222, CiteSeerX 10.1.1.104.293 , doi : 10.1109/CCC.2004.1313845 , ISBN 978-0-7695-2120-6 .
- Мошковитц, Дана ; Раз, Ран (2008), «Два запроса PCP с субконстантной ошибкой», Proc. FOCS 2008 , стр. 314–323, CiteSeerX 10.1.1.140.2111 , doi : 10.1109/FOCS.2008.60 , ISBN 978-0-7695-3436-7 .
Примечания
[ редактировать ]- ^ «Раз, Вайнберг углубляет лидерство факультета в критических областях | Факультет компьютерных наук Принстонского университета» . www.cs.princeton.edu . Проверено 13 февраля 2017 г.
- ^ Ран Раз в проекте «Математическая генеалогия»
- ^ Количество цитирований Раза (1998) по состоянию на 21 февраля 2009 г.: Google Scholar: 313 , ISI Web of Knowledge: 120, Цифровая библиотека ACM: 57 + 17 , MathSciNet: 53 . Число цитирований Раза и Сафры (1997) по состоянию на 21 февраля 2009 г.: Google Scholar: 314 , Цифровая библиотека ACM: 71 , MathSciNet: 59 .
- ^ Учеб. STOC 2004: «Награды конференции STOC 2004», стр. x. [1] . Один из двух наградных документов.
- ^ Учеб. CCC 2004: «Награды», стр. x. [2] .
- ^ Учеб. FOCS 2008: «Предисловие», стр. xii. [3] .