Zohar Manna, né le à HaïfaDonnées d'après , Thomson Gale 2004. et mort le à Netanya en Israël, est un informaticien israélo-américain.
Il était professeur à l'université Stanford. Il est réputé comme l'auteur du livre The Mathematical Theory of Computation, qui est l'un des premiers ouvrages à développer les concepts mathématiques qui sont à la base de la programmation en informatique.
Biographie Zohar Manna étudie au Technion à Haïfa. Il obtient un bachelor en 1961 et un master en 1965. Il obtient un Ph. D. en 1968 chez Robert W. Floyd et Alan Perlis, à l'université Carnegie-Mellon, avec une thèse intitulée : Termination of algorithms. À partir de 1968, il est professeur à Stanford et à partir de 1972, il est aussi professeur à l'Institut Weizmann, à Rehovot en Israël.
Sa recherche porte notamment sur la logique des programmes, la logique temporelle et ses applications à la vérification de systèmes réactifs. Il a dirigé de nombreuses thèses. Parmi ses élèves figurent Zohar Manna's Doctoral Descendents sur l’université Stanford. Ashok K. Chandra, Jean Vuillemin, Shmuel Katz, Adi Shamir, Nachum Dershowitz, Pierre Wolper, Martín Abadi, Thomas Henzinger, Nikolaj Bjorner, Henny Sipma, Bernd Finkbeiner, Sriram Sankaranarayanan, Aaron Bradley.
Prix et distinctions Zohar Manna est Fellow de l'Association for Computing Machinery à partir de 1994. Il a bénéficié d'une bourse Guggenheim en 1968. En 1992, il est le premier à recevoir le prix Friedrich L. Bauer.
Ouvrages Les deux livres avec Amir Pnueli et font partie d'une trilogie dont le troisième volume, avec le titre The temporal logic of reactive and concurrent systems : progress, n'a pas été achevé. Les trois premiers chapitres de ce volumes peuvent être lus en ligne Manna/Pnueli: The Temporal Verification of Reactive Systems: Progress..
: Réimpression de : (Une version en un seul volume de The logical basis for computer programming
Notes et références
Liens externes
Page personnelle sur le site de l'université Stanford
Catégorie:Informaticien américain Catégorie:Étudiant du Technion Catégorie:Docteur de l'université Carnegie-Mellon Catégorie:Professeur à l'université Stanford Catégorie:Professeur à l'Institut Weizmann Catégorie:Boursier Guggenheim Catégorie:Naissance en janvier 1939 Catégorie:Naissance à Haïfa Catégorie:Naissance en Palestine mandataire Catégorie:Décès en août 2018 Catégorie:Décès à Netanya Catégorie:Décès à 79 ans