جوزف سیفاکیس

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

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

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

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