Manna, Zohar
| Zohar Manna | |
|---|---|
| Fødselsdato | 17. januar 1939 [1] |
| Fødselssted | |
| Dødsdato | 30. august 2018 [2] [1] (79 år) |
| Et dødssted | |
| Land | |
| Videnskabelig sfære | Informatik |
| Arbejdsplads | |
| Alma Mater | |
| videnskabelig rådgiver | Alan Jay Perlis og Robert Floyd |
| Priser og præmier | Guggenheim Fellowship ( 1968 ) Friedrich L. Bauer-prisen ( 1992 ) Herbrand Award [d] ( 2016 ) Hej ACM |
Zohar Manna ( Hebr. זוהר מנה ; engelsk Zohar Manna , 1939 , Haifa - 30. august 2018) er en israelsk og amerikansk computerforsker , professor ved Stanford University .
Han er født og opvokset i Haifa, Israel , og studerede matematik på Technion , hvor han opnåede en bachelorgrad i 1962 og en kandidatgrad i 1965. Fra 1962-1964 arbejdede han som programmør i de israelske væbnede styrker . Han fortsatte sine studier ved Carnegie Mellon University , hvor han studerede datalogi og forsvarede i 1968 sin doktorafhandling under vejledning af Robert Floyd og Alan Perlis .
I 1972 vendte han midlertidigt tilbage til Israel, hvor han var professor i anvendt matematik ved Weizmann Institute of Science . Siden 1978 har han været fuld professor ved Stanford University , en stilling han havde indtil sin pensionering i 2010.
Aktivt medlem af Foreningen for Datamaskiner (1994).
Valgt bibliografi
lærebøger- Manna, Zohar; Pnieli, Amir. Den tidsmæssige logik af reaktive og samtidige systemer: specifikation . - Springer-Verlag , 1992. - ISBN 978-0387976648 . (Engelsk)
- Manna, Zohar; Pnieli, Amir. Tidsmæssig verifikation af reaktive systemer: Sikkerhed . - Springer-Verlag , 1995. - ISBN 978-0387944593 . (Engelsk)
- Manna, Zohar. Matematisk teori om beregning (ubestemt) . - Dover, 2003. - ISBN 978-0486432380 . (Engelsk)
- Manna, Zohar; Waldinger, Richard. Det deduktive grundlag for computerprogrammering . - Addison-Wesley Professional , 1993. - ISBN 978-0201548860 . (Engelsk)
- Manna, Zohar; Waldinger, Richard. Det logiske grundlag for computerprogrammering, vol. 1 : Deduktiv ræsonnement . - Addison-Wesley Professional , 1985. - ISBN 978-0201182606 . (Engelsk)
- Zohar Manna; Richard Waldinger. A Deductive Approach to Program Synthesis (engelsk) // ACM Transactions on Programming Languages and Systems (TOPLAS) : journal. - ACM, 1980. - Januar ( bind 2 , nr. 1 ). - S. 90-121 . - doi : 10.1145/357084.357090 . (Engelsk)
Noter
- ↑ 1 2 Zohar Manna // Solomon Guggenheim Museum - 1937.
- ↑ https://twitter.com/vardi/status/1035138216725237760
Links
- Liste over publikationer på DBLP (engelsk)
 Tematiske steder | ||||
|---|---|---|---|---|
| ||||