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

من ويكيبيديا، الموسوعة الحرة
اذهب إلى: تصفح، ‏ ابحث
Joseph Sifakis
Joseph Sifakis img 0966.jpg
ولد في 26 ديسمبر 1946
كاندية, كريت, اليونان
مواطنة يوناني/فرنسي
جنسية يوناني
مجال البحث علم الحاسوب
المؤسسات المركز الوطني للبحث العلمي (فرنسا)
خريج National Technical University of Athens
University of Grenoble
اشتهر بـ Development of Model-Checking
جوائز جائزة تورنج (2007)

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