زوهار مانا

زوهار مانا ( بالعبرية : זהר מנה ؛ 1939 - 30 أغسطس 2018) ^{[ 1 ]} كان عالم حاسوب إسرائيلي أمريكي وكان أستاذًا لعلوم الحاسوب في جامعة ستانفورد .

ولد في حيفا ، فلسطين الانتدابية عام 1939. وحصل على درجتي البكالوريوس والماجستير في العلوم من معهد التخنيون - معهد إسرائيل للتكنولوجيا .

التحق بجامعة كارنيجي ميلون وحصل على درجة الدكتوراه في علوم الحاسوب عام 1968.

عاد مانا إلى إسرائيل عام 1972 أستاذاً للرياضيات التطبيقية في معهد وايزمان للعلوم . وأصبح أستاذاً متفرغاً في جامعة ستانفورد عام 1978. وظل منتسباً إلى معهد وايزمان للعلوم حتى عام 1995. واستمر في العمل كأستاذ في جامعة ستانفورد حتى تقاعده عام 2010.

ألف تسعة كتب. ويُعد كتاب "النظرية الرياضية للحوسبة" (ماكجرو هيل، 1974؛ أعيد طبعه بواسطة دوفر، 2003) أحد أوائل النصوص التي قدمت تغطية شاملة للمفاهيم الرياضية الكامنة وراء برمجة الحاسوب.

شارك مع أمير بنويلي في تأليف ثلاثية غير مكتملة من الكتب المدرسية حول المنطق الزمني والتحقق من الأنظمة التفاعلية: المنطق الزمني للأنظمة التفاعلية والمتزامنة: المواصفات (Springer-Verlag، 1991)، المنطق الزمني للأنظمة التفاعلية والمتزامنة: السلامة (Springer-Verlag، 1995) والمنطق الزمني للأنظمة التفاعلية والمتزامنة: التقدم (غير منشور؛ الفصول الثلاثة الأولى منشورة على http://theory.stanford.edu/~zm/tvors3.html ).

شارك مع آرون ر. برادلي في تأليف كتاب مدرسي بعنوان "حساب التفاضل والتكامل"، والذي يُعد بمثابة مقدمة لكل من منطق الرتبة الأولى والتحقق الرسمي . ^{[ 2 ]}

في عام 1994، انتُخب زميلًا في جمعية آلات الحوسبة . وفي عام 2016، تقاسم جائزة هيربراند مع ريتشارد والدينجر تقديرًا لأبحاثه الرائدة ومساهماته التربوية (مع ريتشارد والدينجر) في مجال الاستدلال الآلي، وتوليف البرامج، والتخطيط، والأساليب الرسمية . ^{[ 3 ]} كما حصل على جائزة باور من جامعة ميونخ التقنية ، ودكتوراه فخرية من المدرسة العليا للأساتذة في كاشان .

أشرف على 30 طالب دكتوراه، من بينهم ناحوم ديرشوفيتز ، وآدي شامير ، وتوماس هينزينجر ، وبيير وولبر ، ومارتن عبادي .

• المنطق الزمني
• الأنظمة التفاعلية
• التزامن (علوم الحاسوب)

• الموقع الرسمي
• زوهار مانا في مشروع علم الأنساب الرياضي