كونور ماكبرايد

كونور ماكبرايد (مواليد 18 فبراير 1973) محاضر في قسم علوم الحاسوب والمعلومات بجامعة ستراثكلايد . ^{[ 1 ]} في عام 1999، حصل على درجة الدكتوراه في الفلسفة (Ph.D.) في البرامج الوظيفية المعتمدة على النوع وبراهينها ^{[ 2 ]} من جامعة إدنبرة عن عمله في نظرية الأنواع . ^{[ 3 ]} عمل سابقًا في جامعة دورهام ، ولفترة وجيزة في رويال هولواي، جامعة لندن، قبل انضمامه إلى الهيئة التدريسية بجامعة ستراثكلايد.

لقد شاركوا في تطوير المعايير الدولية في البرمجة والمعلوماتية، كعضو في الاتحاد الدولي لمعالجة المعلومات (IFIP) مجموعة العمل 2.1 التابعة للاتحاد الدولي لمعالجة المعلومات بشأن اللغات والحسابات الخوارزمية، ^{[ 4 ]} والتي حددت وحافظت ودعمت لغات البرمجة ALGOL 60 و ALGOL 68. ^{[ 5 ]}

إنهم يفضلون لغة هاسكل ويستخدمونها في كثير من الأحيان . ^{[ 6 ]}

تتركز أبرز أبحاثهم في مجال نظرية الأنواع . ^{[ 7 ]} وقد شاركوا في ابتكار لغة البرمجة إبيغرام مع جيمس ماكينا. ^{[ 8 ]} ونُشرت العديد من مقالاتهم، بما في ذلك المقالة المشتركة التي تُعرّف لغة إبيغرام، في مجلة البرمجة الوظيفية . ^{[ 9 ]}

• مع داغاند، بيير-إيفاريست (2014). "نقل الوظائف عبر الزخارف". إشعارات ACM SIGPLAN . 47 (9): 103-114 . arXiv : 1201.4801 . doi : 10.1145/2398856.2364544 .
• مع بنتون، نيك؛ هور، تشونغ كيل؛ كينيدي، أندرو جيه. (أغسطس 2012). "تمثيلات المصطلحات ذات النوع القوي في Coq" (ملف PDF) . مجلة الاستدلال الآلي . 49 (2): 141-159 . CiteSeerX 10.1.1.296.8805 . doi : 10.1007/s10817-011-9219-0 . S2CID 34005862 .  
• مع تشابمان، جيمس؛ داغاند، بيير-إيفاريست؛ موريس، بيتر (سبتمبر 2010). "فن التحليق اللطيف" (ملف PDF) . إشعارات ACM SIGPLAN . 45 (9): 3-14 . doi : 10.1145/1932681.1863547 .
• مع باترسون، روس (يناير 2008). "البرمجة التطبيقية مع التأثيرات" (ملف PDF) . مجلة البرمجة الوظيفية . 18 (1): 1-13 . doi : 10.1017/S0956796807006326 .
• مع ألتنكيرش، ثورستن؛ موريس، بيتر (2007). "البرمجة العامة مع الأنواع التابعة" (ملف PDF) . البرمجة العامة لأنواع البيانات . سلسلة محاضرات في علوم الحاسوب . المجلد  4719. الصفحات 209-257 . 
• مع ألتنكيرش، ثورستن؛ ماكينا، جيمس. لماذا تعتبر الأنواع التابعة مهمة (ملف PDF) .
• مع ألتنكيرش، ثورستن، محررين. (2007). أنواع البراهين والبرامج: ورشة عمل دولية . سبرينغر. ISBN 978-3540744634.
• (2006). "بعض الإنشاءات على المُنشئات". أنواع البراهين والبرامج . سلسلة محاضرات في علوم الحاسوب. المجلد  3839. الصفحات 186-200 . CiteSeerX 10.1.1.65.327 .  
• – (2005). "Epigram: Practical Programming with Dependent Types" (ملف PDF) . البرمجة الوظيفية المتقدمة . سلسلة محاضرات في علوم الحاسوب. المجلد  3622. الصفحات 130-170 . 
• مع ماكينا، جيمس (يناير 2004). "الرؤية من اليسار" (ملف PDF) . مجلة البرمجة الوظيفية . 14 (1): 69-111 . doi : 10.1017/s0956796803004829 . S2CID 6232997 . 
• مع أبوت، مايكل؛ ألتنكيرش، ثورستن؛ غاني، نيل (2003). "مشتقات الحاويات" (ملف PDF) . وقائع المؤتمر الدولي السادس حول حسابات لامدا المكتوبة وتطبيقاتها : 16-30 .
• – (2002). "الحذف مع وجود دافع" (ملف PDF) . أنواع البراهين والبرامج . سلسلة محاضرات في علوم الحاسوب. المجلد  2277. الصفحات 197-216 . 
• – (2001). مشتق النوع المنتظم هو نوع سياقات الثقب الواحد (PDF) .
• – (2000). البرامج الوظيفية ذات الأنواع المعتمدة وبراهينها (ملف PDF) . كلية العلوم والهندسة بجامعة إدنبرة.

• ماكبرايد، كونور (3 فبراير 2011). البرمجة المعتمدة على النوع: مقدمة إلى أغدا (المحاضرة الأولى من 15 محاضرة) (فيديو). إيان ماكجينيس.
• ماكبرايد، كونور (10 سبتمبر 2012). الكلمة الرئيسية في مؤتمر ICFP 2012 يوم الاثنين. كونور ماكبرايد: هل أنت مهتم بـ Agda؟ (فيديو). مالكولم والاس.

• الموقع الرسمي لجامعة ستراثكلايد
• الموقع الرسمي ، شخصي
• كونور ماكبرايد في مشروع علم الأنساب الرياضي
• كونور ماكبرايد في خادم ببليوغرافيا DBLP