Zohar Manna

Această intrare pe subiectul IT este orfană , ceea ce înseamnă că nu există legături de intrare din alte intrări . Introduceți cel puțin unul relevant și non-generic și eliminați avertismentul. Urmați sfaturile de proiectare de referință .

Zohar Manna ( Haifa , 1939 - 30 august 2018 ) a fost un informatician american naturalizat israelian . A fost profesor de informatică la Universitatea Stanford .

Biografie

A obținut licența în științe și masteratele de la Technion - Israel Institute of Technology. A urmat cursurile Universității Carnegie Mellon și a obținut doctoratul în informatică în 1968 .

Manna s-a întors în Israel în 1972 ca profesor de matematică aplicată la Institutul de Științe Weizmann . A devenit profesor titular la Stanford în 1978 . A rămas afiliat la Institutul de Științe Weizmann până în 1995 . A continuat să lucreze ca profesor la Stanford până la pensionare în 2010 . El a supravegheat 30 de doctoranzi, inclusiv Nachum Dershowitz, Adi Shamir, Thomas Henzinger, Pierre Wolper și Martín Abadi.

Cărți

Este autorul a nouă cărți. The Mathematical Theory of Computation (McGraw Hill, 1974; retipărit Dover, 2003) este unul dintre primele texte care oferă o acoperire extinsă a conceptelor matematice care stau la baza programării computerizate. Cu Amir Pnueli, este coautor al unei trilogii neterminate de manuale despre logica temporală și verificarea sistemelor reactive: Logica temporală a sistemelor reactive și concurente: specificații (Springer-Verlag, 1991), Logica temporală a reactivului și concurentei Sisteme: siguranță (Springer-Verlag, 1995) și Logica temporală a sistemelor reactive și concurente: progres (nepublicat; primele trei capitole sunt publicate la http://theory.stanford.edu/~zm/tvors3.html ).

Alături de Aaron R. Bradley, a fost co-autor al unui manual, Calculul calculului , care servește ca o introducere atât în ​​logica de prim ordin, cât și în verificarea formală.

Premii

În 1994 a fost numit membru al Asociației pentru Mașini de Calcul. În 2016, a împărtășit premiul Herbrand cu Richard Waldinger pentru „contribuțiile sale pedagogice de cercetare și pedagogice (împreună cu Richard Waldinger) la raționamentul automat, sinteza programului, planificarea și metodele formale”. A primit premiul Bauer de la Universitatea Tehnică din München și un doctorat onorific de la École Normale Supérieure de Cachan.

Notă

Portal Biografii

Portal IT