جوزيف سيفاكيس
جوزيف سيفاكيس (باليونانية: Ιωσήφ Σηφάκης) (من مواليد 26 ديسمبر 1946 ، إيراكليون، كريت، اليونان) عالم حاسوب فرنسي-يوناني، اشتهر بمساهماته في مجال علم الحاسوب، فاز بجائزة تورنغ في عام 2007.[9]
| جوزيف سيفاكيس | |
|---|---|
| (باليونانية: Ιωσήφ Σηφάκης) | |
 |
|
| معلومات شخصية | |
| الميلاد | 26 ديسمبر 1946 (78 سنة) كاندية[1] |
| مواطنة |  اليونان فرنسا |
| عضو في | أكاديمية أوروبيا[2]، والأكاديمية الفرنسية للتكنولوجيا ، والأكاديمية الأمريكية للفنون والعلوم، والأكاديمية الوطنية للهندسة، والأكاديمية الفرنسية للعلوم، والأكاديمية الوطنية للعلوم[3]، وجمعية آلات الحوسبة[4] |
| الحياة العملية | |
| المدرسة الأم | الجامعة التقنية الوطنية في أثينا |
| المهنة | عالم حاسوب، ومهندس، وباحث[5] |
| اللغات | اليونانية، والفرنسية |
| مجال العمل | علم الحاسوب |
| موظف في | المركز الوطني الفرنسي للبحث العلمي، ومدرسة لوزان الاتحادية للعلوم التطبيقية |
| الجوائز | |
| المواقع | |
| الموقع | الموقع الرسمي[8] |
تعديل مصدري - تعديل  | |
حصل سيفاكيس على درجة البكالوريوس (1969) في الهندسة الكهربائية من الجامعة التقنية الوطنية في أثينا ودرجة الماجستير (1972) ودكتوراه إنجينيور docteur ingénieur عام (1974) في علوم الحاسب من جامعة العلوم والطب في غرونوبل (المعروفة أيضًا باسم جامعة غرينوبل 1 أعيدت تسميتها الآن لتصبح جامعة جوزيف فورييه) في فرنسا. في عام 1979 حصل على درجة الأستاذية في الرياضيات (تخصص علوم الكمبيوتر) من غرونوبل 1 والمعهد الوطني للفنون التطبيقية في غرونوبل. [10]
سرعان ما أصبح سيفاكيس مديرًا للأبحاث في المركز الوطني للبحوث العلمية (CNRS) ومؤسسًا (1993) لمختبرات Verimag، وهو مختبر أبحاث أكاديمي في Gières في فرنسا، تابع لـ CNRS وجامعة جوزيف فورييه. في عام 2008، تم منح سيفاكيس الكرسي البحثي الجديد للأنظمة الذكية على متن الطائرة (intelligent onboard systems) في المعهد الفرنسي الوطني للبحوث والمعلوماتية والتشغيل الآلي (INRIA) في غرونوبل.[10]
سيفاكيس وإدموند كلارك وطالبه السابق المتخرج إرنست ألين إيمرسون تم الاستشهاد بهم في جائزة تورنغ عن عملهم في عام 1981 في برنامج فحص النموذج، والذي يستخدم لأتمتة الكشف عن الأخطاء المنطقية في تصميمات الدوائر المتسلسلة وفي البرامج.[10]
مراجع
عدل- ^ Who's Who in France (بالفرنسية), Paris, ISSN:0083-9531, QID:Q5924723
- ^ https://www.ae-info.org/ae/User/Sifakis_Joseph.
{{استشهاد ويب}}:|url=بحاجة لعنوان (مساعدة) والوسيط|title=غير موجود أو فارغ (من ويكي بيانات) (مساعدة) - ^ https://www.nasonline.org/news-and-multimedia/news/2024-nas-election.html.
{{استشهاد ويب}}:|url=بحاجة لعنوان (مساعدة) والوسيط|title=غير موجود أو فارغ (من ويكي بيانات) (مساعدة) - ^ ا ب https://www.acm.org/media-center/2012/december/acm-fellows-named-for-computing-innovations-that-advance-technologies-in-information-age. اطلع عليه بتاريخ 2024-06-24.
{{استشهاد ويب}}:|url=بحاجة لعنوان (مساعدة) والوسيط|title=غير موجود أو فارغ (من ويكي بيانات) (مساعدة) - ^ ا ب https://www.cnrs.fr/fr/personne/joseph-sifakis-0.
{{استشهاد ويب}}:|url=بحاجة لعنوان (مساعدة) والوسيط|title=غير موجود أو فارغ (من ويكي بيانات) (مساعدة) - ^ https://awards.acm.org/award_winners/sifakis_1701095. اطلع عليه بتاريخ 2023-09-22.
{{استشهاد ويب}}:|url=بحاجة لعنوان (مساعدة) والوسيط|title=غير موجود أو فارغ (من ويكي بيانات) (مساعدة) - ^ https://comihistocnrs.hypotheses.org/2706.
{{استشهاد ويب}}:|url=بحاجة لعنوان (مساعدة) والوسيط|title=غير موجود أو فارغ (من ويكي بيانات) (مساعدة) - ^ الأكاديمية الفرنسية للعلوم، OL:1180173A، QID:Q188771
- ^ 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 (بالإنجليزية). Archived from the original on 2020-08-09. Retrieved 2020-11-03.
