أمير بنويلي

أمير بنويلي ( بالعبرية : אמיר פנואלי ؛ 22 أبريل 1941 - 2 نوفمبر 2009) كان عالم حاسوب إسرائيلي وحائز على جائزة تورينج لعام 1996 .

وُلد أمير بنويلي في نهلال ، في فلسطين تحت الانتداب البريطاني ( إسرائيل حاليًا ). درس في مدرسة تيخون هاداش الثانوية في تل أبيب. ^{[ 1 ]} حصل على درجة البكالوريوس في الرياضيات من معهد التخنيون في حيفا ، ودرجة الدكتوراه في الرياضيات التطبيقية من معهد وايزمان للعلوم (1967). ^{[ 2 ]} كانت أطروحته بعنوان "حساب المد والجزر في المحيط". تحوّل إلى علوم الحاسوب خلال فترة عمله كباحث ما بعد الدكتوراه في جامعة ستانفورد . ركّزت أعماله في علوم الحاسوب على المنطق الزمني والتحقق من النماذج ، لا سيما فيما يتعلق بخصائص العدالة في الأنظمة المتزامنة . ^{[ 3 ]}

عاد إلى إسرائيل باحثًا، وكان مؤسسًا وأول رئيس لقسم علوم الحاسوب في جامعة تل أبيب . أصبح أستاذًا لعلوم الحاسوب في معهد وايزمان عام ١٩٨١. ومنذ عام ١٩٩٩ وحتى وفاته، شغل بنويلي أيضًا منصبًا في قسم علوم الحاسوب بجامعة نيويورك ، نيويورك ، الولايات المتحدة الأمريكية ^{[ ٣ ]} . كما عمل أستاذًا مشاركًا في جامعة بنسلفانيا وجامعة جوزيف فورييه ^{[ ٤ ]} .

أسس بنويلي أيضاً شركتين ناشئتين في مجال التكنولوجيا خلال مسيرته المهنية. كان لديه ثلاثة أبناء، وعند وفاته كان لديه أربعة أحفاد. ^{[ 3 ]}

توفي بنويلي في 2 نوفمبر 2009، إثر نزيف دماغي . ^{[ 3 ] [ 5 ] [ 6 ]}

• في عام 1996، حصل بنويلي على جائزة تورينج لعمله الرائد في إدخال المنطق الزمني في علوم الحوسبة ولمساهماته المتميزة في التحقق من البرامج والأنظمة .
• في 30 مايو 1997، حصل بنويلي على درجة الدكتوراه الفخرية من كلية العلوم والتكنولوجيا بجامعة أوبسالا في السويد . ^{[ 7 ]}
• في عام 1999، تم قبوله كعضو أجنبي منتسب في الأكاديمية الوطنية الأمريكية للهندسة.
• في عام 2000، حصل على جائزة إسرائيل في علوم الحاسوب. ^{[ 8 ] [ 9 ]}
• في عام 2007، تم إدخاله كزميل في جمعية آلات الحوسبة .
• يقدم معهد وايزمان للعلوم سلسلة محاضرات تذكارية تكريماً له. ^{[ 10 ]}

• قائمة الحائزين على جائزة إسرائيل

• الصفحة الرئيسية لجامعة نيويورك
  • نبذة مختصرة عن السيرة الذاتية
• الصفحة الرئيسية لمعهد وايزمان
  • حساب تعريفي
• أمير بنويلي في خادم ببليوغرافيا DBLP