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

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

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

جوزيف سيفاكيس (بالإنجليزية: 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
هذه بذرة مقالة عن سيرة عالم أو باحث علمي بحاجة للتوسيع. شارك في تحريرها.