بنيامين سي. بيرس

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

كجزء من أبحاثه، قاد بيرس عملية تطوير العديد من مشاريع البرمجيات مفتوحة المصدر ، بما في ذلك أداة مزامنة الملفات Unison .

في عام ٢٠١٢، نال بيرس زمالة جمعية آلات الحوسبة (ACM) ^{[ ٢ ]} لمساهماته في نظرية وتطبيق لغات البرمجة وأنظمة أنواعها. وفي عام ٢٠١٥، حاز بيرس وزملاؤه على جائزة أكثر الأبحاث تأثيرًا في مجال مبادئ لغات البرمجة ^{[ ٣ ]} ، والتي وُصفت بأنها "كانت أساسية في لفت انتباه مجتمع لغات البرمجة إلى مشكلة تحديث العرض، وإظهار أهميتها الواسعة التي تتجاوز قواعد البيانات . [...] وعلى نطاق أوسع، أثارت هذه الورقة البحثية العديد من الأعمال اللاحقة في مجال التحويلات ثنائية الاتجاه (BX )، مما أدى إلى تعاون مثمر بين عوالم قواعد البيانات ولغات البرمجة وهندسة البرمجيات ."

هو مؤلف كتاب واحد عن أنظمة الأنواع ، بعنوان "الأنواع ولغات البرمجة " (ISBN). 0-262-16209-1كما قام بتحرير مجموعة من المقالات لإصدار مجلد ثانٍ بعنوان " مواضيع متقدمة في أنواع البيانات ولغات البرمجة " (ISBN) . 0-262-16228-8استنادًا إلى الملاحظات التي جمعها أثناء دراسته لنظرية الفئات خلال فترة الدكتوراه، نشر أيضًا كتابًا تمهيديًا حول هذا الموضوع بعنوان " نظرية الفئات الأساسية لعلماء الحاسوب " ( ISBN) . 0-262-66071-7وهو أحد مؤلفي كتاب " أسس البرمجيات" المتاح مجاناً .

• تحديات علامة POPLmark

• الصفحة الرئيسية للأستاذ بيرس
• بنيامين سي. بيرس في خادم ببليوغرافيا DBLP
• بنيامين سي. بيرس في مشروع علم الأنساب الرياضي