| Jewiki unterstützen. Jewiki, die größte Online-Enzyklopädie zum Judentum.
Helfen Sie Jewiki mit einer kleinen oder auch größeren Spende. Einmalig oder regelmäßig, damit die Zukunft von Jewiki gesichert bleibt ... Vielen Dank für Ihr Engagement! (→ Spendenkonten) |
How to read Jewiki in your desired language · Comment lire Jewiki dans votre langue préférée · Cómo leer Jewiki en su idioma preferido · בשפה הרצויה Jewiki כיצד לקרוא · Как читать Jewiki на предпочитаемом вами языке · كيف تقرأ Jewiki باللغة التي تريدها · Como ler o Jewiki na sua língua preferida |
Shmuel Safra
Shmuel Safra (hebräisch שמואל "מולי" ספרא, genannt Muli Safra) (* in Jerusalem) ist ein israelischer Informatiker.
Safra wurde 1990 am Weizmann-Institut für Wissenschaften bei Amir Pnueli promoviert (Complexity of Automata on Infinite Objects). Als Post-Doc war er an der Stanford University und am IBM Almaden Research Center, wo es zu seiner Zusammenarbeit mit Sanjeev Arora über das PCP-Theorem kam. Er ist Professor für Informatik an der Universität Tel Aviv.
2001 erhielt er den Gödel-Preis für seine Beiträge zum PCP-Theorem[1]. Neben Komplexitätstheorie befasst er sich auch mit Automatentheorie.
Zu seinen Doktoranden zählt Irit Dinur.
Weblinks
- Muli Safra's home page – Homepage an der Universität Tel Aviv
Einzelnachweise
- ↑ Sanjeev Arora, Safra: Probabilistic checking of proofs: A new characterization of NP, Journal of the ACM, Band 45, 1998, S. 70–122
| Personendaten | |
|---|---|
| NAME | Safra, Shmuel |
| KURZBESCHREIBUNG | israelischer Informatiker |
| GEBURTSDATUM | 20. Jahrhundert |
| GEBURTSORT | Jerusalem |
| Dieser Artikel basiert ursprünglich auf dem Artikel Shmuel Safra aus der freien Enzyklopädie Wikipedia und steht unter der Doppellizenz GNU-Lizenz für freie Dokumentation und Creative Commons CC-BY-SA 3.0 Unported. In der Wikipedia ist eine Liste der ursprünglichen Wikipedia-Autoren verfügbar. |