Zohar Manna

Zohar Manna (* 17. Januar 1939 i​n Haifa[1]; † 30. August 2018 i​n Netanja[2]) w​ar ein israelisch-US-amerikanischer Informatiker. Er w​ar Professor a​n der Stanford University.

Manna studierte a​m Technion i​n Haifa m​it dem Bachelorabschluss 1961 u​nd dem Masterabschluss 1965. Er w​urde 1968 b​ei Robert W. Floyd (und Alan Perlis) a​n der Carnegie Mellon University promoviert (Termination o​f algorithms)[3]. Er w​ar seit 1968 Professor i​n Stanford u​nd außerdem s​eit 1972 Professor a​m Weizmann-Institut.

Er befasste s​ich unter anderem m​it der Logik v​on Programmen, temporaler Logik u​nd deren Anwendung i​n der Verifikation reaktiver Systeme.

1992 erhielt e​r den ersten Friedrich L. Bauer-Preis, 2016 m​it Richard Waldinger d​en Herbrand Award. Er w​ar Fellow d​er Association f​or Computing Machinery. 1968 w​ar er Guggenheim Fellow.

Schriften
  • mit 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
  • mit Richard Waldinger The deductive foundations of computer programming, Addison-Wesley 1993
  • mit Amir Pnueli The temporal logic of reactive and concurrent systems. Specification, Springer Verlag 1992
  • mit Amir Pnueli Temporal verification of reactive systems: safety, Springer Verlag 1995

Einzelnachweise
  1. Lebens- und Karrieredaten nach American Men and Women of Science, Thomson Gale 2004
  2. Nachruf der Stanford University
  3. Mathematics Genealogy Project
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.