Shmuel Safra

Shmuel Safra ({{#invoke:Vorlage:lang|full|CODE=he |SCRIPTING=Hebr |SERVICE={{#if: {{#invoke:TemplUtl|faculty| }} | {{#if: {{#invoke:TemplUtl|faculty| 0}} | Ivrit | {{#if: {{#invoke:TemplUtl|faculty| 0}} | neuhebräisch | {{#if: {{#invoke:TemplUtl|faculty| 0}} | hebräisch}}}}}} | hebräisch}} |SUITABLE=iv modern prefix neu}}, 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<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 Internationalen Mathematikerkongress (Mathematics of computation through the lens of linear equations and lattices).

Zu seinen Doktoranden zählt Irit Dinur.

Weblinks

• Muli Safra's home page – Homepage an der Universität Tel Aviv

Einzelnachweise

<references />

{{#ifeq: p | p | | {{#if: 93947294 | |

}} }}{{#ifeq:||{{#if: 2022-07-08 | [[Kategorie:Wikipedia:GND fehlt {{#invoke:Str|left|2022-07-08|7}}]] }}{{#if: ja | {{#if: 2022-07-08 | | }} }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#ifeq: p | p | {{#if: | | {{#if: {{#statements:P227}} | | }} }} }}{{#ifeq: p | p | {{#if: | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P227}} | | }} }} }} }}{{#ifeq: p | p | {{#if: | | {{#if: {{#statements:P244}} | | }} }} }}{{#ifeq: p | p | {{#if: | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P244}} | | }} }} }} }}{{#ifeq: p | p | {{#if: 93947294 | | {{#if: {{#statements:P214}} | | }} }} }}{{#ifeq: p | p | {{#if: 93947294 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P214}} | | }} }} }} }}Vorlage:Wikidata-Registrierung

{{#if: Safra, Shmuel | {{#if: | {{#if: israelischer Informatiker | {{#if: 20. Jahrhundert | {{#if: Jerusalem | {{#if: | {{#if: |