Statements (20)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:person
|
| gptkbp:affiliation |
gptkb:Tel_Aviv_University
|
| gptkbp:almaMater |
gptkb:Hebrew_University_of_Jerusalem
|
| gptkbp:awardReceived |
gptkb:Gödel_Prize
gptkb:Paris_Kanellakis_Award |
| gptkbp:birthYear |
1959
|
| gptkbp:doctoralAdvisor |
gptkb:Avi_Wigderson
|
| gptkbp:field |
gptkb:theoretical_computer_science
gptkb:complexity_theory automata theory |
| gptkbp:knownFor |
work on approximation algorithms
Safra's construction work on automata on infinite words |
| gptkbp:nationality |
gptkb:Israeli
|
| gptkbp:occupation |
gptkb:computer_scientist
|
| gptkbp:bfsParent |
gptkb:Arora–Safra_theorem
gptkb:Two_Query_Probabilistic_Checking_of_Proofs_with_Subconstant_Error gptkb:probabilistically_checkable_proofs |
| gptkbp:bfsLayer |
6
|
| http://www.w3.org/2000/01/rdf-schema#label |
Shmuel Safra
|