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

جوزيف سيفاكيس
(باليونانية: Ιωσήφ Σηφάκης)‏  تعديل قيمة خاصية (P1559) في ويكي بيانات
 

معلومات شخصية
الميلاد 26 ديسمبر 1946 (78 سنة)  تعديل قيمة خاصية (P569) في ويكي بيانات
كاندية[1]  تعديل قيمة خاصية (P19) في ويكي بيانات
مواطنة اليونان
فرنسا  تعديل قيمة خاصية (P27) في ويكي بيانات
عضو في أكاديمية أوروبيا[2]،  والأكاديمية الفرنسية للتكنولوجيا  [لغات أخرى]‏،  والأكاديمية الأمريكية للفنون والعلوم،  والأكاديمية الوطنية للهندسة،  والأكاديمية الفرنسية للعلوم  تعديل قيمة خاصية (P463) في ويكي بيانات
الحياة العملية
المدرسة الأم الجامعة التقنية الوطنية في أثينا  [لغات أخرى]‏  تعديل قيمة خاصية (P69) في ويكي بيانات
المهنة عالم حاسوب،  ومهندس،  وباحث[3]  تعديل قيمة خاصية (P106) في ويكي بيانات
اللغات اليونانية،  والفرنسية  تعديل قيمة خاصية (P1412) في ويكي بيانات
مجال العمل علم الحاسوب  تعديل قيمة خاصية (P101) في ويكي بيانات
موظف في المركز الوطني الفرنسي للبحث العلمي،  ومدرسة لوزان الاتحادية للعلوم التطبيقية  تعديل قيمة خاصية (P108) في ويكي بيانات
الجوائز
المواقع
الموقع الموقع الرسمي[6]  تعديل قيمة خاصية (P856) في ويكي بيانات

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

حصل سيفاكيس على درجة البكالوريوس (1969) في الهندسة الكهربائية من الجامعة التقنية الوطنية في أثينا ودرجة الماجستير (1972) ودكتوراه إنجينيور docteur ingénieur عام (1974) في علوم الحاسب من جامعة العلوم والطب في غرونوبل (المعروفة أيضًا باسم جامعة غرينوبل 1 أعيدت تسميتها الآن لتصبح جامعة جوزيف فورييه) في فرنسا. في عام 1979 حصل على درجة الأستاذية في الرياضيات (تخصص علوم الكمبيوتر) من غرونوبل 1 والمعهد الوطني للفنون التطبيقية في غرونوبل. [8]

سرعان ما أصبح سيفاكيس مديرًا للأبحاث في المركز الوطني للبحوث العلمية (CNRS) ومؤسسًا (1993) لمختبرات Verimag، وهو مختبر أبحاث أكاديمي في Gières في فرنسا، تابع لـ CNRS وجامعة جوزيف فورييه. في عام 2008، تم منح سيفاكيس الكرسي البحثي الجديد للأنظمة الذكية على متن الطائرة (intelligent onboard systems) في المعهد الفرنسي الوطني للبحوث والمعلوماتية والتشغيل الآلي (INRIA) في غرونوبل.[8]

سيفاكيس وإدموند كلارك وطالبه السابق المتخرج إرنست ألين إيمرسون تم الاستشهاد بهم في جائزة تورنغ عن عملهم في عام 1981 في برنامج فحص النموذج، والذي يستخدم لأتمتة الكشف عن الأخطاء المنطقية في تصميمات الدوائر المتسلسلة وفي البرامج.[8]

مراجع[عدل]

  1. ^ Who's Who in France (بالفرنسية), Paris, ISSN:0083-9531, QID:Q5924723
  2. ^ https://www.ae-info.org/ae/User/Sifakis_Joseph. {{استشهاد ويب}}: |url= بحاجة لعنوان (مساعدة) والوسيط |title= غير موجود أو فارغ (من ويكي بيانات) (مساعدة)
  3. ^ أ ب https://www.cnrs.fr/fr/personne/joseph-sifakis-0. {{استشهاد ويب}}: |url= بحاجة لعنوان (مساعدة) والوسيط |title= غير موجود أو فارغ (من ويكي بيانات) (مساعدة)
  4. ^ https://awards.acm.org/award_winners/sifakis_1701095. اطلع عليه بتاريخ 2023-09-22. {{استشهاد ويب}}: |url= بحاجة لعنوان (مساعدة) والوسيط |title= غير موجود أو فارغ (من ويكي بيانات) (مساعدة)
  5. ^ https://comihistocnrs.hypotheses.org/2706. {{استشهاد ويب}}: |url= بحاجة لعنوان (مساعدة) والوسيط |title= غير موجود أو فارغ (من ويكي بيانات) (مساعدة)
  6. ^ الأكاديمية الفرنسية للعلوم، OL:1180173A، QID:Q188771
  7. ^ 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 على موقع واي باك مشين.
  8. ^ أ ب ت "Joseph Sifakis | French computer scientist". Encyclopedia Britannica (بالإنجليزية). Archived from the original on 2020-08-09. Retrieved 2020-11-03.