Mana, Zohar
| Mana Zohar | |
|---|---|
| Data nașterii | 17 ianuarie 1939 [1] |
| Locul nașterii | |
| Data mortii | 30 august 2018 [2] [1] (în vârstă de 79 de ani) |
| Un loc al morții | |
| Țară | |
| Sfera științifică | Informatica |
| Loc de munca | |
| Alma Mater | |
| consilier științific | Alan Jay Perlis și Robert Floyd |
| Premii și premii | Bursa Guggenheim ( 1968 ) Premiul Friedrich L. Bauer ( 1992 ) Premiul Herbrand [d] ( 2016 ) Un prieten ACM |
Zohar Manna ( ebr. זוהר מנה ; engleză Zohar Manna , 1939 , Haifa - 30 august 2018) este un informatician israelian și american , profesor la Universitatea Stanford .
Născut și crescut în Haifa, Israel , a studiat matematica la Technion , obținând o diplomă de licență în 1962 și o diplomă de master în 1965. Din 1962-1964 a lucrat ca programator în forțele armate israeliene . Și-a continuat studiile la Universitatea Carnegie Mellon , unde a studiat informatica și în 1968 și-a susținut teza de doctorat sub îndrumarea lui Robert Floyd și Alan Perlis .
În 1972 s-a întors temporar în Israel, unde a fost profesor de matematică aplicată la Institutul de Științe Weizmann . Din 1978 este profesor titular la Universitatea Stanford , funcție pe care a deținut-o până la pensionare în 2010.
Membru activ al Asociației pentru Mașini de Calcul (1994).
Bibliografie selectată
manuale- Mana, Zohar; Pnieli, Amir. Logica temporală a sistemelor reactive și concurente: specificații . - Springer-Verlag , 1992. - ISBN 978-0387976648 . (Engleză)
- Mana, Zohar; Pnieli, Amir. Verificarea temporală a sistemelor reactive: siguranță . - Springer-Verlag , 1995. - ISBN 978-0387944593 . (Engleză)
- Mana, Zohar. Teoria matematică a calculului (nedefinită) . - Dover, 2003. - ISBN 978-0486432380 . (Engleză)
- Mana, Zohar; Waldinger, Richard. Bazele deductive ale programării computerelor . - Addison-Wesley Professional , 1993. - ISBN 978-0201548860 . (Engleză)
- Mana, Zohar; Waldinger, Richard. Bazele logice pentru programarea computerelor, Vol. 1 : Raționamentul deductiv . - Addison-Wesley Professional , 1985. - ISBN 978-0201182606 . (Engleză)
- Mana Zohar; Richard Waldinger. O abordare deductivă a sintezei programelor (engleză) // Tranzacții ACM pe limbaje și sisteme de programare (TOPLAS) : jurnal. - ACM, 1980. - ianuarie ( vol. 2 , nr. 1 ). - P. 90-121 . - doi : 10.1145/357084.357090 . (Engleză)
Note
- ↑ 1 2 Zohar Manna // Muzeul Solomon Guggenheim - 1937.
- ↑ https://twitter.com/vardi/status/1035138216725237760
Link -uri
- Lista publicațiilor despre DBLP (engleză)
 Site-uri tematice | ||||
|---|---|---|---|---|
| ||||