Logo
Unionpedia
Comunicación
Disponible en Google Play
¡Nuevo! ¡Descarga Unionpedia en tu dispositivo Android™!
Gratis
¡Más rápido que el navegador!
 

Amir Pnueli

Índice Amir Pnueli

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.

26 relaciones: Association for Computing Machinery, Ciencias de la computación, Doctorado, Douglas Engelbart, Estados Unidos, Haifa, Informático teórico, Instituto Weizmann de Ciencias, Israel, Lógica temporal, Licenciatura, Manuel Blum, Matemática aplicada, Nueva York, Premio Israel, Premio Turing, Technion, Universidad de Nueva York, Universidad Stanford, 1941, 1981, 1996, 1999, 2 de noviembre, 2009, 22 de abril.

Association for Computing Machinery

ACM es el acrónimo de Association for Computing Machinery (Asociación de Maquinaria Computacional).

¡Nuevo!!: Amir Pnueli y Association for Computing Machinery · Ver más »

Ciencias de la computación

Las ciencias de la computación estudian los fundamentos teóricos de la información y el cómputo, junto con técnicas prácticas para la implementación y aplicación de estos fundamentos teóricos.

¡Nuevo!!: Amir Pnueli y Ciencias de la computación · Ver más »

Doctorado

El doctorado es el más alto grado académico que confieren las universidades u otras instituciones autorizadas.

¡Nuevo!!: Amir Pnueli y Doctorado · Ver más »

Douglas Engelbart

Douglas Carl Engelbart (Portland, Oregón; 30 de enero de 1925-Atherton, California; 2 de julio de 2013) fue un inventor estadounidense, descendiente de noruegos.

¡Nuevo!!: Amir Pnueli y Douglas Engelbart · Ver más »

Estados Unidos

«EUA», «US», «USA» y «United States» redirigen aquí.

¡Nuevo!!: Amir Pnueli y Estados Unidos · Ver más »

Haifa

Haifa (Ḥayfā o Ḥefa) es la mayor ciudad del norte de Israel y la tercera ciudad más grande del país después de Jerusalén y Tel Aviv.

¡Nuevo!!: Amir Pnueli y Haifa · Ver más »

Informático teórico

Un científico de la computación es una persona con conocimientos adquiridos en ciencias de la computación, especializado en el estudio de los fundamentos teóricos de la información y la computación además de su aplicación.

¡Nuevo!!: Amir Pnueli e Informático teórico · Ver más »

Instituto Weizmann de Ciencias

El Instituto Weizmann de Ciencias (en hebreo: מכון ויצמן למדע), conocido como Machon Weizmann es una universidad y un instituto de investigación en Rehovot, Israel.

¡Nuevo!!: Amir Pnueli e Instituto Weizmann de Ciencias · Ver más »

Israel

Israel (יִשְרָאֵל Yisra'el; إِسْرَائِيل Isrā'īl), oficialmente Estado de Israel (Medinat Yisra'el, AFI:; Dawlat Isrā'īl, AFI), es un país soberano de Asia, ubicado en la región de Oriente Próximo, en la ribera sudoriental del mar Mediterráneo.

¡Nuevo!!: Amir Pnueli e Israel · Ver más »

Lógica temporal

La lógica temporal es una extensión de la lógica modal, la cual es prácticamente usada en sistemas de reglas, donde está presente el tiempo.

¡Nuevo!!: Amir Pnueli y Lógica temporal · Ver más »

Licenciatura

La licenciatura es el título académico o grado académico que se obtiene tras realizar ciertos estudios de educación superior de entre tres y seis años de duración.

¡Nuevo!!: Amir Pnueli y Licenciatura · Ver más »

Manuel Blum

Manuel Blum (Caracas, Venezuela 26 de abril de 1938) es un informático venezolano conocido por ser el único sudamericano que ha recibido Premio Turing en 1995 "En reconocimiento de sus contribuciones a los fundamentos de la teoría de la complejidad computacional y su aplicación a la criptografía y la verificación de programas".

¡Nuevo!!: Amir Pnueli y Manuel Blum · Ver más »

Matemática aplicada

La matemática aplicada —también matemáticas aplicadas— se refiere a aquellos métodos y herramientas matemáticos que pueden ser utilizados en el análisis o resolución de problemas pertenecientes al área de las ciencias básicas o aplicadas, como el cálculo, el álgebra lineal, las ecuaciones diferenciales y otros procedimientos ideados desde que se acuñó el concepto.

¡Nuevo!!: Amir Pnueli y Matemática aplicada · Ver más »

Nueva York

Nueva York (New York), oficialmente New York City o por las siglas NYC, es la ciudad más poblada de los Estados Unidos y una de las más pobladas del mundo, con un área urbana de 24 millones de habitantes.

¡Nuevo!!: Amir Pnueli y Nueva York · Ver más »

Premio Israel

El Premio Israel (en hebreo: פרס ישראל) es un premio entregado por el Estado de Israel.

¡Nuevo!!: Amir Pnueli y Premio Israel · Ver más »

Premio Turing

El Premio Turing es un premio de las Ciencias de la Computación que es otorgado anualmente por la Asociación para la Maquinaria Computacional (ACM) a quienes hayan contribuido de manera trascendental al campo de las ciencias computacionales.

¡Nuevo!!: Amir Pnueli y Premio Turing · Ver más »

Technion

El Technion - Instituto Tecnológico de Israel está ubicado en Haifa (Israel) y es el principal y más antiguo instituto científico y tecnológico israelí.

¡Nuevo!!: Amir Pnueli y Technion · Ver más »

Universidad de Nueva York

La Universidad de Nueva York (NYU) es una universidad privada ubicada en Nueva York, Estados Unidos.

¡Nuevo!!: Amir Pnueli y Universidad de Nueva York · Ver más »

Universidad Stanford

La Universidad Leland Stanford Junior (Leland Stanford Junior University en inglés), conocida como Universidad Stanford, es una universidad privada estadounidense ubicada en Stanford, California, a unos 56 km al sureste de San Francisco.

¡Nuevo!!: Amir Pnueli y Universidad Stanford · Ver más »

1941

1941 fue un año común comenzado en miércoles según el calendario gregoriano.

¡Nuevo!!: Amir Pnueli y 1941 · Ver más »

1981

1981 fue un año común comenzado en jueves en el calendario gregoriano.

¡Nuevo!!: Amir Pnueli y 1981 · Ver más »

1996

1996 fue un año bisiesto comenzado en lunes en el calendario gregoriano.

¡Nuevo!!: Amir Pnueli y 1996 · Ver más »

1999

1999 fue un año común comenzado en viernes en el calendario gregoriano.

¡Nuevo!!: Amir Pnueli y 1999 · Ver más »

2 de noviembre

El 2 de noviembre es el 306.º (tricentésimo sexto) día del año en el calendario gregoriano y el 307.º en los años bisiestos.

¡Nuevo!!: Amir Pnueli y 2 de noviembre · Ver más »

2009

2009 fue un año común comenzado en jueves según el calendario gregoriano.

¡Nuevo!!: Amir Pnueli y 2009 · Ver más »

22 de abril

El 22 de abril es el 112.º (centésimo duodécimo) día del año del calendario gregoriano y el 113.º en los años bisiestos.

¡Nuevo!!: Amir Pnueli y 22 de abril · Ver más »

SalienteEntrante
¡Hey! ¡Ahora tenemos Facebook! »