أمير بنولي

أمير بنولي (بالعبرية: אמיר פנואלי‏) (ولد في 22 أبريل 1941 في نهلال، فلسطين (قبل الاحتلال) وتوفي 2 نوفمبر 2009 في نيويورك) عالم حاسوب إسرائيلي، اشتهر في مجال علم الحاسوب، فاز بجائزة تورنغ في عام 1996

أمير بنولي
(بالعبرية: אמיר פנואלי)‏  تعديل قيمة خاصية (P1559) في ويكي بيانات
Amir Pnueli FLoC 2006 (cropped).jpg
 

معلومات شخصية
الميلاد 22 أبريل 1941[1]  تعديل قيمة خاصية (P569) في ويكي بيانات
نهلال  تعديل قيمة خاصية (P19) في ويكي بيانات
الوفاة 2 نوفمبر 2009 (68 سنة) [2][1]  تعديل قيمة خاصية (P570) في ويكي بيانات
نيويورك  تعديل قيمة خاصية (P20) في ويكي بيانات
سبب الوفاة نزف مخي  تعديل قيمة خاصية (P509) في ويكي بيانات
مواطنة Flag of Israel.svg إسرائيل  تعديل قيمة خاصية (P27) في ويكي بيانات
عضو في أكاديمية إسرائيل للعلوم والإنسانيات،  وجمعية آلات الحوسبة،  والأكاديمية الوطنية للهندسة  تعديل قيمة خاصية (P463) في ويكي بيانات
الحياة العملية
المدرسة الأم جامعة تخنيون
معهد وايزمان للعلوم  تعديل قيمة خاصية (P69) في ويكي بيانات
مشرف الدكتوراه حاييم ليب بكيريس  تعديل قيمة خاصية (P184) في ويكي بيانات
المهنة عالم حاسوب،  ومهندس،  وتربوي،  وأستاذ جامعي،  ورياضياتي  تعديل قيمة خاصية (P106) في ويكي بيانات
مجال العمل علم الحاسوب  تعديل قيمة خاصية (P101) في ويكي بيانات
موظف في جامعة نيويورك،  وجامعة تل أبيب،  وكلية الهندسة في جامعة نيويورك تاندون  تعديل قيمة خاصية (P108) في ويكي بيانات
الجوائز
المواقع
الموقع الموقع الرسمي  تعديل قيمة خاصية (P856) في ويكي بيانات

من أجل «العمل الأساسي الذي يقدم المنطق الزمني في علوم الحوسبة وللمساهمات البارزة في التحقق من البرامج والنظام.».[3][4][5][6]

حياتهعدل

حصل بنولي على درجة البكالوريوس في الرياضيات من المعهد الإسرائيلي للتكنولوجيا والدكتوراة (1967) في الرياضيات من معهد وايزمان للعلوم. تحول إلى علم الحاسوب كزميل ما بعد الدكتوراه في جامعة ستانفورد ومركز أبحاث واتسون التابع لـ IBM . عاد بنولي إلى إسرائيل كباحث أول في قسم الرياضيات التطبيقية في معهد وايزمان، وفي عام 1973 انتقل إلى جامعة تل أبيب، حيث أسس قسم علوم الحاسب فيها، وفي عام 1981 عاد إلى معهد وايزمان.[6]

في عام 1971، شارك بنولي في تأسيس شركة البرمجيات Mini-Systems، وعندما تم الاستحواذ عليها من قبل شركة Scitex في عام 1984، شارك في تأسيس AdCad (الآن i-Logix) وهي مطور برامج هندسية بمساعدة الكمبيوتر.

نشر بنولي مع زوهار مناع، كتاب: المنطق الزمني للأنظمة التفاعلية والمتزامنة: المواصفات (1991) والتحقق الزمني للأنظمة التفاعلية: السلامة (1995).[6]

مراجععدل

  1. أ ب المؤلف: المكتبة الوطنية الفرنسية — العنوان : اوپن ڈیٹا پلیٹ فارم — مُعرِّف المكتبة الوطنيَّة الفرنسيَّة (BnF): https://catalogue.bnf.fr/ark:/12148/cb146146775 — باسم: Amir Pnueli — الرخصة: رخصة حرة
  2. ^ http://blog.computationalcomplexity.org/2009/11/amir-pnueli-1941-2009.html
  3. ^ "معلومات عن أمير بنولي على موقع dblp.org"، dblp.org، مؤرشف من الأصل في 09 ديسمبر 2019.
  4. ^ "معلومات عن أمير بنولي على موقع opc4.kb.nl"، opc4.kb.nl، مؤرشف من الأصل في 09 ديسمبر 2019.
  5. ^ "معلومات عن أمير بنولي على موقع id.loc.gov"، id.loc.gov، مؤرشف من الأصل في 09 ديسمبر 2019.
  6. أ ب ت "Amir Pnueli | Israeli computer scientist"، Encyclopedia Britannica (باللغة الإنجليزية)، مؤرشف من الأصل في 5 نوفمبر 2020، اطلع عليه بتاريخ 05 نوفمبر 2020.