ديريك كورنيل

ديريك جوردون كورنيل هو عالم رياضيات وعالم حاسوب كندي ، وأستاذ فخري لعلوم الحاسوب في جامعة تورنتو ، وخبير في خوارزميات الرسوم البيانية ونظرية الرسوم البيانية .

عندما كان كورنيل على وشك التخرج من المدرسة الثانوية، أخبره أستاذ اللغة الإنجليزية أن دراسة الرياضيات والفيزياء فكرة سيئة، وأن أفضل ما يمكنه فعله هو الالتحاق بكلية تقنية. بدأ اهتمامه بعلوم الحاسوب عندما كان طالبًا جامعيًا في كلية كوينز، حيث سمع أن شركة لندن لايف للتأمين في لندن، أونتاريو، حيث كان والده يعمل، قد اشترت جهاز كمبيوتر. في سنته الجامعية الأولى، عمل خلال الصيف في تشغيل جهاز UNIVAC Mark II في الشركة. كان من بين مهامه الرئيسية تشغيل طابعة. بعد ذلك بوقت قصير، سنحت له فرصة عمل في مجال البرمجة في الشركة التي ترعى منحة دراسته الجامعية. انتهز كورنيل هذه الفرصة بعد رفض طلبه لوظيفة مماثلة في شركة لندن لايف. حدث سوء فهم مبدئي في عمله، إذ ظنّ المشرف عليه أنه يجيد برمجة جهاز UNIVAC Mark II، وبالتالي سيتمكن من الانتقال بسهولة إلى برمجة جهاز IBM 1401 الذي اشترته الشركة حديثًا. مع ذلك، لم يكن لدى كورنيل الخلفية البرمجية المفترضة. وهكذا، خلال فترة الأسبوعين التي أُتيحت لكورنيل لتعلم برمجة جهاز IBM 1401 ، تعلم كتابة البرامج من الصفر بالاعتماد بشكل كبير على دليل المستخدم. وقد ساهمت هذه التجربة في دفعه قدمًا في مسيرته، كما فعلت العديد من المشاريع التي عمل عليها لاحقًا في ذلك المنصب. ^{[ 1 ]}

حصل كورنيل على درجة البكالوريوس في الرياضيات والفيزياء من جامعة كوينز عام ١٩٦٤. كان يخطط في البداية لمتابعة دراساته العليا قبل أن يصبح مدرسًا في مدرسة ثانوية، لكن قبوله في برنامج الدراسات العليا الجديد في علوم الحاسوب بجامعة تورنتو غيّر مساره. في جامعة تورنتو، حصل كورنيل على درجة الماجستير، ثم في عام ١٩٦٨ على درجة الدكتوراه في علوم الحاسوب تحت إشراف كالفن غوتليب . ^{[ ٢ ] [ ٣ ]} (كان ياب سايدل مشرفًا على أبحاث ما بعد الدكتوراه). خلال هذه الفترة، نما اهتمام كورنيل بنظرية الرسوم البيانية، وأصبح هو وغوتليب صديقين حميمين فيما بعد. بعد إتمام دراسات ما بعد الدكتوراه في جامعة آيندهوفن للتكنولوجيا ، عاد كورنيل إلى تورنتو كعضو هيئة تدريس عام 1970. ^{[ 2 ]} وقبل تقاعده عام 2010، ^{[ 4 ]} شغل كورنيل العديد من المناصب في جامعة تورنتو، بما في ذلك رئاسة قسم علوم الحاسوب (من يوليو 1985 إلى يونيو 1990)، ومدير مبادرات البحث في كلية الآداب والعلوم (من يوليو 1991 إلى مارس 1998)، ونائب الرئيس بالنيابة للبحث والعلاقات الدولية (من سبتمبر إلى ديسمبر 1993). وخلال فترة عمله كأستاذ، كان أيضًا أستاذًا زائرًا في جامعات مرموقة مثل جامعة كولومبيا البريطانية، وجامعة سيمون فريزر، وجامعة غرينوبل، وجامعة مونبلييه.

أجرى كورنيل أبحاثه في نظرية الرسوم البيانية الخوارزمية ونظرية الرسوم البيانية بشكل عام. أشرف على 49 أطروحة ونشر أكثر من 100 ورقة بحثية بمفرده أو بالاشتراك مع مؤلفين آخرين. تشمل هذه الأوراق البحثية ما يلي:

برهان على أن التعرف على الرسوم البيانية ذات عرض الشجرة الصغير هو مسألة NP-كاملة ، ^{[ 5 ]}

اكتشاف تمثيل الشجرة المشتركة للرسوم البيانية المشتركة وخوارزميات التعرف السريع للرسوم البيانية المشتركة، ^{[ 6 ] [ 7 ]}

توليد خوارزميات لتماثل الرسوم البيانية . ^{[ 8 ] [ 9 ]}

الخصائص الخوارزمية والهيكلية للرسوم البيانية القابلة للاختزال التكميلية. ^{[ 10 ]}

خصائص الرسوم البيانية الثلاثية الخالية من الكويكبات. ^{[ 11 ]}

خوارزمية لحل مشكلة تحديد ما إذا كان الرسم البياني رسمًا بيانيًا جزئيًا لشجرة من الرتبة k. ^{[ 12 ]}

النتائج التي تتناول قضايا نظرية الرسم البياني والخوارزمية والتعقيد فيما يتعلق بموسعات الأشجار . ^{[ 13 ]}

شرح العلاقة بين عرض الشجرة وعرض الزمرة. ^{[ 14 ]}

تحديد قطر عائلات الرسوم البيانية المقيدة. ^{[ 15 ]}

تحديد بنية الرسوم البيانية شبه المنحرفة. ^{[ 16 ]}

بصفته أستاذاً فخرياً ، لا يزال كورنيل يجري أبحاثاً وهو أيضاً محرر للعديد من المنشورات مثل Ars Combinatoria و SIAM Monographs on Discrete Mathematics and Applications .

تم إدخاله كزميل في معهد فيلدز في عام 2004. ^{[ 17 ]}

• مقابلة مع كورنيل ، ستيفن إيباراكي، 13 يونيو 2011
• قائمة المنشورات في DBLP