Шмуэль Сафра

Материал из Циклопедии
Перейти к: навигация, поиск

Шмуэль Сафра

ивр. שמואל ספרא
Shmuel+Safra 59a9b5f796c2cc1300ec1761.jpg
Дата рождения 1962
Место рождения Иерусалим, Израиль








Известные ученики Ирит Динур





Шмуэль Сафра (англ. Shmuel Safra, Muli Safra, ивр. שמואל ספרא) — израильский компьютерный учёный, профессор компьютерных наук в Тель-Авивском университете[1].

[править] Биография

В 1990 году под руководством Амира Пануэли получил докторскую степень в Научном институте Вейцмана.

Затем закончил докторантуру в Стэнфордском университете.

Позже работал в исследовательском центре IBM.

Стал профессором компьютерных наук в Тель-Авивском университете.

В 2001 году с рядом других учёных был удостоен премии Гёделя — за теорему PCP и её приложение.

Области исследований: информатика, вычислительная сложность, конечные автоматы.

[править] Труды

  • Uriel Feige, Shafi Goldwasser, László Lovász, Shmuel Safra et Mario Szegedy, «Interactive proofs and the hardness of approximating cliques», Journal of the ACM, vol. 43, no 2,‎ 1996, p. 268–292.
  • Sanjeev Arora et Shmuel Safra, «Probabilistic checking of proofs: a new characterization of NP», Journal of the ACM, vol. 45, no 1,‎ 1998, p. 70–122.

[править] Источники

Персональные инструменты
Пространства имён

Варианты
Действия
Навигация
Инструменты