Zohar Manna

Zohar Manna (* 17. Januar 1939 in Haifa; † 30. August 2018 in Netanja) war ein israelisch-US-amerikanischer Informatiker. Er war Professor an der Stanford University. Manna studierte am Technion in Haifa mit dem Bachelorabschluss 1961 und dem Masterabschluss 1965. Er wurde 1968 bei Robert W. Floyd (und Alan Perlis) an der Carnegie Mellon University promoviert (Termination of algorithms). Er war seit 1968 Professor in Stanford und außerdem seit 1972 Professor am Weizmann-Institut. Er befasste sich unter anderem mit der Logik von Programmen, temporaler Logik und deren Anwendung in der Verifikation reaktiver Systeme. 1992 erhielt er den ersten Friedrich L. Bauer-Preis, 2016 mit Richard Waldinger den Herbrand Award. Er war Fellow der Association for Computing Machinery. 1968 war er Guggenheim Fellow.