امیر پنوئلی: تفاوت میان نسخه‌ها
محتوای حذف‌شده محتوای افزوده‌شده
منبع و ارجاع |
افزودن اطلاعات |
||
خط ۱۸:
== زندگی‌نامه ==
پنوئلی در [[نحلل (شهر)|نحلل]]، در [[قیمومت بریتانیا بر فلسطین|قیمومیت بریتانیا در فلسطین]] (اکنون در [[اسرائیل]]) به دنیا آمد، او مدرک [[کارشناسی]] [[ریاضیات]] را از [[تخنیون]] در [[حیفا]] و [[پی‌اچ‌دی]]. در ریاضیات کاربردی از [[مؤسسه علوم وایزمن]] را گرفت. پایان نامه او موضوع "محاسبه جزر و مد در اقیانوس" بود. او در طی دوره فوق دکترا در [[دانشگاه استنفورد]] به علوم رایانه روی آورد. کارهای او در علوم رایانه بر منطق زمانی و [[وارسی مدل]]، به ویژه در مورد ویژگی‌های عادلانه سیستم‌های [[همروندی (علوم رایانه)|همروندی]] بود.<ref>{{یادکرد خبر|عنوان=Amir Pnueli, Pioneer of Temporal Logic, Dies at 68|نشانی=https://www.nytimes.com/2009/11/15/us/15pnueli.html|کوشش=The New York Times|تاریخ=2009-11-15|تاریخ بازبینی=2022-07-01|شاپا=0362-4331|زبان=en-US|نام=Kenneth|نام خانوادگی=Chang}}</ref>
او به عنوان محقق به اسرائیل بازگشت. او بنیانگذار و اولین رئیس اداره علوم رایانه در دانشگاه تل آویو بود.
== منابع ==
| |||