Ran Raz

Ran Raz
רָן <a i=2>רָז ‎
Alma Mater	Uniwersytet Hebrajski w Jerozolimie
Nagrody	Nagroda Erdősa
Kariera naukowa
Pola	Informatyka Teoria złożoności obliczeniowej
Instytucje	Uniwersytet Princeton Instytut Weizmanna
Praca dyplomowa	Złożoność komunikacji i dolne granice obwodów (1992)
Doradca doktorski	Aviego Wigdersona Michaela Ben-Ora
Strona internetowa	www .wisdom .weizmann .ac .il /~ranraz /

Ran Raz ( hebr . רָן רָז ) jest informatykiem zajmującym się teorią złożoności obliczeniowej . Był profesorem na wydziale matematyki i informatyki w Instytucie Weizmanna . Obecnie jest profesorem informatyki na Uniwersytecie Princeton .

Ran Raz uzyskał tytuł doktora. na Uniwersytecie Hebrajskim w Jerozolimie w 1992 roku pod kierunkiem Aviego Wigdersona i Michaela Ben-Ora.

Ran Raz jest dobrze znany ze swojej pracy nad interaktywnymi systemami dowodowymi . Jego dwie najczęściej cytowane prace to Raz (1998) o dowodach interaktywnych z wieloma dowodami oraz Raz i Safra (1997) o dowodach sprawdzalnych probabilistycznie .

Ran Raz otrzymał Nagrodę Erdősa w 2002 roku. Jego prace były nagradzane na najważniejszych konferencjach w dziedzinie informatyki teoretycznej . W 2004 roku otrzymał nagrodę za najlepszy referat w ACM Symposium on Theory of Computing (STOC) za Raz (2004) oraz nagrodę za najlepszy referat w IEEE Conference on Computational Complexity (CCC) za Raz & Shpilka (2004) . W 2008 roku praca Moshkovitz & Raz (2008) otrzymała nagrodę za najlepszy artykuł w IEEE Symposium on Foundations of Computer Science (FOCS).

Wybrane publikacje

•     Raz, Ran; Safra, Shmuel (1997), „Test niskiego stopnia prawdopodobieństwa błędu sub-stałego i charakterystyka NP PCP prawdopodobieństwa błędu sub-stałego”, Proc . STOC 1997 , s. 475–484, CiteSeerX 10.1.1.34.6957 , doi : 10.1145/258533.258641 , ISBN 978-0-89791-888-6 , S2CID 15457604 .
•   Raz, Ran (1998), „Twierdzenie o równoległym powtórzeniu”, SIAM Journal on Computing , 27 (3): 763–803, CiteSeerX 10.1.1.35.6859 , doi : 10.1137/S0097539795280895 .
•     Raz, Ran (2004), „Wieloliniowe wzory na stałe i wyznacznik mają rozmiar superwielomianowy”, Proc. STOC 2004 , s. 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), „Deterministyczne wielomianowe testowanie tożsamości w modelach nieprzemiennych”, Proc. CCC 2004 , s. 215–222, CiteSeerX 10.1.1.104.293 , doi : 10.1109/CCC.2004.1313845 , ISBN 978-0-7695-2120-6 .
•    Moskovitz, Dana ; Raz, Ran (2008), „Dwa zapytania PCP z sub-stałym błędem”, Proc. FOCS 2008 , s. 314–323, CiteSeerX 10.1.1.140.2111 , doi : 10.1109/FOCS.2008.60 , ISBN 978-0-7695-3436-7 .