روبرت هاربر (عالم حاسوب)

روبرت ويليام هاربر الابن (مواليد 1957 ^{[ 2 ]} ) أستاذ علوم الحاسوب في جامعة كارنيجي ميلون، ويعمل في مجال أبحاث لغات البرمجة . قبل انضمامه إلى جامعة كارنيجي ميلون، كان هاربر باحثًا في جامعة إدنبرة . ^{[ 3 ]}

قدم هاربر مساهمات كبيرة في تصميم لغة البرمجة Standard ML والإطار المنطقي LF .

حصل هاربر على زمالة جمعية آلات الحوسبة (ACM) عام 2005 لمساهماته في أنظمة أنواع لغات البرمجة. وفي عام 2021، نال جائزة إنجازات لغات البرمجة من جمعية آلات الحوسبة (ACM SIGPLAN) لمساهماته الأساسية في فهمنا لنظرية الأنواع واستخدامها في تصميم وتحديد وتنفيذ والتحقق من لغات البرمجة الحديثة. ^{[ 4 ]}

• جائزة هربرت أ. سيمون للتميز في تدريس علوم الحاسوب ، جامعة كارنيجي ميلون . ^{[ 5 ]}

• جائزة ألين نيويل للتميز البحثي، جامعة كارنيجي ميلون . ^{[ 6 ]} لأبحاثه حول الترجمة الموجهة بالأنواع. ^{[ 9 ]} (2001)

• زميل في جمعية ACM ، لمساهماته في أنظمة الأنواع . (2005)
• جائزة ACM SIGPLAN لأكثر الأوراق البحثية تأثيراً في مؤتمر PLDI، ^{[ 10 ]} عن الورقة البحثية TIL: مُترجم مُحسِّن موجه بالنوع للغة ML. ^{[ 11 ]} (2006)

• حائز على جائزة LICS Test-of-Time Award، ^{[ 12 ]} عن ورقة بحثية بعنوان "إطار عمل لتعريف المنطق" . ^{[ 13 ]} (2007)

• جائزة ACM SIGPLAN للإنجاز في لغات البرمجة ، لمساهماته الأساسية في نظرية الأنواع واستخدامها. (2021)

• روبن ميلنر ، ومادس توفت ، وروبرت هاربر، وديفيد ماكوين. تعريف لغة ML القياسية (مراجعة) . مطبعة معهد ماساتشوستس للتكنولوجيا، 1997.
• روبرت هاربر (محرر). أنواع في الترجمة . سلسلة محاضرات سبرينغر-فيرلاغ في علوم الحاسوب، المجلد 2071، 2001.
• روبرت هاربر. أنظمة الأنواع للغات البرمجة . مسودة، 2000.
• روبرت هاربر. البرمجة بلغة Standard ML . مسودة عمل، 2013.
• روبرت هاربر. الأسس العملية للغات البرمجة ، مسودة 2007. الطبعة الثانية: ISBN 1107150302، 2016.

في الفترة من 2003 إلى 2008، قدم هاربر البرنامج الحواري التقدمي Left Out على محطة WRCT -FM مع زميله المضيف وعضو هيئة التدريس في كلية علوم الحاسوب بجامعة كارنيجي ميلون، داني سليتور .

• الصفحة الرئيسية لروبرت هاربر
• مدونة روبرت هاربر بعنوان " النمط الوجودي" .
• موقع روبرت هاربر xArchiv
• صفحة روبرت هاربر على جوجل سكولار
• هوية زهرة الأوركيد لروبرت هاربر