Zohar Manna (1939-30 de agosto de 2018) [1] fue un científico informático israelí-estadounidense que fue profesor de informática en la Universidad de Stanford .
Zohar Manna | |
---|---|
Nació | |
Fallecido | 30 de agosto de 2018 | (78 a 79 años)
Nacionalidad | Israelí-estadounidense |
Educación | Technion - Instituto de Tecnología de Israel (BS, MS) Universidad Carnegie Mellon (PhD, 1968) |
Esposos) | Nitza |
Niños | 4 |
Premios | Miembro de la Association for Computing Machinery Herbrand Award Bauer Prize, Technical University of Munich PhD honorario, École Normale Supérieure de Cachan |
Carrera científica | |
Campos | Ciencias de la Computación |
Instituciones | Instituto Weizmann de Ciencias de la Universidad de Stanford |
Estudiantes de doctorado | Nachum Dershowitz , Adi Shamir , Thomas Henzinger , Pierre Wolper , Martín Abadi |
Sitio web | teoría |
Biografía
Nació en Haifa , Israel . Obtuvo sus títulos de Licenciatura en Ciencias (BS) y Maestría en Ciencias (MS) del Technion - Instituto de Tecnología de Israel .
Asistió a la Universidad Carnegie Mellon y obtuvo su Doctorado en Filosofía (PhD) en Ciencias de la Computación en 1968.
Manna regresó a Israel en 1972 como profesor de matemáticas aplicadas en el Instituto de Ciencias Weizmann . Se convirtió en profesor titular en Stanford en 1978. Permaneció afiliado al Instituto de Ciencias Weizmann hasta 1995. Continuó trabajando como profesor de Stanford hasta su jubilación en 2010.
Libros
Es autor de nueve libros. The Mathematical Theory of Computation (McGraw Hill, 1974; reimpreso Dover, 2003) es uno de los primeros textos que proporciona una amplia cobertura de los conceptos matemáticos detrás de la programación de computadoras.
Con Amir Pnueli , fue coautor de una trilogía inacabada de libros de texto sobre lógica temporal y verificación de sistemas reactivos: The Temporal Logic of Reactive and Concurrent Systems: Specification (Springer-Verlag, 1991), The Temporal Logic of Reactive and Concurrent Systems: Safety. (Springer-Verlag, 1995) y The Temporal Logic of Reactive and Concurrent Systems: Progress (inédito; primeros tres capítulos publicados en http://theory.stanford.edu/~zm/tvors3.html ).
Con Aaron R. Bradley, fue coautor de un libro de texto, El cálculo de la computación, que sirve como introducción tanto a la lógica de primer orden como a la verificación formal . [2]
Premios
En 1994, fue admitido como miembro de la Association for Computing Machinery . En 2016, compartió el premio Herbrand con Richard Waldinger por su ″ investigación pionera y contribuciones pedagógicas (con Richard Waldinger) al razonamiento automatizado, síntesis de programas, planificación y métodos formales ″ . [3] Recibió el premio Bauer de la Universidad Técnica de Munich y un doctorado honorario de la École Normale Supérieure de Cachan .
Asesorar
Supervisó a 30 estudiantes de doctorado, incluidos Nachum Dershowitz , Adi Shamir , Thomas Henzinger , Pierre Wolper y Martín Abadi .
Ver también
- Lógica temporal
- Sistemas reactivos
- Simultaneidad (informática)
Referencias
- ^ Abate, Tom (6 de septiembre de 2018). "Zohar Manna, pionero de la informática de Stanford, muere a los 79 años" . Universidad de Stanford .
- ^ Bradley, Aaron R .; Manna, Zohar (2007). El cálculo de la computación: procedimientos de decisión con aplicaciones a la verificación . Springer-Verlag . doi : 10.1007 / 978-3-540-74113-8 . ISBN 978-3-540-74112-1.
- ^ www .cadeinc .org / HerbrandAward .html
enlaces externos
- Página web oficial
- Zohar Manna en el Proyecto de genealogía matemática