Narození | Jeruzalém |
---|---|
Státní příslušnost | izraelský |
Výcvik | Weizmann Institute |
Činnosti | Počítačový vědec , univerzitní profesor |
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 .
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 .
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 .