جوزف سیفاکیس

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

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


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

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