Manna, Zohar
| Zohar Manna | |
|---|---|
| Születési dátum | 1939. január 17. [1] |
| Születési hely | |
| Halál dátuma | 2018. augusztus 30. [2] [1] (79 évesen) |
| A halál helye | |
| Ország | |
| Tudományos szféra | Informatika |
| Munkavégzés helye | |
| alma Mater | |
| tudományos tanácsadója | Alan Jay Perlis és Robert Floyd |
| Díjak és díjak | Guggenheim-ösztöndíj ( 1968 ) Friedrich L. Bauer-díj ( 1992 ) Herbrand-díj [d] ( 2016 ) Kedves ACM |
Zohar Manna ( héb . זוהר מנה ; angolul Zohar Manna , 1939 , Haifa – 2018. augusztus 30.) izraeli és amerikai informatikus , a Stanford Egyetem professzora .
Az izraeli Haifában született és nőtt fel , matematikát tanult a Technionban , 1962-ben alapképzést, 1965-ben pedig mesterdiplomát szerzett. 1962-1964 között programozóként dolgozott az izraeli fegyveres erőknél . Tanulmányait a Carnegie Mellon Egyetemen folytatta , ahol számítástechnikát tanult, majd 1968-ban megvédte doktori disszertációját Robert Floyd és Alan Perlis irányítása alatt .
1972-ben ideiglenesen visszatért Izraelbe, ahol a Weizmann Institute of Science alkalmazott matematika professzora volt . 1978 óta a Stanford Egyetem rendes professzora , ezt a pozíciót egészen 2010-es nyugdíjazásáig töltötte be.
A Számítógépek Szövetségének aktív tagja (1994).
Válogatott bibliográfia
tankönyvek- Manna, Zohar; Pnieli, Amir. A reaktív és egyidejű rendszerek időbeli logikája: specifikáció . - Springer-Verlag , 1992. - ISBN 978-0387976648 . (Angol)
- Manna, Zohar; Pnieli, Amir. Reaktív rendszerek időbeli ellenőrzése: Biztonság . - Springer-Verlag , 1995. - ISBN 978-0387944593 . (Angol)
- Manna, Zohar. Matematikai számításelmélet (határozatlan) . - Dover, 2003. - ISBN 978-0486432380 . (Angol)
- Manna, Zohar; Waldinger, Richard. A számítógépes programozás deduktív alapjai . - Addison-Wesley Professional , 1993. - ISBN 978-0201548860 . (Angol)
- Manna, Zohar; Waldinger, Richard. A számítógépes programozás logikai alapjai, 4. évf. 1 : Deduktív érvelés . - Addison-Wesley Professional , 1985. - ISBN 978-0201182606 . (Angol)
- Zohar Manna; Richard Waldinger. A programszintézis deduktív megközelítése (angol) // ACM Transactions on Programming Languages and Systems (TOPLAS) : folyóirat. - ACM, 1980. - január ( 2. köt. , 1. sz.). - P. 90-121 . - doi : 10.1145/357084.357090 . (Angol)
Jegyzetek
- ↑ 1 2 Zohar Manna // Solomon Guggenheim Múzeum – 1937.
- ↑ https://twitter.com/vardi/status/1035138216725237760
Linkek
 Tematikus oldalak | ||||
|---|---|---|---|---|
| ||||