باتريك كوسو

الموسوعة الحرة

باتريك كوسو (مواليد 3 ديسمبر 1948) عالم حاسوب فرنسي، يشغل حاليًا منصب أستاذ سيلفر لعلوم الحاسوب في معهد كورانت للعلوم الرياضية بجامعة نيويورك ، الولايات المتحدة الأمريكية. قبل أن يصبح أستاذًا في المدرسة العليا للأساتذة (ENS) في باريس، فرنسا، عمل في المدرسة المتعددة التقنيات (École Polytechnique ) في باليزو، فرنسا، وجامعة ميتز ، فرنسا، كما شغل منصب باحث علمي في المركز الوطني الفرنسي للبحث العلمي (CNRS) في جامعة جوزيف فورييه في غرونوبل، فرنسا.

يُعد باتريك كوسو، بالاشتراك مع زوجته راضية كوسو (1947-2014 ) ، مؤسس التفسير المجرد ، وهي تقنية مؤثرة في الأساليب الرسمية . وفي العقد الأول من الألفية الثانية، عمل على تطوير أساليب عملية للتحليل الثابت للبرمجيات المدمجة الحساسة ( Astrée )، كما هو الحال في إلكترونيات الطيران .

في عام ١٩٩٩، حصل على الميدالية الفضية من المركز الوطني الفرنسي للبحث العلمي (CNRS) ، وفي عام ٢٠٠٦، نال الجائزة الكبرى من مؤسسة إيرباص للدفاع والفضاء (EADS) . وفي عام ٢٠٠١، منحته جامعة سارلاند في ألمانيا درجة الدكتوراه الفخرية . وفي عام ٢٠١٣ ، حصل مع راضية كوسو على جائزة إنجازات لغات البرمجة من جمعية آلات الحوسبة (ACM) ضمن برنامج SIGPLAN، وجائزة هارلان د. ميلز من جمعية مهندسي الكهرباء والإلكترونيات (IEEE) عام ٢٠١٤، وذلك "لاختراعهما مفهوم ' التفسير المجرد '، وتطوير أدوات دعمه، وتطبيقاته العملية". كما حصل على جائزة هومبولت البحثية عام ٢٠٠٨، وميدالية جون فون نيومان من جمعية مهندسي الكهرباء والإلكترونيات (IEEE) عام ٢٠١٨ ، "لإسهامه في تقديم التفسير المجرد ، وهو إطار عمل قوي لحساب خصائص البرامج تلقائيًا، وله تطبيقات واسعة في التحقق والتحسين". وفي عام ٢٠٢٠، نال كوسو زمالة جمعية آلات الحوسبة (ACM ) "لمساهماته في لغات البرمجة من خلال اختراع وتطوير التفسير المجرد". في عام ٢٠٢٢، مُنح كوسو درجة الدكتوراه الفخرية من جامعة كا فوسكاري في البندقية . كما نال جائزة الجمعية الأوروبية لعلوم الحاسوب النظرية (EATCS) لعام ٢٠٢٢ ، والتي تُمنح تقديرًا لإسهاماته الواسعة والمشهود لها في مجال علوم الحاسوب النظرية على مدار مسيرته العلمية الطويلة. وهو حاصل على وسام فارس ( Chevalier ) من وسام الاستحقاق الوطني ووسام السعفات الأكاديمية ، وعضو في الأكاديمية الأوروبية (قسم المعلوماتية) منذ عام ٢٠٠٦، وعضو في مجلس أمناء معهد IMDEA للبرمجيات .

مراجع