Shmuel Safra

Shmuel Safra Životopis
Narození Jeruzalém
Státní příslušnost izraelský
Výcvik Weizmann Institute
Činnosti Počítačový vědec , univerzitní profesor
Jiná informace
Pracoval pro Tel Avivská univerzita
Dozorce Amir Pnueli
Ocenění Machtey Award (1988)
Gödelova cena (2001)

Shmuel (Muli) Safra je profesor a výzkumný pracovník v teoretické informatice z University of Tel Aviv .

Životopis

Shmuel Safra získal doktorát ( Složitost automatů na nekonečných objektech ) na Weizmannově institutu pod vedením Amira Pnueliho v roce 1990.

V roce 2001 obdržel prestižní Gödelovu cenu za Sanjeev Arora , Uriel Feige , Shafi Goldwasser , Carsten Lund , László Lovász , Rajeev Motwani , Madhu Sudan a Mario Szegedy za větu o PCP .

Byl také vedoucím diplomové práce Irita Dinura .

Funguje

Jeho práce se zaměřuje hlavně na teorii složitosti a automaty .

Ve složitosti je známý zejména pro větu PCP a pro práci na aproximačních problémech .

externí odkazy

Poznámky a odkazy

  1. (in) „  Shmuel Safra  ' , na webu Matematický genealogický projekt
  2. Oficiální stránka Gödelovy ceny
  1. Uriel Feige , Shafi Goldwasser , Laszlo Lovász , Shmuel Safra a Mario Szegedy , „  Interaktivní důkazy a tvrdost přibližných klik  “, Journal of ACM , sv.  43, n O  21996, str.  268–292 ( DOI  10.1145 / 226643.226652 , číst online )
  2. Sanjeev Arora a Shmuel Safra , „  Pravděpodobnostní kontrola důkazů: nová charakteristika NP  “, Journal of ACM , sv.  45, n o  1,1998, str.  70–122 ( DOI  10.1145 / 273865.273901 , číst online [ archiv10. června 2011] )
  3. Sanjeev Arora , Carsten Lund , Rajeev Motwani , Madhu Súdán a Mario Szegedy , „  Ověřování důkazů a tvrdost problémů s aproximací  “, Journal of ACM , sv.  45, n o  3,1998, str.  501–555 ( DOI  10.1145 / 278298.278306 , číst online [ archiv10. června 2011] )