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