Zohar Manna

Source: Wikipedia, the free encyclopedia.
Zohar Manna
Born
École Normale Supérieure de Cachan
Scientific career
FieldsComputer science
InstitutionsWeizmann Institute of Science
Stanford University
Doctoral studentsNachum Dershowitz, Adi Shamir, Thomas Henzinger, Pierre Wolper, Martín Abadi
Websitetheory.stanford.edu/~zm

Zohar Manna (1939 – 30 August 2018)[1] was an Israeli-American computer scientist who was a professor of computer science at Stanford University.

Biography

He was born in Haifa, Israel. He earned his Bachelor of Science (BS) and Master of Science (MS) degrees from the Technion – Israel Institute of Technology.

He attended Carnegie Mellon University and earned his Doctor of Philosophy (PhD) in computer science in 1968.

Manna returned to Israel in 1972 as a professor of applied mathematics at the Weizmann Institute of Science. He became a full professor at Stanford in 1978. He remained affiliated with the Weizmann Institute of Science until 1995. He continued to work as a Stanford professor until retirement in 2010.

Books

He authored nine books. The Mathematical Theory of Computation (McGraw Hill, 1974; reprinted Dover, 2003) is one of the first texts to provide extensive coverage of the mathematical concepts behind computer programming.

With

unfinished trilogy of textbooks on temporal logic and verification of reactive systems: The Temporal Logic of Reactive and Concurrent Systems: Specification (Springer-Verlag, 1991), The Temporal Logic of Reactive and Concurrent Systems: Safety (Springer-Verlag, 1995) and The Temporal Logic of Reactive and Concurrent Systems: Progress (unpublished; first three chapters posted at http://theory.stanford.edu/~zm/tvors3.html
).

With Aaron R. Bradley he co-authored a textbook, The Calculus of Computation, that serves as an introduction to both first-order logic and formal verification.[2]

Awards

In 1994, he was inducted as a

École Normale Supérieure de Cachan
.

Advising

He supervised 30 doctoral students, including Nachum Dershowitz, Adi Shamir, Thomas Henzinger, Pierre Wolper, and Martín Abadi.

See also

References

  1. ^ Abate, Tom (6 September 2018). "Stanford computer science pioneer Zohar Manna dies at age 79". Stanford University.
  2. ISBN 978-3-540-74112-1
    .
  3. ^ www.cadeinc.org/HerbrandAward.html

External links


Flag of United StatesScientist icon Stub icon

This article about an American scientist is a stub. You can help Wikipedia by expanding it.

Stub icon

This biographical article relating to a computer specialist in the United States is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Zohar_Manna&oldid=1206389213"