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