Циклопедия скорбит по жертвам террористического акта в Крокус-Сити (Красногорск, МО)

Шмуэль Сафра

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

Шмуэль Сафра

ивр. שמואל ספרא
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.

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