Zohar Manna
Sign in to saveAmerican-Israeli computer scientist
Person · Open Library
- Works
- 18
Top works
- Introduction to Mathematical Theory of Computation (Computer Science)
- Time for Verification
- STeP, the Stanford Temporal Prover
- Logcl Basis Cmpt Prog V1
- The Calculus of Computation
via Open Library + Wikidata
Music · MusicBrainz
- Type
- Person
- Gender
- Male
- Origin
- India
- Active from
- 1919-05-01
- Active to
- 2013-10-24
asianfilmiindian
Discography
- A Tribute to the Legendary Singer Manna Dey
- Bhalobasar Rajprasade - Manna Dey1965
- Manna Dey Sings Ghazals And Geet1967
- More Bengali Hits1977
- Brojobuli1977
- Swapane Baje Go Banshi1977
- Classical Songs From Films1979
- Sundari Go Romantic Hits1979
- Soulfully Yours . . . Geets & Ghazals1982
- Hits of Manna Dey, Vol. 21982
via MusicBrainz · CC0
Wikidata facts
- Instance of
- human
- Gender
- male
- Citizenship
- Israel
- Place of birth
- Haifa
- Place of death
- Netanya
- Occupation
- engineer
- Educated at
- Technion – Israel Institute of Technology
- Employer
- Weizmann Institute of Science
- Languages spoken
- Hebrew
- Doctoral advisor
- Robert W. Floyd
- Student of
- Alan Perlis
- Field of work
- informatics
- Work location
- Weizmann Institute of Science
Show 4 more facts
- date of birth
- 1939-01-17
- member of
- Association for Computing Machinery
- date of death
- 2018-08-30
- maintained by WikiProject
- WikiProject Mathematics
via Wikidata · CC0