Циклопедия скорбит по жертвам террористического акта в Крокус-Сити (Красногорск, МО)
Шмуэль Сафра
Перейти к навигации
Перейти к поиску
Шмуэль Сафра (англ. 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.