https://wiki-de.moshellshocker.dns64.de/index.php?action=history&feed=atom&title=Shmuel_SafraShmuel Safra - Versionsgeschichte2026-06-09T18:57:40ZVersionsgeschichte dieser Seite in Wikipedia (Deutsch) – Lokale KopieMediaWiki 1.43.8https://wiki-de.moshellshocker.dns64.de/index.php?title=Shmuel_Safra&diff=2060698&oldid=previmported>Silewe: Normdaten überprüft2022-07-08T13:20:41Z<p>Normdaten überprüft</p>
<p><b>Neue Seite</b></p><div>'''Shmuel Safra''' ({{heS|שמואל "מולי" ספרא}}, genannt Muli Safra) (* in [[Jerusalem]]) ist ein [[Israel|israelischer]] [[Informatik]]er.<br />
<br />
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]].<br />
<br />
2001 erhielt er den [[Gödel-Preis]] für seine Beiträge zum PCP-Theorem<ref>Sanjeev Arora, Safra: Probabilistic checking of proofs: A new characterization of NP, Journal of the ACM, Band 45, 1998, S. 70–122</ref>. Neben [[Komplexitätstheorie]] befasst er sich auch mit [[Automatentheorie]]. 2022 war er eingeladener Sprecher auf dem [[Internationaler Mathematikerkongress|Internationalen Mathematikerkongress]] (''Mathematics of computation through the lens of linear equations and lattices'').<br />
<br />
Zu seinen Doktoranden zählt [[Irit Dinur]].<br />
<br />
== Weblinks ==<br />
<br />
* ''[http://www.math.tau.ac.il/~safra/ Muli Safra's home page]'' – Homepage an der Universität Tel Aviv<br />
<br />
== Einzelnachweise ==<br />
<references /><br />
<br />
{{Normdaten|TYP=p|GND=|VIAF=93947294|GNDfehlt=ja|GNDCheck=2022-07-08}}<br />
<br />
{{SORTIERUNG:Safra, Shmuel}}<br />
[[Kategorie:Informatiker]]<br />
[[Kategorie:Hochschullehrer (Universität Tel Aviv)]]<br />
[[Kategorie:Israeli]]<br />
[[Kategorie:Geboren im 20. Jahrhundert]]<br />
[[Kategorie:Mann]]<br />
<br />
{{Personendaten<br />
|NAME=Safra, Shmuel<br />
|ALTERNATIVNAMEN=<br />
|KURZBESCHREIBUNG=israelischer Informatiker<br />
|GEBURTSDATUM=20. Jahrhundert<br />
|GEBURTSORT=[[Jerusalem]]<br />
|STERBEDATUM=<br />
|STERBEORT=<br />
}}</div>imported>Silewe