أمير بنولي

أمير بنولي
معلومات شخصية
الميلاد	22 أبريل 1941 [1] ; نهلال
الوفاة	2 نوفمبر 2009 (68 سنة) [2][1] ; نيويورك
سبب الوفاة	نزف مخي
مواطنة	إسرائيل
عضو في	أكاديمية إسرائيل للعلوم والإنسانيات ، وجمعية آلات الحوسبة ، والأكاديمية الوطنية للهندسة
الحياة العملية
المدرسة الأم	جامعة تخنيون ; معهد وايزمان للعلوم
المهنة	عالم حاسوب ، ومهندس ، وتربوي ، وأستاذ جامعي ، ورياضياتي
مجال العمل	علم الحاسوب
موظف في	جامعة نيويورك ، وجامعة تل أبيب ، وكلية الهندسة في جامعة نيويورك تاندون
الجوائز
	زمالة رابطة مكائن الحوسبة (2007); جائزة نظام برمجيات ACM (2007); جائزة إسرائيل (2000); جائزة تورنغ (1996)
المواقع
الموقع	الموقع الرسمي

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

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

حياته

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

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

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

مراجع

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

بوابة علم الحاسوب
بوابة الولايات المتحدة
بوابة أعلام
بوابة إسرائيل
بوابة تقنية المعلومات

في كومنز صور وملفات عن: أمير بنولي

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[18c446a2f6cf53a35a806e6f36c5b0410a3d7ce2-1] مُعرِّف المكتبة الوطنيَّة الفرنسيَّة (BnF): https://catalogue.bnf.fr/ark:/12148/cb146146775 — باسم: Amir Pnueli — المؤلف: المكتبة الوطنية الفرنسية — العنوان : اوپن ڈیٹا پلیٹ فارم — الرخصة: رخصة حرة

[9302ab7c692024aa9b5d91318fadbd4c2823e6c6-2] ttp://blog.computationalcomplexity.org/2009/11/amir-pnueli-1941-2009.html

[3] "معلومات عن أمير بنولي على موقع dblp.org". dblp.org. مؤرشف من الأصل في 09 ديسمبر 2019. الوسيط |CitationClass= تم تجاهله (مساعدة)

[4] "معلومات عن أمير بنولي على موقع opc4.kb.nl". opc4.kb.nl. مؤرشف من الأصل في 09 ديسمبر 2019. الوسيط |CitationClass= تم تجاهله (مساعدة)

[5] "معلومات عن أمير بنولي على موقع id.loc.gov". id.loc.gov. مؤرشف من الأصل في 09 ديسمبر 2019. الوسيط |CitationClass= تم تجاهله (مساعدة)

[:0-6] "Amir Pnueli | Israeli computer scientist". Encyclopedia Britannica (باللغة الإنجليزية). مؤرشف من الأصل في 5 نوفمبر 2020. اطلع عليه بتاريخ 05 نوفمبر 2020. الوسيط |CitationClass= تم تجاهله (مساعدة)