Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Shmuel_Safra> ?p ?o }
- Shmuel_Safra abstract "Shmuel Safra (Hebrew: שמואל ספרא) is an Israeli computer scientist. He is a Professor of Computer Science at Tel Aviv University, Israel. He was born in Jerusalem.Safra's research areas include complexity theory and automata theory. His work in Complexity Theory includes the classification of approximation problems—showing them NP-hard even for weak factors of approximation—and the theory of probabilistically checkable proofs (PCP) and the PCP theorem, which gives stronger characterizations of the class NP, via a membership proof that can be verified reading only a constant number of its bits.His work on automata theory investigates determinization and complementation of finite automata over infinite strings, in particular, the complexity of such translation for Büchi automata, Streett automata and Rabin automata.In 2001, Safra won the Gödel Prize in theoretical computer science for his papers "Interactive Proofs and the Hardness of Approximating Cliques" and "Probabilistic Checking of Proofs: A New Characterization of NP".".
- Shmuel_Safra almaMater Weizmann_Institute_of_Science.
- Shmuel_Safra award Gödel_Prize.
- Shmuel_Safra birthPlace Jerusalem.
- Shmuel_Safra doctoralAdvisor Amir_Pnueli.
- Shmuel_Safra field Computational_complexity_theory.
- Shmuel_Safra field Computer_science.
- Shmuel_Safra wikiPageExternalLink home.
- Shmuel_Safra wikiPageExternalLink ~safra.
- Shmuel_Safra wikiPageID "15875029".
- Shmuel_Safra wikiPageLength "2757".
- Shmuel_Safra wikiPageOutDegree "32".
- Shmuel_Safra wikiPageRevisionID "681771197".
- Shmuel_Safra wikiPageWikiLink Amir_Pnueli.
- Shmuel_Safra wikiPageWikiLink Automata_theory.
- Shmuel_Safra wikiPageWikiLink Büchi_automaton.
- Shmuel_Safra wikiPageWikiLink Category:Gödel_Prize_laureates.
- Shmuel_Safra wikiPageWikiLink Category:Israeli_Jews.
- Shmuel_Safra wikiPageWikiLink Category:Israeli_computer_scientists.
- Shmuel_Safra wikiPageWikiLink Category:Living_people.
- Shmuel_Safra wikiPageWikiLink Category:People_from_Jerusalem.
- Shmuel_Safra wikiPageWikiLink Category:Tel_Aviv_University_faculty.
- Shmuel_Safra wikiPageWikiLink Category:Theoretical_computer_scientists.
- Shmuel_Safra wikiPageWikiLink Category:Weizmann_Institute_of_Science_alumni.
- Shmuel_Safra wikiPageWikiLink Computational_complexity_theory.
- Shmuel_Safra wikiPageWikiLink Computer_Science.
- Shmuel_Safra wikiPageWikiLink Computer_science.
- Shmuel_Safra wikiPageWikiLink Finite-state_machine.
- Shmuel_Safra wikiPageWikiLink Finite_state_machine.
- Shmuel_Safra wikiPageWikiLink Gödel_Prize.
- Shmuel_Safra wikiPageWikiLink Israel.
- Shmuel_Safra wikiPageWikiLink Jerusalem.
- Shmuel_Safra wikiPageWikiLink NP-hard.
- Shmuel_Safra wikiPageWikiLink NP-hardness.
- Shmuel_Safra wikiPageWikiLink NP_(complexity).
- Shmuel_Safra wikiPageWikiLink PCP_(complexity).
- Shmuel_Safra wikiPageWikiLink PCP_theorem.
- Shmuel_Safra wikiPageWikiLink Probabilistically_checkable_proof.
- Shmuel_Safra wikiPageWikiLink Rabin_automaton.
- Shmuel_Safra wikiPageWikiLink Set_cover_problem.
- Shmuel_Safra wikiPageWikiLink Streett_automaton.
- Shmuel_Safra wikiPageWikiLink Tel_Aviv_University.
- Shmuel_Safra wikiPageWikiLink Vertex_cover.
- Shmuel_Safra wikiPageWikiLink Vertex_cover_problem.
- Shmuel_Safra wikiPageWikiLink Weizmann_Institute_of_Science.
- Shmuel_Safra wikiPageWikiLink Ω-automaton.
- Shmuel_Safra wikiPageWikiLinkText "S Safra".
- Shmuel_Safra wikiPageWikiLinkText "Safra".
- Shmuel_Safra wikiPageWikiLinkText "Shmuel Safra".
- Shmuel_Safra almaMater "Ph.D. Weizmann Institute of Science 1990".
- Shmuel_Safra birthPlace Jerusalem.
- Shmuel_Safra caption "Shmuel Safra".
- Shmuel_Safra doctoralAdvisor Amir_Pnueli.
- Shmuel_Safra field Computational_complexity_theory.
- Shmuel_Safra field Computer_science.
- Shmuel_Safra hasPhotoCollection Shmuel_Safra.
- Shmuel_Safra name "Safra, Shmuel".
- Shmuel_Safra name "Shmuel Safra".
- Shmuel_Safra prizes Gödel_Prize.
- Shmuel_Safra shortDescription "Israeli computer scientist".
- Shmuel_Safra wikiPageUsesTemplate Template:Authority_control.
- Shmuel_Safra wikiPageUsesTemplate Template:Gödel_winners.
- Shmuel_Safra wikiPageUsesTemplate Template:Infobox_scientist.
- Shmuel_Safra wikiPageUsesTemplate Template:Lang-he.
- Shmuel_Safra wikiPageUsesTemplate Template:MathGenealogy.
- Shmuel_Safra wikiPageUsesTemplate Template:Persondata.
- Shmuel_Safra workInstitution Tel_Aviv_University.
- Shmuel_Safra description "Israeli computer scientist".
- Shmuel_Safra description "Israeli computer scientist".
- Shmuel_Safra subject Category:Gödel_Prize_laureates.
- Shmuel_Safra subject Category:Israeli_Jews.
- Shmuel_Safra subject Category:Israeli_computer_scientists.
- Shmuel_Safra subject Category:Living_people.
- Shmuel_Safra subject Category:People_from_Jerusalem.
- Shmuel_Safra subject Category:Tel_Aviv_University_faculty.
- Shmuel_Safra subject Category:Theoretical_computer_scientists.
- Shmuel_Safra subject Category:Weizmann_Institute_of_Science_alumni.
- Shmuel_Safra hypernym Scientist.
- Shmuel_Safra type Agent.
- Shmuel_Safra type List.
- Shmuel_Safra type Person.
- Shmuel_Safra type Scientist.
- Shmuel_Safra type List.
- Shmuel_Safra type Occupation.
- Shmuel_Safra type Scientist.
- Shmuel_Safra type Person.
- Shmuel_Safra type Agent.
- Shmuel_Safra type NaturalPerson.
- Shmuel_Safra type Thing.
- Shmuel_Safra type Q215627.
- Shmuel_Safra type Q5.
- Shmuel_Safra type Q901.
- Shmuel_Safra type Person.
- Shmuel_Safra comment "Shmuel Safra (Hebrew: שמואל ספרא) is an Israeli computer scientist. He is a Professor of Computer Science at Tel Aviv University, Israel. He was born in Jerusalem.Safra's research areas include complexity theory and automata theory.".
- Shmuel_Safra label "Shmuel Safra".
- Shmuel_Safra sameAs Shmuel_Safra.
- Shmuel_Safra sameAs Shmuel_Safra.
- Shmuel_Safra sameAs Shmuel_Safra.
- Shmuel_Safra sameAs שמואל_ספרא.
- Shmuel_Safra sameAs m.03qczld.