Amir Pnueli

Amir Pnueli

Amir Pnueli

Amir Pnueli
Amir Pnueli.jpg
Nacimiento 22 de abril de 1941
Nahalal, Israel
Fallecimiento 2 de noviembre de 2009 68 años
Nueva York, Estados Unidos
Nacionalidad(es) Israelí Bandera de Israel
Campo(s) Ciencias de la computación
Instituciones Instituto Weizmann
Universidad de Nueva York
Premios destacados Premio Turing, Premio Israel

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 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". 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.

Enlaces externos (en inglés)

Obtenido de "Amir Pnueli"

Wikimedia foundation. 2010.

Игры ⚽ Нужна курсовая?

Mira otros diccionarios:

  • Amir Pnueli — 2005 Amir Pnueli (* 22. April 1941 in Nahalal, Palästina; † 2. November 2009 in New York City, New York) war ein israelischer Informatiker, der wegweisende Verdienste um die Einführung der temporalen Logik in die Informatik sowie die …   Deutsch Wikipedia

  • Amir Pnueli — Le Pr Amir Pnueli en janvier 2005 Amir Pnueli (hébreu : אמיר פנואלי) est un informaticien israélien né le 22 avril 1941 et mort le 2 novembre 2009 d une hémorragie intra cérébrale …   Wikipédia en Français

  • Amir Pnueli — Infobox Scientist name = Amir Pnueli image width = 150px caption = birth date = Birth date and age|1941|4|22|mf=y birth place = Nahalal, Israel death date = death place = residence = citizenship = nationality = Israeli ethnicity = field =… …   Wikipedia

  • Pnueli — Amir Pnueli 2005 Amir Pnueli (* 22. April 1941 in Nahalal, Palästina) ist ein israelischer Informatiker, der wegweisende Verdienste um die Einführung der temporalen Logik in die Informatik sowie die Verifizierung von Programmen und Systemen… …   Deutsch Wikipedia

  • Amir — (arabe : امیر) est un prénom arabe qui signifie prince. Il possède la même étymologie que émir. Le féminin de ce prénom est Amira. On le rapproche de prénoms germaniques formés à l aide de rik, le roi, par exemple Éric ; il est donc… …   Wikipédia en Français

  • PNUELI, AMIR — (1941– ), Israeli computer scientist. Born in Nahalal, Israel, he gained his B.Sc. in mathematics from the Haifa Technion and Ph.D. in applied mathematics from the Weizmann Institute for his thesis on calculating ocean tides. His interest in… …   Encyclopedia of Judaism

  • Пнуели, Амир — Амир Пнуели אמיר פנואלי Амир Пнуели, 1996 год …   Википедия

  • Weizmann Institute of Science — Infobox University name = Weizmann Institute of Science native name = מכון ויצמן למדע latin name = motto = established = 1949 type = Public endowment = staff = faculty = president = Prof. Daniel Zajfman provost = principal = rector = chancellor …   Wikipedia

  • Instituto Weizmann de Ciencias — מכון ויצמן למדע Instituto Weizmann de Ciencias Tipo Pública Fundación 1949 Localización Dirección Rehovot Israel …   Wikipedia Español

  • List of Israel Prize recipients — This is a partial list of winners of the Israel Prize.By year2008*David Weiss Halivni Talmud *Moshe Oren Biochemistry *Noga Alon Mathematics *Nissan Nativ Theater cite news |first=|last=|title=Nissan Nativ dead at 86: Prominent Israeli theater… …   Wikipedia

Compartir el artículo y extractos

Link directo
… Do a right-click on the link above
and select “Copy Link”