امیر پنوئلی
دانشمند علوم کامپیوتر و مهندس اسرائیلی
امیر پنوئلی (عبری: אמיר פנואלי؛ ۲۲ آوریل ۱۹۴۱ – ۲ نوامبر ۲۰۰۹) یک دانشمند در زمینه علوم رایانه اهل اسرائیل بود.
| امیر پنوئلی | |
|---|---|
| زادهٔ | ۲۲ آوریل ۱۹۴۱ نحلل, قیمومت بریتانیا بر فلسطین |
| درگذشت | ۲ نوامبر ۲۰۰۹ (۶۸ سال) ایالت نیویورک, ایالات متحده آمریکا |
| جایزه(ها) | جایزه تورینگ, جایزه اسرائیل |
| پیشینه علمی | |
| شاخه(ها) | علوم رایانه |
| محل کار | دانشگاه استنفورد دانشگاه تل‌آویو مؤسسه عالی علوم وایزمن دانشگاه نیویورک |
وی جایزه تورینگ را در ۱۹۹۶ دریافت کرد و همچنین برنده جایزه اسرائیل شده است.
زندگی‌نامه
پنوئلی در نحلل، در قیمومیت بریتانیا در فلسطین (اکنون در اسرائیل) به دنیا آمد، او مدرک کارشناسی ریاضیات را از تخنیون در حیفا و پی‌اچ‌دی. در ریاضیات کاربردی از مؤسسه علوم وایزمن را گرفت. پایان نامه او موضوع "محاسبه جزر و مد در اقیانوس" بود. او در طی دوره فوق دکترا در دانشگاه استنفورد به علوم رایانه روی آورد. کارهای او در علوم رایانه بر منطق زمانی و وارسی مدل، به ویژه در مورد ویژگی‌های عادلانه سیستم‌های همروندی بود.
او به عنوان محقق به اسرائیل بازگشت. او بنیانگذار و اولین رئیس اداره علوم رایانه در دانشگاه تل آویو بود.
منابع
- ↑ Chang، Kenneth (۲۰۰۹-۱۱-۱۵). «Amir Pnueli, Pioneer of Temporal Logic, Dies at 68» (به انگلیسی). The New York Times. شاپا 0362-4331. دریافت‌شده در ۲۰۲۲-۰۷-۰۱.
- «Amir Pnueli». دریافت‌شده در ۲۵ ژوئیه ۲۰۱۴.