Shmuel Safra

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

Einzelnachweise

  1. ↑ Sanjeev Arora, Safra: Probabilistic checking of proofs: A new characterization of NP, Journal of the ACM, Band 45, 1998, S. 70–122

Wikimedia Foundation.

Игры ⚽ Поможем написать курсовую

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Shmuel Safra — Nacimiento Jerusalén,  Israel Nacionalidad israelí Campo Complejidad computaci …   Wikipedia Español

  • Shmuel Safra — Infobox Scientist name = Shmuel Safra image width = 150px caption = Shmuel Safra birth date = birth place = death date = death place = residence = citizenship = nationality = ethnicity = field = Computer Science, Complexity Theory work… …   Wikipedia

  • Safra — ist der Familienname folgender Personen: Edmond Safra (1931–1999), brasilianischer Unternehmer Joseph Safra (* um 1939), brasilianischer Unternehmer Shmuel Safra (genannt Muli Safra), israelischer Informatiker Safra ist der Vorname folgender… …   Deutsch Wikipedia

  • PCP theorem — In computational complexity theory, the PCP theorem states that every decision problem in the NP complexity class has probabilistically checkable proofs (proofs that can be checked by a randomized algorithm) of constant query complexity and… …   Wikipedia

  • Prix Gödel — Nommé en l honneur du logicien Kurt Gödel, le prix Gödel a été créé en 1992 par l European Association for Theoretical Computer Science (EATCS), l Association for Computing Machinery (ACM) et le groupe de l ACM sur l algorithmique et la théorie… …   Wikipédia en Français

  • PCP-Theorem — Das PCP Theorem ist ein Satz aus der theoretischen Informatik (Komplexitätstheorie). Es beruht auf dem Konzept des zufällig verifizierbaren Beweises eines mathematischen Satzes (probabilistic checkable proof, PCP), der wiederum auf das Konzept… …   Deutsch Wikipedia

  • List of Israelis — This is a list of prominent Israelis (including Arab citizens of Israel).Historical figuresPoliticians* Chaim Weizmann first President of Israel (1949 52) * David Ben Gurion first Prime Minister of Israel (1948 54, 1955 63) * Moshe Sharett prime… …   Wikipedia

  • Géraud Sénizergues — est professeur d informatique à l Université de Bordeaux et membre du Laboratoire bordelais de recherche en informatique. Récipiendaire du Prix Gödel en 2002 pour avoir démontré la décidabilité de l égalité des langages reconnus par des automates …   Wikipédia en Français

  • Johan Håstad — Johan Håstad, né en 1960, est un informaticien théorique suédois connu particulièrement pour son travail sur la complexité algorithmique. Il a reçu le Prix Gödel en 1994 et 2011 et le Doctoral Dissertation Award de l Association for Computing… …   Wikipédia en Français

  • László Lovász — (9 mars 1948, à Budapest ) est un mathématicien connu pour ses travaux en combinatoire et dans la théorie des graphes. Sommaire …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”