Loading article…
ゾハル・マンナ（ヘブライ語: זהר מנה、1939年 - 2018年8月30日）[ 1 ]は、イスラエル系アメリカ人のコンピュータ科学者で、スタンフォード大学のコンピュータ科学の教授でした。
彼は1939年にイギリス委任統治領パレスチナのハイファで生まれた。イスラエル工科大学（テクニオン）で理学士号（BS）と理学修士号（MS）を取得した。
彼はカーネギーメロン大学に通い、 1968年にコンピュータサイエンスの博士号（PhD）を取得した。
マンナは1972年にイスラエルに帰国し、ワイツマン科学研究所の応用数学教授に就任した。1978年にはスタンフォード大学の正教授となり、1995年までワイツマン科学研究所に在籍した。その後もスタンフォード大学の教授として、2010年に退職するまで研究を続けた。
彼は9冊の著書を執筆した。『計算の数学理論』（マグロウヒル社、1974年刊行、ドーバー社より2003年に再版）は、コンピュータプログラミングの背後にある数学的概念を包括的に解説した最初の教科書の1つである。
彼はアミール・プヌエリと共に、反応システムの時相論理と検証に関する未完の教科書三部作を共著した。それらは、『反応システムと並行システムの時相論理：仕様』（Springer-Verlag、1991年）、『反応システムと並行システムの時相論理：安全性』（Springer-Verlag、1995年）、および『反応システムと並行システムの時相論理：進歩』 （未出版、最初の3章はhttp://theory.stanford.edu/~zm/tvors3.htmlに掲載）である。
彼はアーロン・R・ブラッドリーと共著で、一階述語論理と形式検証の両方の入門書となる教科書『計算の計算』を執筆した。[ 2 ]
1994年、彼はAssociation for Computing Machineryのフェローに選出された。2016年には、自動推論、プログラム合成、プランニング、形式手法に対する先駆的な研究と教育的貢献（リチャード・ワルディンガーと共に）により、ハーブランド賞をリチャード・ワルディンガーと共同受賞した。[ 3 ]彼はミュンヘン工科大学からバウアー賞を、カシャン高等師範学校から名誉博士号を授与された。
彼は、ナフム・ダーショウィッツ、アディ・シャミア、トーマス・ヘンジンガー、ピエール・ウォルパー、マルティン・アバディを含む30人の博士課程学生を指導した。