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. Neben Komplexitätstheorie befasst er sich auch mit Automatentheorie.

Property Value
dbo:abstract
  • 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. Neben Komplexitätstheorie befasst er sich auch mit Automatentheorie. Zu seinen Doktoranden zählt Irit Dinur. (de)
  • 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. Neben Komplexitätstheorie befasst er sich auch mit Automatentheorie. Zu seinen Doktoranden zählt Irit Dinur. (de)
dbo:birthDate
  • 0020-01-01 (xsd:date)
dbo:birthPlace
dbo:viafId
  • 298686973
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 5607313 (xsd:integer)
dbo:wikiPageRevisionID
  • 138645813 (xsd:integer)
prop-de:geburtsdatum
  • 20 (xsd:integer)
prop-de:kurzbeschreibung
  • israelischer Informatiker
prop-de:typ
  • p
dc:description
  • israelischer Informatiker
dct:subject
rdf:type
rdfs:comment
  • 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. Neben Komplexitätstheorie befasst er sich auch mit Automatentheorie. (de)
  • 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. Neben Komplexitätstheorie befasst er sich auch mit Automatentheorie. (de)
rdfs:label
  • Shmuel Safra (de)
  • Shmuel Safra (de)
owl:sameAs
prov:wasDerivedFrom
foaf:givenName
  • Shmuel
foaf:isPrimaryTopicOf
foaf:name
  • Safra, Shmuel (de)
  • Shmuel Safra
foaf:surname
  • Safra
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is foaf:primaryTopic of