Shmuel Safra

Biographie
Naissance	1960; Jérusalem
Nationalité	israélienne
Formation	Institut Weizmann
Activités	Informaticien, professeur d'université
A travaillé pour	Université de Tel Aviv
Directeur de thèse	Amir Pnueli
Distinctions	Machtey Award (1988); Prix Gödel (2001)

Shmuel (Muli) Safra est un professeur et chercheur en informatique théorique, de l'université de Tel Aviv.

Biographie

Shmuel Safra a obtenu son PhD (Complexity Of Automata On Infinite Objects) à l'institut Weizmann sous la direction de Amir Pnueli en 1990^[1].

Il a aussi été le directeur de thèse d'Irit Dinur.

Ses travaux portent principalement sur la théorie de la complexité et les automates.

En complexité, il est notamment connu pour le théorème PCP et pour des travaux sur les problèmes d'approximation.

↑ Uriel Feige, Shafi Goldwasser, Laszlo Lovász, Shmuel Safra et Mario Szegedy, « Interactive proofs and the hardness of approximating cliques », Journal of the ACM, vol. 43, n^o 2,‎ 1996, p. 268–292 (DOI 10.1145/226643.226652, lire en ligne)
↑ Sanjeev Arora et Shmuel Safra, « Probabilistic checking of proofs: a new characterization of NP », Journal of the ACM, vol. 45, n^o 1,‎ 1998, p. 70–122 (DOI 10.1145/273865.273901, lire en ligne [archive du 10 juin 2011])
↑ Sanjeev Arora, Carsten Lund, Rajeev Motwani, Madhu Sudan et Mario Szegedy, « Proof verification and the hardness of approximation problems », Journal of the ACM, vol. 45, n^o 3,‎ 1998, p. 501–555 (DOI 10.1145/278298.278306, lire en ligne [archive du 10 juin 2011])