جوزف سیفاکیس

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

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


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

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