| Property |
Value |
| dbo:abstract
|
- Amir Pnueli (n. 22 de abril de 1941 - 2 de noviembre de 2009) 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 (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". Durante una estancia postdoctoral en la Universidad de Stanford, cambió su campo de interés. Regresó a Israel como investigador, y tras una serie de ascensos académicos se convirtió en profesor de Ciencias de la Computación en el Instituto Weizmann en 1981. En 1999, Pnueli se mudó al Departamento de Ciencias de la Computación de la Universidad de Nueva York. Además, durante su carrera Pnueli ha fundado dos compañías tecnológicas. Estuvo casado, y tuvo tres hijos y un nieto. Falleció el 2 de noviembre de 2009 en Nueva York. (es)
- Amir Pnueli (n. 22 de abril de 1941 - 2 de noviembre de 2009) 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 (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". Durante una estancia postdoctoral en la Universidad de Stanford, cambió su campo de interés. Regresó a Israel como investigador, y tras una serie de ascensos académicos se convirtió en profesor de Ciencias de la Computación en el Instituto Weizmann en 1981. En 1999, Pnueli se mudó al Departamento de Ciencias de la Computación de la Universidad de Nueva York. Además, durante su carrera Pnueli ha fundado dos compañías tecnológicas. Estuvo casado, y tuvo tres hijos y un nieto. Falleció el 2 de noviembre de 2009 en Nueva York. (es)
|
| dbo:award
| |
| dbo:birthPlace
| |
| dbo:deathPlace
| |
| dbo:employer
| |
| dbo:nationality
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
| |
| dbo:wikiPageRevisionID
| |
| prop-es:empleador
| |
| prop-es:imagen
|
- Amir Pnueli.jpg (es)
- Amir Pnueli.jpg (es)
|
| prop-es:lugarDeFallecimiento
| |
| prop-es:lugarDeNacimiento
|
- Nahalal, Israel (es)
- Nahalal, Israel (es)
|
| prop-es:nacionalidad
| |
| prop-es:nombre
|
- Amir Pnueli (es)
- Amir Pnueli (es)
|
| prop-es:período
| |
| prop-es:predecesor
| |
| prop-es:premios
|
- Premio Israel (es)
- Premio Turing en 1996. (es)
- Premio Israel (es)
- Premio Turing en 1996. (es)
|
| prop-es:sucesor
| |
| prop-es:tamañoDeImagen
| |
| prop-es:título
| |
| prop-es:área
| |
| dct:subject
| |
| rdf:type
| |
| rdfs:comment
|
- Amir Pnueli (n. 22 de abril de 1941 - 2 de noviembre de 2009) 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. Además, durante su carrera Pnueli ha fundado dos compañías tecnológicas. Estuvo casado, y tuvo tres hijos y un nieto. Falleció el 2 de noviembre de 2009 en Nueva York. (es)
- Amir Pnueli (n. 22 de abril de 1941 - 2 de noviembre de 2009) 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. Además, durante su carrera Pnueli ha fundado dos compañías tecnológicas. Estuvo casado, y tuvo tres hijos y un nieto. Falleció el 2 de noviembre de 2009 en Nueva York. (es)
|
| rdfs:label
|
- Amir Pnueli (es)
- Amir Pnueli (es)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| foaf:name
|
- Douglas Engelbart (es)
- Amir Pnueli (es)
- Douglas Engelbart (es)
- Amir Pnueli (es)
|
| is prop-es:predecesor
of | |
| is prop-es:sucesor
of | |
| is prop-es:supervisorDoctoral
of | |
| is owl:sameAs
of | |
| is foaf:primaryTopic
of | |
