جوزيف سيفاكيس
جوزيف سيفاكيس (باليونانية: Ιωσήφ Σηφάκης) (من مواليد 26 ديسمبر 1946 ، إيراكليون، كريت، اليونان) عالم حاسوب فرنسي-يوناني، اشتهر بمساهماته في مجال علم الحاسوب، فاز بجائزة تورنغ في عام 2007.[3]
| جوزيف سيفاكيس | |
|---|---|
| (باليونانية: Ιωσήφ Σηφάκης) | |
 | |
| معلومات شخصية | |
| الميلاد | 26 ديسمبر 1946 (76 سنة)[1] كاندية |
| مواطنة |  اليونان فرنسا |
| عضو في | الأكاديمية الأوروبية[2]، والأكاديمية الفرنسية للتكنولوجيا ، والأكاديمية الأمريكية للفنون والعلوم، والأكاديمية الوطنية للهندسة، والأكاديمية الفرنسية للعلوم |
| الحياة العملية | |
| المدرسة الأم | الجامعة التقنية الوطنية في أثينا |
| المهنة | عالم حاسوب، ومهندس |
| اللغات | اليونانية |
| مجال العمل | علم الحاسوب |
| موظف في | المركز الوطني الفرنسي للبحث العلمي، ومدرسة لوزان الاتحادية للفنون التطبيقية |
| الجوائز | |
جائزة تورنغ (2007) الميدالية الفضية للمركز الوطني الفرنسي للبحث العلمي (2001) الدكتوراه الفخرية من مدرسة لوزان الاتحادية للفنون التطبيقية   زمالة رابطة مكائن الحوسبة | |
| المواقع | |
| الموقع | الموقع الرسمي |
حصل سيفاكيس على درجة البكالوريوس (1969) في الهندسة الكهربائية من الجامعة التقنية الوطنية في أثينا ودرجة الماجستير (1972) ودكتوراه إنجينيور docteur ingénieur عام (1974) في علوم الحاسب من جامعة العلوم والطب في غرونوبل (المعروفة أيضًا باسم جامعة غرينوبل 1 أعيدت تسميتها الآن لتصبح جامعة جوزيف فورييه) في فرنسا. في عام 1979 حصل على درجة الأستاذية في الرياضيات (تخصص علوم الكمبيوتر) من غرونوبل 1 والمعهد الوطني للفنون التطبيقية في غرونوبل. [4]
سرعان ما أصبح سيفاكيس مديرًا للأبحاث في المركز الوطني للبحوث العلمية (CNRS) ومؤسسًا (1993) لمختبرات Verimag، وهو مختبر أبحاث أكاديمي في Gières في فرنسا، تابع لـ CNRS وجامعة جوزيف فورييه. في عام 2008، تم منح سيفاكيس الكرسي البحثي الجديد للأنظمة الذكية على متن الطائرة (intelligent onboard systems) في المعهد الفرنسي الوطني للبحوث والمعلوماتية والتشغيل الآلي (INRIA) في غرونوبل.[4]
سيفاكيس وإدموند كلارك وطالبه السابق المتخرج إرنست ألين إيمرسون تم الاستشهاد بهم في جائزة تورنغ عن عملهم في عام 1981 في برنامج فحص النموذج، والذي يستخدم لأتمتة الكشف عن الأخطاء المنطقية في تصميمات الدوائر المتسلسلة وفي البرامج.[4]
مراجع
- مُعرِّف الضَّبط الاستناديِّ في قاعدة البيانات الوطنيَّة التشيكيَّة (NKCR AUT): https://aleph.nkp.cz/F/?func=find-c&local_base=aut&ccl_term=ica=xx0007681 — باسم: Joseph Sifakis
- https://www.ae-info.org/ae/User/Sifakis_Joseph
- 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 (باللغة الإنجليزية)، مؤرشف من الأصل في 9 أغسطس 2020، اطلع عليه بتاريخ 03 نوفمبر 2020.
بوابة أعلام
بوابة اليونان
بوابة علم الحاسوب
بوابة فرنسا