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