روبرت بروس فيندلر

روبرت بروس فيندلر ، المعروف شعبيًا باسم "روبي"، هو عالم حاسوب أمريكي، يشغل حاليًا منصب أستاذ علوم الحاسوب في جامعة نورث وسترن . ^{[ 1 ]} وهو أيضًا عضو في مجموعة PLT ^{[ 2 ]} ، وبصفته هذه، فهو مسؤول عن إنشاء وصيانة برنامج DrRacket . بالإضافة إلى DrRacket ، ساهم فيندلر بالعديد من المكونات في Racket ويساعد في إدارة عملية إصداره. ^{[ 3 ]} كما يُعد فيندلر عضوًا بارزًا في فريق مشروع ProgramByDesign .

حصل فيندلر على درجة الدكتوراه من جامعة رايس تحت إشراف ماتياس فيليسين . ^{[ 4 ]} تناولت أطروحته لغويات عقود البرمجيات، والمعروفة باسم التصميم التعاقدي . يوفر عمله في مجال عقود البرمجيات تحليلاً أكثر دقة لتحديد المسؤولية، مما يساعد المبرمجين على تحديد الجزء المعيب من نظام البرمجيات بسرعة.

إلى جانب DrRacket وعقود البرمجيات، يركز فايندلر على تصميم وتنفيذ بيئة عمل لمهندسي الدلالات. تُسمى هذه البيئة Redex، وهي أداة لتحديد وتنفيذ دلالات الاختزال للغة برمجة . يستخدمها باحثو لغات البرمجة في الولايات المتحدة وأوروبا. ومؤخرًا، استخدم فريق بحث Fortress التابع لشركة SUN برنامج Redex لتحديد واستكشاف أجزاء رئيسية من لغتهم.

عمل فيندلر محررًا للدلالات في التقرير المنقح رقم 6 حول لغة برمجة سكيم . وقد طوّر هو وطالب الدكتوراه جاكوب ماثيوز نموذج ريدكس للدلالات الأساسية، وهو مُدرج كمُلحق للتقرير. يؤدي هذا المُلحق الدور نفسه الذي تؤديه المواصفات الرسمية للغة Standard ML (ميلنر، توفت، هاربر، ماكوين)، ولكنه قابل للتنفيذ، وبالتالي يُمكنه عرض أمثلة فردية.

في عام 2018، حصل هو وآخرون على جائزة SIGPLAN لبرامج لغات البرمجة لعملهم على Racket ^{[ 5 ].}

في عام 2012، حصل هو وماتياس فيليسين على جائزة ICFP لأكثر الأوراق البحثية تأثيراً لعملهما على العقود ^{[ 6 ].}

• الصفحة الرئيسية في جامعة نورث وسترن
• ملف تعريف جوجل سكولار