Manna, Zohar
| Zohar Manna | |
|---|---|
| Syntymäaika | 17. tammikuuta 1939 [1] |
| Syntymäpaikka | |
| Kuolinpäivämäärä | 30. elokuuta 2018 [2] [1] (79-vuotias) |
| Kuoleman paikka | |
| Maa | |
| Tieteellinen ala | Informatiikka |
| Työpaikka | |
| Alma mater | |
| tieteellinen neuvonantaja | Alan Jay Perlis ja Robert Floyd |
| Palkinnot ja palkinnot | Guggenheim Fellowship ( 1968 ) Friedrich L. Bauer -palkinto ( 1992 ) Herbrand-palkinto [d] ( 2016 ) Hyvä ACM |
Zohar Manna ( hepr. זוהר מנה ; englanniksi Zohar Manna , 1939 , Haifa - 30. elokuuta 2018) on israelilainen ja amerikkalainen tietojenkäsittelytieteilijä , Stanfordin yliopiston professori .
Hän syntyi ja kasvoi Haifassa, Israelissa , opiskeli matematiikkaa Technionissa , ansaitsi kandidaatin tutkinnon vuonna 1962 ja maisterin tutkinnon vuonna 1965. Vuosina 1962-1964 hän työskenteli ohjelmoijana Israelin asevoimissa . Hän jatkoi opintojaan Carnegie Mellon Universityssä , jossa hän opiskeli tietojenkäsittelytiedettä ja puolusti väitöskirjaansa vuonna 1968 Robert Floydin ja Alan Perlisin johdolla .
Vuonna 1972 hän palasi väliaikaisesti Israeliin, missä hän oli soveltavan matematiikan professori Weizmann Institute of Sciencessa . Vuodesta 1978 hän on toiminut täysprofessorina Stanfordin yliopistossa , jossa hän toimi eläkkeelle jäämiseensä vuonna 2010.
Computing Machinery Associationin aktiivinen jäsen (1994).
Valittu bibliografia
oppikirjoja- Manna, Zohar; Pnieli, Amir. Reaktiivisten ja rinnakkaisten järjestelmien ajallinen logiikka: määrittely . - Springer-Verlag , 1992. - ISBN 978-0387976648 . (Englanti)
- Manna, Zohar; Pnieli, Amir. Reaktiivisten järjestelmien ajallinen tarkastus: Turvallisuus . - Springer-Verlag , 1995. - ISBN 978-0387944593 . (Englanti)
- Manna, Zohar. Laskennan matemaattinen teoria (epämääräinen) . - Dover, 2003. - ISBN 978-0486432380 . (Englanti)
- Manna, Zohar; Waldinger, Richard. Tietokoneohjelmoinnin deduktiiviset perusteet . - Addison-Wesley Professional , 1993. - ISBN 978-0201548860 . (Englanti)
- Manna, Zohar; Waldinger, Richard. The Logical Basis for Computer Programming, Voi. 1 : Deduktiivinen päättely . - Addison-Wesley Professional , 1985. - ISBN 978-0201182606 . (Englanti)
- Zohar Manna; Richard Waldinger. Deduktiivinen lähestymistapa ohjelmasynteesiin (englanti) // ACM Transactions on Programming Languages and Systems (TOPLAS) : Journal. - ACM, 1980. - tammikuu ( osa 2 , nro 1 ). - s. 90-121 . - doi : 10.1145/357084.357090 . (Englanti)
Muistiinpanot
- ↑ 1 2 Zohar Manna // Solomon Guggenheim -museo - 1937.
- ↑ https://twitter.com/vardi/status/1035138216725237760
Linkit
- Luettelo DBLP:n julkaisuista (englanniksi)
 Temaattiset sivustot | ||||
|---|---|---|---|---|
| ||||