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:complexity_theory
automata theory theoretical computer science |
https://www.w3.org/2000/01/rdf-schema#label |
Shmuel Safra
|
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
|