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