مُنحت جائزة تورينج لإدموند إم. كلارك (Edmund M. Clarke) في عام 2007 لتطويره الرائد للتحقق من النماذج، وهو أسلوب تحقق رسمي لتصميمات الأجهزة والبرمجيات. أسس عمله تقنيات رياضية صارمة لضمان صحة الأنظمة الإلكترونية المعقدة، مما أدى إلى تغيير جذري في كيفية تعامل المهندسين مع موثوقية البنية التحتية للحوسبة الحديثة خلال مسيرته الأكاديمية الطويلة.
التكوين الأكاديمي
وُلد كلارك في نيوبورت نيوز عام 1945، وسلك طريقاً تقليدياً عبر الرياضيات قبل الانتقال إلى المعلوماتية. حصل على درجة البكالوريوس في الرياضيات من جامعة فيرجينيا عام 1967، تليها درجة الماجستير من جامعة ديوك عام 1968. أكمل تعليمه الرسمي في عام 1976 بحصوله على الدكتوراه في علوم الحاسوب من جامعة كورنيل، حيث أثبتت أطروحته قيوداً حرجة في أنظمة الإثبات الموجودة على طراز هور لهياكل التحكم في لغات البرمجة.
التقدم الوظيفي
شغل كلارك مناصب في العديد من المؤسسات الكبرى قبل أن يستقر في جامعة كارنيجي ميلون. بعد حصوله على الدكتوراه، درّس في جامعة ديوك لمدة عامين، ثم انتقل إلى جامعة هارفارد في عام 1978 كأستاذ مساعد. في عام 1982، انضم إلى كلية علوم الحاسوب في كارنيجي ميلون. حصل على درجة الأستاذية الكاملة بحلول عام 1989 وتم تعيينه كأول أستاذ لـ FORE Systems في عام 1995. وبحلول عام 2015، انتقل إلى حالة الأستاذ الفخري.
المساهمات في التحقق الرسمي
في عام 1981، قدم كلارك وطالبه إي. ألين إيمرسون (E. Allen Emerson) التحقق من النماذج، وهي تقنية للتحقق من الأنظمة المتزامنة ذات الحالة المحدودة. كانت مجموعته البحثية رائدة لاحقاً في أساليب التحقق من الأجهزة والتحقق الرمزي من النماذج باستخدام مخططات القرار الثنائية. بالإضافة إلى هذه الجهود الأساسية، طور فريقه مُثبت مبرهنات الدقة المتوازي Parthenon ونظام الحوسبة الرمزية Analytica. في عام 2009، أنشأ مركز النمذجة والتحليل الحسابي للأنظمة المعقدة لتطبيق هذه الأساليب على الأنظمة البيولوجية والمدمجة.
عشرون سؤالاً وثماني دقائق على الساعة، ونسبة مئوية مقاسة مقابل كل من خاضه. دون تسجيل.
اخوض اختبار الذكاء →التقدير المهني
حصدت أبحاث كلارك العديد من الجوائز، بما في ذلك جائزة باريس كانيلاكيس عام 1998، وجائزة هاري إتش. جود التذكارية عام 2004، وجائزة هيربراند عام 2008. تم انتخابه لعضوية الأكاديمية الوطنية للهندسة في عام 2005 والأكاديمية الأمريكية للفنون والعلوم في عام 2011. في عام 2014، حصل على جائزة باور وجائزة الإنجاز في العلوم من معهد فرانكلين لقيادته في التحقق الآلي من الأنظمة.
حقائق سريعة
- الميلاد: 1945، نيوبورت نيوز - الوفاة: 2020، بيتسبرغ - التعليم: جامعة فيرجينيا (1967)، جامعة ديوك (1968)، جامعة كورنيل (1976) - المجال الرئيسي: علوم الحاسوب - التقدير الرئيسي: جائزة تورينج من ACM لعام 2007 - الانتماءات: ACM، IEEE، الأكاديمية الوطنية للهندسة - الموطن الأكاديمي: جامعة كارنيجي ميلون
أسئلة يطرحها القراء
### ما هو التحقق من النماذج؟
إنها تقنية تحقق رسمية طورها كلارك وإي. ألين إيمرسون لضمان صحة تصميمات الأجهزة والبرمجيات.
### هل شغل كلارك كرسياً وقفياً؟
نعم، كان أول حاصل على أستاذية FORE Systems في جامعة كارنيجي ميلون، بدءاً من عام 1995.
