جوزيف سيفاكيس
جوزيف سيفاكيس (باليونانية: Ιωσήφ Σηφάκης) (من مواليد 26 ديسمبر 1946 ، إيراكليون، كريت، اليونان) عالم حاسوب فرنسي-يوناني، اشتهر بمساهماته في مجال علم الحاسوب، فاز بجائزة تورنغ في عام 2007.[1]
جوزيف سيفاكيس | |
---|---|
معلومات شخصية | |
تعديل مصدري - تعديل ![]() |
حصل سيفاكيس على درجة البكالوريوس (1969) في الهندسة الكهربائية من الجامعة التقنية الوطنية في أثينا ودرجة الماجستير (1972) ودكتوراه إنجينيور docteur ingénieur عام (1974) في علوم الحاسب من جامعة العلوم والطب في غرونوبل (المعروفة أيضًا باسم جامعة غرينوبل 1 أعيدت تسميتها الآن لتصبح جامعة جوزيف فورييه) في فرنسا. في عام 1979 حصل على درجة الأستاذية في الرياضيات (تخصص علوم الكمبيوتر) من غرونوبل 1 والمعهد الوطني للفنون التطبيقية في غرونوبل. [2]
سرعان ما أصبح سيفاكيس مديرًا للأبحاث في المركز الوطني للبحوث العلمية (CNRS) ومؤسسًا (1993) لمختبرات Verimag، وهو مختبر أبحاث أكاديمي في Gières في فرنسا، تابع لـ CNRS وجامعة جوزيف فورييه. في عام 2008، تم منح سيفاكيس الكرسي البحثي الجديد للأنظمة الذكية على متن الطائرة (intelligent onboard systems) في المعهد الفرنسي الوطني للبحوث والمعلوماتية والتشغيل الآلي (INRIA) في غرونوبل.[2]
سيفاكيس وإدموند كلارك وطالبه السابق المتخرج إرنست ألين إيمرسون تم الاستشهاد بهم في جائزة تورنغ عن عملهم في عام 1981 في برنامج فحص النموذج، والذي يستخدم لأتمتة الكشف عن الأخطاء المنطقية في تصميمات الدوائر المتسلسلة وفي البرامج.[2]
مراجع
- ^ 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 نسخة محفوظة 23 يوليو 2012 على موقع واي باك مشين.
- ^ أ ب ت "Joseph Sifakis | French computer scientist". Encyclopedia Britannica (بEnglish). Archived from the original on 2020-08-09. Retrieved 2020-11-03.
في كومنز صور وملفات عن: جوزيف سيفاكيس |