راضية رزيق كوسو

راضية رزيق كوسو
Radhia Cousot
RadhiaCousot--Picture.jpg
وُلِدَ
راضية رزيق

(1947-08-06)6 أغسطس 1947
توفي1 مايو 2014(2014-05-01) (aged 67)
الجنسيةفرنسية
المدرسة الأمالمعهد الوطني للفنون التطبيقية في لورين
اللقبنظرية التفسير المجرد
الزوجپاتريك كوسو
الجوائزACM جائزة إنجاز لغات البرمجة من SIGPLAN
وسام هارلان د. ميلز من IEEE Computer Society
السيرة العلمية
المجالاتعلوم الحاسوب
الهيئات
أطروحةأسس طرق إثبات المنهاج وفاقد البرامج الموازية (1985)
المشرف على الدكتوراهكلود بير

راضية رزيق كوسو (بالإنجليزية: Radhia Cousot ، وُلدت باسم راضية رزيق، 6 أغسطس 1947 – ت. 1 مايو 2014)[1] هي عالمة حاسوب تونسية - فرنسية، اشتهرت بنظرية التفسير المجرد، التي صاغتها هي وزوجها پاتريك كوسو في أواخر السبعينيات.

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

النشأة والتعليم

وُلدت راضية كوسو في 6 أغسطس 1947، في ساقية سيدي يوسف، تونس، ونجت من المذبحة التي شهدتها مدرستها في 8 فبراير 1958. بعدها ذهبت لمدرسة ليسيه الشباب في سوسة، وبعدها إلى المدرسة الفرنسية بالجزائر العاصمة، ثم المدرسة الوطنية متعددة التقنيات، حيث كانت الأولى على دفعتها وكانت الفتاة الوحيدة في المدرسة. وتخصصت في التحسين الرياضي والبرمجة الخطية الصحيحة.

وبمنحة من اليونسكو (1972-1975)، حصلت على درجة الماجستير في علوم الحاسوب (شهادة الدراسات المعمقة) من جامعة جوزيف فورييه في غرونوبل عام 1972. وحصلت على الدكتوراه في العلوم (دكتوراه الدولة في الرياضيات) بمدينة نانسي عام 1985 تحت إشراف كلود بيير.[nb 1]


مسيرتها العلمية

عُينت راضية كوسو، كعالمة أبحاث مساعدة في مختبر IMAG التابع جامعة جوزيف فورييه في غرونوبل بين عامي 1975 و1979. ومن عام 1980 تدرجت بالعمل في المركز الوطني الفرنسي للبحث العلمي، من عالمة أبحاث مبتدئة في مختبرات علوم الحاسوب بجامعة هنري بوانكاريه بمدينة نانسي (1980-1983)، ثم عالمة أبحاث بجامعة باريس الجنوبية في أورساي (1984-1988)، وبعدها كبيرة علماء الأبحاث في المدرسة متعددة التقنيات في پاريس (1989-2008) حيث ترأست منذ عام 1991 فريق بحث "الدلالات، وشرح الإثبات والتفسير"، وأخيراً كبيرة علماء الأبحاث الفخريين في مدرسة المعلمين العليا (2006-2014).

إنجازاتها العلمية

وضعت راضية كوسو بالإشتراك مع زوجها باتريك، نظرية التفسير المجرد،[2][3] وهي تقنية مؤثرة في الطرق الشكلية. وترتكز نظرية التفسير المجرد على ثلاث أفكار رئيسية:

  1. يشير أي تحليل استنتاجي/برهاني/ثابت على نظام الحاسوب إلى دلالات تصف، على مستوى معين من التجريد، عمليات التنفيذ المحتملة.
  2. التحليل المنطقي/البرهاني/الثابت يجب أن يجرد جميع الخصائص الدلالية غير ذات الصلة بالمنطق.
  3. بسبب عدم القدرة على اتخاذ القرار، الاستدلالات الصوتية والتلقائية المبنية على/البراهين/التحليل الثابت لأنظمة الحاسوب يجب أن تؤدي، دائماً وبشكل كاملن الاستقراءات الرياضية في الملخص، وهكذا،يمكن أن تكون تقريبية فقط (حتى مع فرضية التحديد والقابلية للتقرير، بسبب انفجار اندماجي خارج الأنظمة الصغيرة).

في أطروحتها، طورت راضية كوسو طرق التحليل الدلالي، والبرهان، والتحليل الثابت للبرامج المتزامنة والمتوازية.[4]


بفضل راضية كوسو تمكنت إيرباص في يناير 1999، من تطوير محلل أخطاء وقت التشغيل أستري من عام 2001 فصاعدًا، أداة لتحليل البرامج الثابتة الصوتية لبرمجيات التحكم/القيادة المضمنة، تم تطويرها في مدرسة المعلمين العليا [5] ويتم توزيعها الآن بواسطة AbsInt،[6] شركة برمجيات ألمانية متخصصة في التحليل الثابت. يستخدم أستري في صناعة برمجيات النقل والفضاء والطب.

جوائز وتكريمات

مع باتريك كوسو، حصلت راضية على جائزة إنجاز لغات البرمجة SIGPLAN الممنوحة من رابطة ميكنة الحوسبة [7] عام 2013، وجائزة هارلان ميلز الممنوحة من جمعية الحاسوب التابعة لمعهد مهندسي الكهرباء والإلكترونيات [8] عام 2014 من أجل "إختراع التفسير المجرد، وتطوير أداة الدعم، وتطبيقها عملياً".

ذكراها

جائزة راضية كوسو لأفضل باحث شاب

منذ سبتمبر 2014، تُمنح سنوياً "جائزة راضية كوسو لأفضل ورقة مقدمة من باحث شاب"[9] من قبل رئيس البرنامج نيابة عن لجنة البرنامج في "ندوة التحليل الثابت" (SAS).[10]

ومنذ ذلك الحين، فاز بها الباحثون التاليون:

الهوامش

  1. ^ In the 1980s, there existed in France two levels of PhDs, the higher one, the Doctorate ès Sciences/State Doctorate being necessary to access professorships. It has since been replaced by the habilitation.

المصادر

  1. ^ "Institut des sciences de l'information et de leurs interactions - CNRS - Disparition de Radhia Cousot". www.cnrs.fr.
  2. ^ Cousot, Patrick; Cousot, Radhia (1 January 1977). "Abstract interpretation". Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. ACM. pp. 238–252. CiteSeerX 10.1.1.216.8213. doi:10.1145/512950.512973. S2CID 207614632 – via dl.acm.org.
  3. ^ Cousot, Patrick; Cousot, Radhia (1 January 1979). "Systematic design of program analysis frameworks". Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '79. ACM. pp. 269–282. CiteSeerX 10.1.1.207.2895. doi:10.1145/567752.567778. S2CID 1547466 – via dl.acm.org.
  4. ^ "R. Cousot, Fondements des méthodes de preuve d'invariance et de fatalité de programmes parallèles". www.di.ens.fr.
  5. ^ "Home page of the Astrée Static Analyzer at ENS". ens.fr.
  6. ^ "Astrée Runtime Error Analyzer". www.absint.com.
  7. ^ "Programming Languages Achievement Award". www.sigplan.org.
  8. ^ "Harlan D. Mills Award • IEEE Computer Society". www.computer.org.
  9. ^ "Radhia Cousot best young researcher paper award". www.di.ens.fr. {{cite web}}: |first= missing |last= (help)
  10. ^ "Static Analysis Symposia Central Site". staticanalysis.org.

وصلات خارجية