Manna, Zohar
| Zohar Manna | |
|---|---|
| Datum narození | 17. ledna 1939 [1] |
| Místo narození | |
| Datum úmrtí | 30. srpna 2018 [2] [1] (ve věku 79 let) |
| Místo smrti | |
| Země | |
| Vědecká sféra | Informatika |
| Místo výkonu práce | |
| Alma mater | |
| vědecký poradce | Alan Jay Perlis a Robert Floyd |
| Ocenění a ceny | Guggenheimovo společenství ( 1968 ) Cena Friedricha L. Bauera ( 1992 ) Herbrand Award [d] ( 2016 ) Ahoj ACM |
Zohar Manna ( heb. זוהר מנה ; anglicky Zohar Manna , 1939 , Haifa – 30. srpna 2018) je izraelský a americký počítačový vědec , profesor na Stanfordské univerzitě .
Narodil se a vyrůstal v Haifě v Izraeli , vystudoval matematiku na Technionu , v roce 1962 získal bakalářský titul a v roce 1965 magisterský titul. V letech 1962-1964 pracoval jako programátor v izraelských ozbrojených silách . Ve studiu pokračoval na Carnegie Mellon University , kde vystudoval informatiku a v roce 1968 obhájil doktorskou disertační práci pod vedením Roberta Floyda a Alana Perlise .
V roce 1972 se dočasně vrátil do Izraele, kde byl profesorem aplikované matematiky na Weizmann Institute of Science . Od roku 1978 je řádným profesorem na Stanfordské univerzitě , tuto pozici zastával až do svého odchodu do důchodu v roce 2010.
Aktivní člen Asociace pro výpočetní techniku (1994).
Výběrová bibliografie
učebnice- Manna, Zohar; Pnieli, Amír. Časová logika reaktivních a souběžných systémů: Specifikace . - Springer-Verlag , 1992. - ISBN 978-0387976648 . (Angličtina)
- Manna, Zohar; Pnieli, Amír. Časové ověření reaktivních systémů: Bezpečnost . - Springer-Verlag , 1995. - ISBN 978-0387944593 . (Angličtina)
- Manna, Zohar. Matematická teorie počítání (neurčitá) . - Dover, 2003. - ISBN 978-0486432380 . (Angličtina)
- Manna, Zohar; Waldinger, Richard. Deduktivní základy počítačového programování . - Addison-Wesley Professional , 1993. - ISBN 978-0201548860 . (Angličtina)
- Manna, Zohar; Waldinger, Richard. Logický základ pro počítačové programování, sv. 1 : Deduktivní uvažování . - Addison-Wesley Professional , 1985. - ISBN 978-0201182606 . (Angličtina)
- Zohar Manna; Richard Waldinger. A Deductive Approach to Program Synthesis (anglicky) // ACM Transactions on Programming Languages and Systems (TOPLAS) : journal. - ACM, 1980. - Leden ( vol. 2 , č. 1 ). - S. 90-121 . - doi : 10.1145/357084.357090 . (Angličtina)
Poznámky
- ↑ 1 2 Zohar Manna // Muzeum Solomona Guggenheima - 1937.
- ↑ https://twitter.com/vardi/status/1035138216725237760
Odkazy
- Seznam publikací o DBLP (anglicky)
 Tematické stránky | ||||
|---|---|---|---|---|
| ||||