جوزف سیفاکیس
| جوزف سیفاکیس | |
|---|---|
 | |
| زادهٔ | ۲۶ دسامبر ۱۹۴۶ (۷۷ سال) هراکلیون، جزیره کرت |
| ملیت | فرانسوی/یونانی |
| محل تحصیل | دانشگاه ملی فنی آتن دانشگاه گرنوبل |
| شناخته‌شده برای | به خاطر کار بر روی گسترش مدل چکینگ Development of Model-Checking |
| جایزه(ها) | جایزه تورینگ (۲۰۰۷) |
| پیشینه علمی | |
| شاخه(ها) | علوم رایانه |
| محل کار | مرکز ملی پژوهش‌های علمی فرانسه |
جوزف سیفاکیس (به یونانی: Ιωσήφ Σηφάκης) دانشمند برجسته یونانی - فرانسوی در زمینهٔ علوم رایانه است. وی در سال ۲۰۰۷ میلادی به همراه همکارانش ادموند کلارک و آلن امرسون به خاطر کار بر روی گسترش مدل چکینگ برندهٔ جایزه تورینگ شد.
منابع
- ویکی‌پدیای انگلیسی