Zohar manna
Zohar Manna (born January 17, 1939 in Haifa , † August 30, 2018 in Netanya ) was an Israeli-American computer scientist . He was a professor at Stanford University .
Manna studied at the Technion in Haifa with a bachelor's degree in 1961 and a master's degree in 1965. He received his doctorate in 1968 with Robert W. Floyd (and Alan Perlis ) at Carnegie Mellon University ( Termination of algorithms ). He was a professor at Stanford since 1968 and since 1972 professor at the Weizmann Institute .
Among other things, he dealt with the logic of programs, temporal logic and their application in the verification of reactive systems .
In 1992 he received the first Friedrich L. Bauer Prize , in 2016 with Richard Waldinger the Herbrand Award . He was a fellow of the Association for Computing Machinery . In 1968 he was a Guggenheim Fellow.
Fonts
- with Aaron R. Bradley The calculus of computation: decision problems with applications to verification , Springer Verlag 2007
- The mathematical theory of computation , McGraw Hill 1974, Reprint Dover 2003
- with Richard Waldinger The deductive foundations of computer programming , Addison-Wesley 1993
- with Amir Pnueli The temporal logic of reactive and concurrent systems. Specification , Springer Verlag 1992
- with Amir Pnueli Temporal verification of reactive systems: safety , Springer Verlag 1995
Web links
Individual evidence
- ↑ Life and career data according to American Men and Women of Science , Thomson Gale 2004
- ^ Obituary from Stanford University
- ^ Mathematics Genealogy Project
personal data | |
---|---|
SURNAME | Manna, Zohar |
BRIEF DESCRIPTION | Israeli-American computer scientist |
DATE OF BIRTH | January 17, 1939 |
PLACE OF BIRTH | Haifa |
DATE OF DEATH | August 30, 2018 |
Place of death | Netanya |