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

جوزيف سيفاكيس ( باليونانية : Ιωσήφ Σηφάκης؛ وُلد في 26 ديسمبر 1946) هو عالم حاسوب يوناني فرنسي . حصل على جائزة تورينج لعام 2007 ، إلى جانب إدموند إم. كلارك وإي . ألين إيمرسون ، لعمله في مجال التحقق من النماذج .

وُلد جوزيف سيفاكيس في هيراكليون ، كريت عام 1946، ويقيم حاليًا في فرنسا . درس الهندسة الكهربائية في جامعة أثينا التقنية الوطنية ، وعلوم الحاسوب في جامعة غرونوبل بمنحة دراسية فرنسية . حصل على درجة الدكتوراه في الهندسة عام 1974 من جامعة غرونوبل ، ^{[ 1 ]} حيث حصل أيضًا على درجة الدكتوراه من الدولة عام 1979. ^{[ 2 ] [ 3 ] [ 4 ]}

يشغل حاليًا منصب مدير الأبحاث الفخري في المركز الوطني للبحث العلمي في مختبر VERIMAG بالقرب من غرونوبل ، وهو مؤسسه. يُعد سيفاكيس شخصية رائدة في مجالي التحقق من النماذج والأنظمة المدمجة . أسس مع إدموند إم. كلارك وأمير بنويلي مؤتمر CAV ، الذي نُظّم لأول مرة في غرونوبل عام 1989. كما شغل منصب منسق شبكة ARTIST الأوروبية للتميز في أبحاث الأنظمة المدمجة ^{[ 5 ]} (2004-2012).

شغل سيفاكيس كرسي INRIA-Schneider الصناعي الممول ^{[ 6 ]} (2008-2011)، وكان أستاذاً متفرغاً ^{[ 7 ]} ومديراً لـ«مختبر تصميم الأنظمة الدقيقة  » في كلية علوم الحاسوب والاتصالات في EPFL (2011-2016). كما عمل أستاذاً زائراً في جامعة تسينغهوا (2011-2012)، وفي جامعة SUSTech (2019). ^{[ 8 ]}

شغل سيفاكيس منصب رئيس المجلس الوطني اليوناني للبحوث والتكنولوجيا (2014-2016).

عمل سيفاكيس على التحقق من الأنظمة وتطبيق الأساليب الرسمية في تصميمها. وفي أطروحته للدكتوراه ^{[ 3 ]،} درس مبادئ أسلوب التحقق الخوارزمي المعروف لاحقًا باسم التحقق من النماذج . وفي عام 1982، طُبقت هذه التقنية في أطروحة الدكتوراه التي قدمها جان بيير كويل لتطوير أداة التحقق CESAR. ^{[ 9 ]}

شغل سيفاكيس منصب مدير مختبر VERIMAG لمدة أربعة عشر عامًا. تأسس المختبر في البداية كمختبر صناعي مشترك بين المركز الوطني الفرنسي للبحث العلمي (CNRS) وشركة Verilog SA، وقد تعاون مع شركتي إيرباص وشنايدر إلكتريك لتطوير أساليب وأدوات لتطوير أنظمة بالغة الأهمية للسلامة، ولا سيما بيئة البرمجة المتزامنة SCADE القائمة على لغة Lustre . عمل سيفاكيس على التحقق من صحة الأنظمة الموقوتة والهجينة مع توماس هينزينجر ^{[ 10 ] [ 11 ]} ، وعلى توليف الأنظمة الموقوتة مع أمير بنويلي وأوديد مالر ^{[ 12 ]} . كما شارك في تطوير أدوات التحقق، بما في ذلك مجموعة أدوات IF، و Kronos ، و CADP ، و TGV، ووضع نظرية للتعامل مع تضخم الحالات باستخدام تقنيات التجريد.

على مدى العشرين عامًا الماضية، انصبّ تركيز عمله على التصميم الدقيق القائم على المكونات باستخدام إطار عمل BIP للمكونات ^{[ 13 ]} ، ومؤخرًا على تصميم أنظمة مستقلة موثوقة، ولا سيما السيارات ذاتية القيادة. وهو مؤلف كتاب " فهم العالم وتغييره" ، الذي نشرته دار سبرينغر في مايو 2022.

• جائزة تورينج ، 2007 ^{[ 14 ]}
• وسام ليوناردو دا فينشي، 2012 ^{[ 15 ]}
• ضابط كبير في وسام الاستحقاق الوطني، فرنسا، 2008 ^{[ 16 ]}
• عضو في الأكاديمية الفرنسية للهندسة، 2008 ^{[ 17 ]}
• قائد وسام جوقة الشرف ، فرنسا، 2011 ^{[ 18 ]}
• عضو في الأكاديمية الفرنسية للعلوم، 2010 ^{[ 19 ]}
• عضو في أكاديميا يوروبيا ، 2008 ^{[ 20 ]}
• عضو في الأكاديمية الأمريكية للفنون والعلوم، 2015 ^{[ 21 ]}
• عضو في الأكاديمية الوطنية للهندسة، 2017 ^{[ 22 ]}
• عضو أجنبي في الأكاديمية الصينية للعلوم، 2019 ^{[ 23 ]}
• عضو في الأكاديمية الوطنية للعلوم، 2024 ^{[ 24 ]}

• الصفحة الرئيسية الشخصية
• الموقع الرسمي
• إعلان جائزة تورينج
• قائمة المنشورات: dblp: جوزيف سيفاكيس