جوزف سیفاکیس
جوزف سیفاکیس (به یونانی: Ιωσήφ Σηφάκης) دانشمند برجسته یونانی - فرانسوی در زمینهٔ علوم رایانه است. وی در سال ۲۰۰۷ میلادی به همراه همکارانش ادموند کلارک و آلن امرسون به خاطر کار بر روی گسترش مدل چکینگ برندهٔ جایزه تورینگ شد.
| جوزف سیفاکیس | |
|---|---|
 | |
| زادهٔ | ۲۶ دسامبر ۱۹۴۶ (۷۴ سال) هراکلیون، جزیره کرت |
| ملیت | فرانسوی/یونانی |
| محل تحصیل | دانشگاه ملی فنی آتن دانشگاه گرنوبل |
| شناختهشده برای | به خاطر کار بر روی گسترش مدل چکینگ Development of Model-Checking |
| جایزه(ها) | جایزه تورینگ (۲۰۰۷) |
| پیشینه علمی | |
| رشته(های) فعالیت | علوم رایانه |
| محل کار | مرکز ملی پژوهشهای علمی فرانسه |
منابع
- ویکیپدیای انگلیسی
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.