مایکل رابین
From Wikipedia, the free encyclopedia
مایکل رابین (عبری: מִיכָאֵל עוזר רַבִּין؛ زادهٔ ۱ سپتامبر ۱۹۳۱) یک دانشمند در زمینه علوم رایانه اهل اسرائیل است.
اطلاعات اجمالی مایکل رابین, زادهٔ ...
مایکل رابین | |
---|---|
زادهٔ | ۱ سپتامبر ۱۹۳۱ (۹۲ سال) |
ملیت | اسرائیل |
محل تحصیل | دانشگاه عبری اورشلیم (M.S.) دانشگاه پرینستون (Ph.D.) |
شناختهشده برای | تست اولیه میلر-رابین سیستم رمزنگاری رابین انتقال غیرممکن الگوریتم جستجوی رشته رابین-کارپ اتوماتون تعیینناپذیر متناهی الگوریتمهای تصادفی |
جایزه(ها) | جایزه پاریس کانلاکیس (2003) جایزه تورینگ جایزه اسرائیل جایزه امت جایزه هاروی جایزه دن دیوید |
پیشینه علمی | |
شاخه(ها) | علوم رایانه |
محل کار | دانشگاه هاروارد دانشگاه عبری اورشلیم دانشگاه کلمبیا |
پایاننامه | Recursive Unsolvability of Group Theoretic Problems (۱۹۵۷) |
استاد راهنما | آلونزو چرچ |
دانشجویان دکتری | Moshé Machover Saharon Shelah Dov Gabbay |
بستن
وی همچنین برنده جوایزی همچون جایزه تورینگ و جایزه اسرائیل شدهاست.