جوزيف سيفاكيس

من ويكيبيديا، الموسوعة الحرة
اذهب إلى: تصفح، ‏ ابحث


Joseph Sifakis
صورة معبرة عن جوزيف سيفاكيس
معلومات شخصية
الميلاد 26 ديسمبر 1946
كاندية, كريت, اليونان
الجنسية يوناني
مواطنة يوناني/فرنسي
العرق يوناني
الحياة العملية
المؤسسات المركز الوطني للبحث العلمي (فرنسا)
المدرسة الأم National Technical University of Athens
University of Grenoble
المهنة عالِم حاسب آلي، ومهندس تعديل القيمة في ويكي بيانات
مجال العمل علم الحاسوب
سبب الشهرة Development of Model-Checking
الجوائز
جائزة تورنج (2007)
المواقع
الموقع http://www-verimag.imag.fr/~sifakis/ تعديل القيمة في ويكي بيانات

جوزيف سيفاكيس (بالإنجليزية: Joseph Sifakis) (باليونانية: Ιωσήφ Σηφάκης) ولد في 26 ديسمبر 1946 عالم حاسوب يوناني، اشتهر في مجال علم الحاسوب بمساهماته في ، فاز بجائزة تورنج في عام 2007.[1]

مراجع[عدل]

  1. ^ Aperçu historique de l’immigration grecque à Grenoble, Evangélia Moussouri, in Écarts d'identités n⁰95-96, ISSN 1252-6665, reprinting information from an interview of Joseph Sifakis in Des grecs, les grecs de Grenoble, Musée Dauphinois, ISBN 2-905375-08-6

وصلات خارجية[عدل]

Albert Einstein Head.jpg
هذه بذرة مقالة عن سيرة عالم أو باحث علمي بحاجة للتوسيع. شارك في تحريرها.