Shmuel Safra

Shmuel Safra Életrajz
Születés Jeruzsálem
Állampolgárság izraeli
Kiképzés Weizmann Intézet
Tevékenységek Számítástechnikus , egyetemi tanár
Egyéb információk
Dolgozott valakinek Tel-Avivi Egyetem
Felügyelő Amir Pnueli
Díjak Machtey-díj (1988)
Gödel-díj (2001)

Sámuel (Muli) Safra professzor és kutató elméleti számítógép-tudomány , a University of Tel Aviv .

Életrajz

Shmuel Safra PhD ( Complexity Of Automata On Infinite Objects ) címet a Weizmann Intézetben szerezte meg Amir Pnueli felügyelete alatt 1990-ben.

2001- ben megkapta a rangos Gödel-díjat Sanjeev Arora , Uriel Feige , Shafi Goldwasser , Carsten Lund , Lovász László , Rajeev Motwani , Madhu Sudan és Mario Szegedy mellett PCP-tételükért .

Ő volt az Irit Dinur szakdolgozat-igazgatója is .

Művek

Munkája elsősorban a komplexitáselméletre és az automatákra összpontosít .

Összetettségében különösen ismert a PCP-tételről és a közelítési problémákkal foglalkozó munkáról .

Külső linkek

Megjegyzések és hivatkozások

  1. (in) "  Sámuel Safra  " , a helyszínen Matematika Genealógia Project
  2. A Gödel-díj hivatalos oldala
  1. Uriel Feige , Shafi Goldwasser , Lovász László , Shmuel Safra és Mario Szegedy , „  Interaktív bizonyítások és a klikkek közelítésének keménysége  ”, Journal of the ACM , vol.  43, n o  21996, P.  268–292 ( DOI  10.1145 / 226643.226652 , online olvasás )
  2. Sanjeev Arora és Shmuel Safra , „  A bizonyítékok valószínűségi ellenőrzése: az NP új jellemzése  ”, Journal of the ACM , vol.  45, n o  1,1998, P.  70–122 ( DOI  10.1145 / 273865.273901 , online olvasás [ archívum2011. június 10] )
  3. Sanjeev Arora , Carsten Lund , Rajeev Motwani , Madhu Sudan és Mario Szegedy , „A  bizonyítás igazolása és a közelítési problémák keménysége  ”, Journal of the ACM , vol.  45, n o  3,1998, P.  501–555 ( DOI  10.1145 / 278298.278306 , olvasható online [ archívum2011. június 10] )