Amir Pnueli | DBpedia LatAm

Amir Pnueli fue un científico de la computación israelí que recibió el Premio Turing de la ACM en 1996 por trabajo original que introdujo la lógica temporal en las ciencias de la computación, y por sobresalientes contribuciones a la verificación de programas y sistemas. Nacido en Nahalal (Israel), Pnueli recibió su licenciatura en Matemáticas en el Technion de Haifa, y su doctorado en matemática aplicada por el Instituto Científico Weizmann. Su tesis trata del "Cálculo de Mareas en el Océano".

dbpedia-owl:award	dbpedia-latam:Premio_Israel dbpedia-latam:Premio_Turing
dbpedia-owl:birthPlace	dbpedia-latam:Israel dbpedia-latam:Nahalal
Campos	dbpedia-latam:Ciencias_de_la_computación
rdfs:comment	Amir Pnueli fue un científico de la computación israelí que recibió el Premio Turing de la ACM en 1996 por trabajo original que introdujo la lógica temporal en las ciencias de la computación, y por sobresalientes contribuciones a la verificación de programas y sistemas. Nacido en Nahalal (Israel), Pnueli recibió su licenciatura en Matemáticas en el Technion de Haifa, y su doctorado en matemática aplicada por el Instituto Científico Weizmann. Su tesis trata del "Cálculo de Mareas en el Océano". (es)
dbpedia-owl:deathPlace	dbpedia-latam:Estados_Unidos dbpedia-latam:Nueva_York
foaf:depiction	<http://commons.wikimedia.org/wiki/Special:FilePath/Amir_Pnueli.jpg>
Is dbpedia-owl:doctoralAdvisor of	dbpedia-latam:Shmuel_Safra
dbpedia-owl:field	dbpedia-latam:Ciencias_de_la_computación
Imagen	Amir Pnueli.jpg (es)
Institución De Trabajo	dbpedia-latam:Instituto_Weizmann dbpedia-latam:Universidad_de_Nueva_York
foaf:isPrimaryTopicOf	wiki-latam:Amir_Pnueli
rdfs:label	Amir Pnueli (es)
Lugar De Fallecimiento	dbpedia-latam:Estados_Unidos dbpedia-latam:Nueva_York
Lugar De Nacimiento	Nahalal, Israel (es)
Nacionalidad	dbpedia-latam:Ísraelí
foaf:name	Amir Pnueli (es) Douglas Engelbart (es)
dbpedia-owl:nationality	dbpedia-latam:Ísraelí
Nombre	Amir Pnueli (es)
Período	1996 (xsd:integer)
Predecesor	dbpedia-latam:Manuel_Blum
Is Predecesor of	dbpedia-latam:Douglas_Engelbart
Premios	Premio Israel (es) Premio Turing en 1996. (es)
Is foaf:primaryTopic of	wiki-latam:Amir_Pnueli
dcterms:subject	dbpedia-latam:Categoría:Ganadores_del_Premio_Turing dbpedia-latam:Categoría:Informáticos_de_Israel
Sucesor	dbpedia-latam:Douglas_Engelbart
Is Sucesor of	dbpedia-latam:Manuel_Blum
Is Supervisor Doctoral of	dbpedia-latam:Shmuel_Safra
Tamaño	150 (xsd:integer)
dbpedia-owl:thumbnail	<http://commons.wikimedia.org/wiki/Special:FilePath/Amir_Pnueli.jpg?width=300>
rdf:type	dbpedia-owl:Agent dbpedia-owl:Person dbpedia-owl:Scientist schema:Person <http://wikidata.dbpedia.org/resource/Q215627> <http://wikidata.dbpedia.org/resource/Q5> <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Agent> <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson> owl:Thing foaf:Person
Título	dbpedia-latam:Premio_Turing
prov:wasDerivedFrom	wiki-latam:Amir_Pnueli?oldid=72333158
dbpedia-owl:wikiPageExternalLink	<http://www.cs.nyu.edu/cs/faculty/pnueli/> <http://www.wisdom.weizmann.ac.il/math/profile/scientists/pnueli-profile.html> <http://www.wisdom.weizmann.ac.il/~amir/>
dbpedia-owl:wikiPageID	478801 (xsd:integer)
dbpedia-owl:wikiPageLength	2615 (xsd:integer)
dbpedia-owl:wikiPageOutDegree	37 (xsd:integer)
dbpedia-owl:wikiPageRevisionID	72333158 (xsd:integer)
prop-latam:wikiPageUsesTemplate	dbpedia-latam:Plantilla:Ficha_de_científico dbpedia-latam:Plantilla:NF dbpedia-latam:Plantilla:Sucesión
dbpedia-owl:wikiPageWikiLink	[31 values]
Is dbpedia-owl:wikiPageWikiLink of	dbpedia-latam:Douglas_Engelbart dbpedia-latam:Instituto_Weizmann_de_Ciencias dbpedia-latam:Manuel_Blum dbpedia-latam:Premio_Turing dbpedia-latam:Shmuel_Safra