راضية رزيق كوسو
راضية رزيق كوسو Radhia Cousot | |
---|---|
وُلِدَ | راضية رزيق 6 أغسطس 1947 |
توفي | 1 مايو 2014 | (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] وهي تقنية مؤثرة في الطرق الشكلية. وترتكز نظرية التفسير المجرد على ثلاث أفكار رئيسية:
- يشير أي تحليل استنتاجي/برهاني/ثابت على نظام الحاسوب إلى دلالات تصف، على مستوى معين من التجريد، عمليات التنفيذ المحتملة.
- التحليل المنطقي/البرهاني/الثابت يجب أن يجرد جميع الخصائص الدلالية غير ذات الصلة بالمنطق.
- بسبب عدم القدرة على اتخاذ القرار، الاستدلالات الصوتية والتلقائية المبنية على/البراهين/التحليل الثابت لأنظمة الحاسوب يجب أن تؤدي، دائماً وبشكل كاملن الاستقراءات الرياضية في الملخص، وهكذا،يمكن أن تكون تقريبية فقط (حتى مع فرضية التحديد والقابلية للتقرير، بسبب انفجار اندماجي خارج الأنظمة الصغيرة).
في أطروحتها، طورت راضية كوسو طرق التحليل الدلالي، والبرهان، والتحليل الثابت للبرامج المتزامنة والمتوازية.[4]
بفضل راضية كوسو تمكنت إيرباص في يناير 1999، من تطوير
محلل أخطاء وقت التشغيل أستري من عام 2001 فصاعدًا، أداة لتحليل البرامج الثابتة الصوتية لبرمجيات التحكم/القيادة المضمنة، تم تطويرها في مدرسة المعلمين العليا
[5] ويتم توزيعها الآن بواسطة AbsInt،[6] شركة برمجيات ألمانية متخصصة في التحليل الثابت. يستخدم أستري في صناعة برمجيات النقل والفضاء والطب.
جوائز وتكريمات
مع باتريك كوسو، حصلت راضية على جائزة إنجاز لغات البرمجة SIGPLAN الممنوحة من رابطة ميكنة الحوسبة [7] عام 2013، وجائزة هارلان ميلز الممنوحة من جمعية الحاسوب التابعة لمعهد مهندسي الكهرباء والإلكترونيات [8] عام 2014 من أجل "إختراع التفسير المجرد، وتطوير أداة الدعم، وتطبيقها عملياً".
ذكراها
جائزة راضية كوسو لأفضل باحث شاب
منذ سبتمبر 2014، تُمنح سنوياً "جائزة راضية كوسو لأفضل ورقة مقدمة من باحث شاب"[9] من قبل رئيس البرنامج نيابة عن لجنة البرنامج في "ندوة التحليل الثابت" (SAS).[10]
ومنذ ذلك الحين، فاز بها الباحثون التاليون:
- 2014 (ميونخ، ألمانيا): ألكسندر تشكاروف (جامعة كولورادو، بولدر، الولايات المتحدة)، "ثوابت التوقعات لحلقات البرنامج الاحتمالية كنقاط ثابتة" (مع سريرام سنكارانريانان): SAS 2014, LNCS 8723, pp. 85–100, Springer
- 2015 (سان مالو، فرنسا): ماريانا راپوپور (جامعة واترلو، أونتاريو، كندا) "التحليل الدقيق لتدفق البيانات في وجود استدعاءات الطريقة المترابطة (مع أوندرج لوتاك ت. ينسن): SAS 2015, LNCS 9291, pp. 54–71, Springer
- 2016 (إدنبرة، إسكتلندا): ستيفان شولز فريلنگهاوس (جامعة ميونخ التقنية، ألمانيا)، "إنفاذ إنهاء التحليل Interprocedural" (مع هلموت سايدل ورالف فوگلر): SAS 2016, LNCS 9837, pp. 447–468, Springer
- 2017 (نيويورك، الولايات المتحدة): سوڤام موكرجي (المعهد الهندي للعلوم، بنگالور، الهند) وعوديد پادون (جامعة تل أبيب، إسرائيل)، "دلالات التشعبات الموضعية وتجريدها المتسلسل الفعال للبرامج Race-Free": SAS 2017, LNCS 10422, pp 253–276, Springer
الهوامش
- ^ 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.
المصادر
- ^ "Institut des sciences de l'information et de leurs interactions - CNRS - Disparition de Radhia Cousot". www.cnrs.fr.
- ^ 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.
- ^ 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.
- ^ "R. Cousot, Fondements des méthodes de preuve d'invariance et de fatalité de programmes parallèles". www.di.ens.fr.
- ^ "Home page of the Astrée Static Analyzer at ENS". ens.fr.
- ^ "Astrée Runtime Error Analyzer". www.absint.com.
- ^ "Programming Languages Achievement Award". www.sigplan.org.
- ^ "Harlan D. Mills Award • IEEE Computer Society". www.computer.org.
- ^ "Radhia Cousot best young researcher paper award". www.di.ens.fr.
{{cite web}}
:|first=
missing|last=
(help) - ^ "Static Analysis Symposia Central Site". staticanalysis.org.
وصلات خارجية
- Radhia Cousot home page at the École Normale Supérieure
- Short biography
- Radhia Cousot publications at the École Normale Supérieure
- Radhia Cousot award at the École Normale Supérieure
- Disparition de Radhia Cousot at the Institut des sciences de l’information et de leurs interactions of the CNRS
- Radhia Cousot في مخدم ببليوگرافيا DBLP
- راضية رزيق كوسو at the Mathematics Genealogy Project