Zohar Manna

Zohar Manna ( born January 17, 1939 in Haifa) is an Israeli- American computer scientist. He is 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. It was 1968 when Robert W. Floyd ( and Alan Perlis ) at Carnegie Mellon University PhD ( Termination of algorithms ). He is since 1968 professor at Stanford and also since 1972 a professor at the Weizmann Institute.

He is concerned among other things with the logic of programs, temporal logic and its application in the verification of reactive systems.

In 1992 he received the first Friedrich L. Bauer Prize. He is a Fellow of the Association for Computing Machinery. In 1968 he was Guggenheim Fellow.

Writings

  • Aaron R. Bradley The calculus of computation: decision problems with applications to verification, Springer Verlag 2007
  • The mathematical theory of computation, McGraw Hill 1974, Dover reprint 2003
  • With Richard Waldinger The deductive foundations of computer programming, Addison -Wesley 1993
  • Amir Pnueli The temporal logic of reactive and concurrent systems. Specification, Springer Verlag 1992
  • Amir Pnueli Temporal verification of reactive systems: safety, Springer Verlag 1995
Technion – Israel Institute of Technology Integrated Authority File
837235
de