Loading AI tools
professeur et chercheur en informatique israélien De Wikipédia, l'encyclopédie libre
Shmuel (Muli) Safra est un professeur et chercheur en informatique théorique, de l'université de Tel Aviv.
Naissance | |
---|---|
Nationalité | |
Formation | |
Activités |
A travaillé pour | |
---|---|
Directeur de thèse | |
Distinctions |
Machtey Award () Prix Gödel () |
Shmuel Safra a obtenu son PhD (Complexity Of Automata On Infinite Objects) à l'institut Weizmann sous la direction de Amir Pnueli en 1990[1].
Il a reçu le prestigieux prix Gödel en 2001[2] avec Sanjeev Arora, Uriel Feige, Shafi Goldwasser, Carsten Lund, László Lovász, Rajeev Motwani, Madhu Sudan et Mario Szegedy pour leur théorème PCP[A 1],[A 2],[A 3].
Il a aussi été le directeur de thèse d'Irit Dinur.
Ses travaux portent principalement sur la théorie de la complexité et les automates.
En complexité, il est notamment connu pour le théorème PCP et pour des travaux sur les problèmes d'approximation.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.