| Property |
Value |
| dbo:abstract
|
- Shmuel Safra (n. en Jerusalén) es un profesor israelí de ciencias de la computación de la Universidad de Tel Aviv. Su investigación incluye las áreas de complejidad computacional y teoría de autómatas. Su trabajo en complejidad computacional incluye la clasificación de problemas de aproximación y la teoría de PCP, incluyendo el , que da una fuerte caracterización de la clase NP, a través de un oráculo que puede ser verificado leyendo sólo un número constante de bits. En su trabajo en teoría de autómatas investiga el determinismo y complementos de autómatas finitos sobre cadenas de caracteres infinitos. En 2001, Safra ganó el Premio Gödel en ciencias de la computación teórica por sus artículos "Interactive Proofs and the Hardness of Approximating Cliques" y "Probabilistic Checking of Proofs: A New Characterization of NP". (es)
- Shmuel Safra (n. en Jerusalén) es un profesor israelí de ciencias de la computación de la Universidad de Tel Aviv. Su investigación incluye las áreas de complejidad computacional y teoría de autómatas. Su trabajo en complejidad computacional incluye la clasificación de problemas de aproximación y la teoría de PCP, incluyendo el , que da una fuerte caracterización de la clase NP, a través de un oráculo que puede ser verificado leyendo sólo un número constante de bits. En su trabajo en teoría de autómatas investiga el determinismo y complementos de autómatas finitos sobre cadenas de caracteres infinitos. En 2001, Safra ganó el Premio Gödel en ciencias de la computación teórica por sus artículos "Interactive Proofs and the Hardness of Approximating Cliques" y "Probabilistic Checking of Proofs: A New Characterization of NP". (es)
|
| dbo:almaMater
| |
| dbo:award
| |
| dbo:birthPlace
| |
| dbo:employer
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
| |
| dbo:wikiPageRevisionID
| |
| prop-es:almaMáter
|
- Ph.D. Instituto Weizmann de Ciencias 1990 (es)
- Ph.D. Instituto Weizmann de Ciencias 1990 (es)
|
| prop-es:empleador
| |
| prop-es:lugarDeNacimiento
|
- Jerusalén, (es)
- Jerusalén, (es)
|
| prop-es:nacionalidad
|
- israelí (es)
- israelí (es)
|
| prop-es:nombre
|
- Shmuel Safra (es)
- Shmuel Safra (es)
|
| prop-es:premios
| |
| prop-es:supervisorDoctoral
| |
| prop-es:área
| |
| dct:subject
| |
| rdf:type
| |
| rdfs:comment
|
- Shmuel Safra (n. en Jerusalén) es un profesor israelí de ciencias de la computación de la Universidad de Tel Aviv. Su investigación incluye las áreas de complejidad computacional y teoría de autómatas. Su trabajo en complejidad computacional incluye la clasificación de problemas de aproximación y la teoría de PCP, incluyendo el , que da una fuerte caracterización de la clase NP, a través de un oráculo que puede ser verificado leyendo sólo un número constante de bits. (es)
- Shmuel Safra (n. en Jerusalén) es un profesor israelí de ciencias de la computación de la Universidad de Tel Aviv. Su investigación incluye las áreas de complejidad computacional y teoría de autómatas. Su trabajo en complejidad computacional incluye la clasificación de problemas de aproximación y la teoría de PCP, incluyendo el , que da una fuerte caracterización de la clase NP, a través de un oráculo que puede ser verificado leyendo sólo un número constante de bits. (es)
|
| rdfs:label
|
- Shmuel Safra (es)
- Shmuel Safra (es)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| foaf:name
|
- Shmuel Safra (es)
- Shmuel Safra (es)
|
| is dbo:wikiPageRedirects
of | |
| is owl:sameAs
of | |
| is foaf:primaryTopic
of | |
