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
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