جوزف سیفاکیس

از ویکی‌پدیا، دانشنامهٔ آزاد
پرش به ناوبری پرش به جستجو
جوزف سیفاکیس
Joseph Sifakis img 0966.jpg
متولد۲۶ دسامبر ۱۹۴۶ ‏(۷۲ سال)
هراکلیون، جزیره کرت
ملیتفرانسوی/یونانی
رشته فعالیتعلوم رایانه
محل کارمرکز ملی پژوهش‌های علمی فرانسه
دانش‌آموختهٔدانشگاه ملی فنی آتن
دانشگاه گرنوبل
دلیل شهرتبه خاطر کار بر روی گسترش مدل چکینگ
Development of Model-Checking
جوایزجایزه تورینگ (۲۰۰۷)

جوزف سیفاکیس (به یونانی: Ιωσήφ Σηφάκης) دانشمند برجسته یونانی - فرانسوی در زمینهٔ علوم رایانه است. وی در سال ۲۰۰۷ میلادی به همراه همکارانش ادموند کلارک و آلن امرسون به خاطر کار بر روی گسترش مدل چکینگ برندهٔ جایزه تورینگ شد.

منابع[ویرایش]

  • ویکی‌پدیای انگلیسی