| Property |
Value |
| dbo:abstract
|
- Joseph Sifakis (Heraclión, Creta, 26 de diciembre de 1946) es un científico de la computación griego naturalizado francés, ganador del Premio Turing de 2007 junto con Edmund Clarke y E. Allen Emerson, por su trabajo en el método conocido como model checking. Estudió Ingeniería Eléctrica en la Universidad Técnica Nacional de Atenas, y Ciencias de la Computación en la Universidad de Grenoble. Actualmente (2007) vive en Francia y trabaja para el Centre national de la recherche scientifique (CNRS), en el laboratorio VERIMAG cerca de Grenoble. (es)
- Joseph Sifakis (Heraclión, Creta, 26 de diciembre de 1946) es un científico de la computación griego naturalizado francés, ganador del Premio Turing de 2007 junto con Edmund Clarke y E. Allen Emerson, por su trabajo en el método conocido como model checking. Estudió Ingeniería Eléctrica en la Universidad Técnica Nacional de Atenas, y Ciencias de la Computación en la Universidad de Grenoble. Actualmente (2007) vive en Francia y trabaja para el Centre national de la recherche scientifique (CNRS), en el laboratorio VERIMAG cerca de Grenoble. (es)
|
| dbo:award
| |
| dbo:birthPlace
| |
| dbo:nationality
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
| |
| dbo:wikiPageRevisionID
| |
| prop-es:descripción
|
- Joseph Sifakis en 2008. (es)
- Joseph Sifakis en 2008. (es)
|
| prop-es:fechaDeNacimiento
| |
| prop-es:imagen
|
- Joseph_Sifakis_img_0966.jpg (es)
- Joseph_Sifakis_img_0966.jpg (es)
|
| prop-es:lugarDeNacimiento
|
- Heraclión, Creta (es)
- Heraclión, Creta (es)
|
| prop-es:nacionalidad
|
- griega - francesa (es)
- griega - francesa (es)
|
| prop-es:nombre
|
- Joseph Sifakis (es)
- Joseph Sifakis (es)
|
| prop-es:nombreDeNacimiento
|
- Joseph Sifakis (es)
- Joseph Sifakis (es)
|
| prop-es:ocupación
|
- informático (es)
- informático (es)
|
| prop-es:período
| |
| prop-es:predecesor
| |
| prop-es:premios
|
- (es)
- Premio Turing 2007 (es)
- (es)
- Premio Turing 2007 (es)
|
| prop-es:sucesor
| |
| prop-es:tamaño
| |
| prop-es:título
| |
| prop-es:web
| |
| dct:subject
| |
| rdf:type
| |
| rdfs:comment
|
- Joseph Sifakis (Heraclión, Creta, 26 de diciembre de 1946) es un científico de la computación griego naturalizado francés, ganador del Premio Turing de 2007 junto con Edmund Clarke y E. Allen Emerson, por su trabajo en el método conocido como model checking. Estudió Ingeniería Eléctrica en la Universidad Técnica Nacional de Atenas, y Ciencias de la Computación en la Universidad de Grenoble. Actualmente (2007) vive en Francia y trabaja para el Centre national de la recherche scientifique (CNRS), en el laboratorio VERIMAG cerca de Grenoble. (es)
- Joseph Sifakis (Heraclión, Creta, 26 de diciembre de 1946) es un científico de la computación griego naturalizado francés, ganador del Premio Turing de 2007 junto con Edmund Clarke y E. Allen Emerson, por su trabajo en el método conocido como model checking. Estudió Ingeniería Eléctrica en la Universidad Técnica Nacional de Atenas, y Ciencias de la Computación en la Universidad de Grenoble. Actualmente (2007) vive en Francia y trabaja para el Centre national de la recherche scientifique (CNRS), en el laboratorio VERIMAG cerca de Grenoble. (es)
|
| rdfs:label
|
- Joseph Sifakis (es)
- Joseph Sifakis (es)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:homepage
| |
| foaf:isPrimaryTopicOf
| |
| foaf:name
|
- Barbara Liskov (es)
- Joseph Sifakis (es)
- Barbara Liskov (es)
- Joseph Sifakis (es)
|
| is prop-es:predecesor
of | |
| is owl:sameAs
of | |
| is foaf:primaryTopic
of | |
