كريستين بولان-مورين

يعد تطوير مبرهن النظريات التفاعلي Rocq المساهمة التقنية الرئيسية لكريستين بولان-مورين (Christine Paulin-Mohring). بصفتها عالمة حاسوب ومنطق رياضي فرنسية ولدت عام 1962، تركز أبحاثها على إضفاء الطابع الرسمي على الاستدلال الرياضي من خلال الأنظمة الحاسوبية. يمتد مسارها الأكاديمي لعقود من القيادة المؤسسية والمساهمات في التحقق الصارم من البرمجيات والبراهين داخل المجتمع العلمي العالمي.

التأسيس الأكاديمي والمسيرة المهنية

أكملت بولان-مورين دراسات الدكتوراه في عام 1989 تحت إشراف جيرار هييه (Gérard Huet). مسيرتها المهنية متجذرة في التعليم العالي الفرنسي، وتحديداً في جامعة باريس ديدرو حيث أكملت تدريبها. منذ عام 1997، تشغل منصب أستاذة في جامعة باريس-ساكلي. تشمل أدوارها الإدارية تولي منصب عميد كلية العلوم في باريس-ساكلي من 2016 حتى 2021، وعملت كمنسقة علمية لـ Labex DigiCosme بين عامي 2012 و 2015.

المساهمات في إثبات النظريات

يمثل نظام Rocq، الذي كان يُعرف سابقاً باسم Coq، تقدماً كبيراً في إثبات النظريات التفاعلي. تعاونت بولان-مورين مع فريق تطوير يضم تييري كوكاند (Thierry Coquand)، وجيرار هييه، وبرونو باراس (Bruno Barras)، وجان-كريستوف فيليات (Jean-Christophe Filliâtre)، وهوجو هيربلين (Hugo Herbelin)، وتشيتان ميرثي (Chetan Murthy)، وإيف بيرتو (Yves Bertot)، وبيير كاستيران (Pierre Castéran). وفر هذا الجهد الجماعي أدوات لإضفاء الطابع الرسمي على المنطق والتحقق من البراهين الرياضية، مما أدى إلى مشاركتها النشطة في هيئة تحرير مجلة الاستدلال الرسمي (Journal of Formalized Reasoning).

التقدير المهني

اعترفت جمعية آلات الحوسبة (ACM) بفريق تطوير Rocq من خلال جائزة ACM للأنظمة البرمجية في عام 2013. بعد ذلك بعامين، منحت الأكاديمية الفرنسية للعلوم بولان-مورين جائزة ميشيل مونبيتيت (Prix Michel Monpetit). تم انتخابها عضواً في الأكاديمية الأوروبية (Academia Europaea) في عام 2014، مما يعكس مكانتها داخل المجتمع العلمي الأوروبي.

حقائق سريعة

- المواليد: 1962 - الجنسية: فرنسا - التعليم: جامعة باريس ديدرو - صاحب العمل الحالي: جامعة باريس-ساكلي (ComUE) - المشروع الرئيسي: مبرهن النظريات Rocq - جائزة ACM للأنظمة البرمجية: 2013 - جائزة ميشيل مونبيتيت: 2015 - عضو الأكاديمية الأوروبية منذ: 2014

أسئلة القراء

### ما هو التركيز الأكاديمي الرئيسي لكريستين بولان-مورين؟

هي عالمة منطق رياضي وعلوم حاسوب متخصصة في إثبات النظريات التفاعلي.

### ما هو نظام البرمجيات الرئيسي الذي ترتبط به؟

تشتهر بعملها على مبرهن النظريات التفاعلي المعروف باسم Rocq، والذي كان يُسمى سابقاً Coq.