Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:02432625n
Noun Named Entity
Categories: Fallecidos en 2009, Informáticos de Israel, Hombres, Ganadores del Premio Turing, Nacidos en 1941
ES
Amir Pnueli
ES
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. Wikipedia
Definitions
Relations
Sources
ES
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. Wikipedia
científico israelí Wikidata
IS A
ser humano
AWARD RECEIVED
EN
ACM Software System Award
Premio Turing
Premio Israel
ACM Fellow
CAUSE OF DEATH
hemorragia cerebral
COUNTRY OF CITIZENSHIP
Israel
DESCRIBED BY SOURCE
Obálky knih
DOCTORAL ADVISOR
Chaim L. Pekeris
DOCTORAL STUDENT
Mordechai Ben-Ari
Dan Zachai
EN
Nissim Francez
EN
Doron A. Peled
EDUCATED AT
Instituto Weizmann de Ciencias
Technion
EMPLOYER
Universidad de Tel Aviv
Universidad de Nueva York
EN
New York University Tandon School of Engineering
FIELD OF WORK
informática
GIVEN NAME
Amir
MANNER OF DEATH
forma de la muerte
MEMBER OF
Academia Israelí de Ciencias y Humanidades
Association for Computing Machinery
Academia Nacional de Ingeniería
OCCUPATION
ingeniero
informático
matemático
profesor universitario
pedagogo
PLACE OF BIRTH
Nahalal
PLACE OF DEATH
Nueva York
SEX OR GENDER
masculino
WORK LOCATION
Instituto Weizmann de Ciencias
Wikipedia
ES
Amir Pnueli
Wikidata
ES
Amir Pnueli

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License