مادز توفت

📅 آخر تحديث: ٢٧ يوليو ٢٠٢٦
✍️ نُشر في: ٢٧ يوليو ٢٠٢٦
الموسوعة الحرة

مادز توفت (مواليد 20 أبريل 1959) هو عالم حاسوب دنماركي ساهم بشكل خاص في البرمجة الوظيفية ولغة البرمجة القياسية ML .

تعليم

وُلد توفت في لينغبي ، الدنمارك، ونشأ في هولباك ، الدنمارك . درس علوم الحاسوب والرياضيات في جامعة كوبنهاغن ، حيث حصل على درجة الماجستير (تحت إشراف نيل د. جونز ) عام ١٩٨٤؛ ثم في جامعة إدنبرة، حيث حصل على درجة الدكتوراه عام ١٩٨٨ (تحت إشراف روبن ميلنر ). حصل على الدكتوراه الفخرية عام ٢٠٠٧ من جامعة كينغستون .

البحث والمسار الوظيفي

في أطروحته لنيل درجة الماجستير عام ١٩٨٤ [ ١ ] وأعماله السابقة، قام بدراسة ورسم مفهوم مولد المترجم CERES (بالاشتراك مع نيل د. جونز)، وأظهر أن: (١) مولد المترجم هو في حد ذاته مترجم، بدءًا من تعريفات اللغة وصولًا إلى المترجمات؛ و(٢) في ظل افتراضات مناسبة، يوجد تعريف للغة، عند تطبيقه على نفسه، يُولّد مولد مترجم. ويرتبط هذا ارتباطًا وثيقًا بالتطبيق الذاتي في التقييم الجزئي .

في أطروحته للدكتوراه ، قام بتطوير وإثبات صحة أول نظام تصنيف صوتي للمراجع متعددة الأشكال على نمط لغة ML ، وهي مشكلة مفتوحة مهمة في ذلك الوقت. علاوة على ذلك، قام بصياغة صيغة معدلة لنظام الوحدات النمطية في لغة البرمجة Standard ML .

مادز توفت هو أحد مؤلفي تعريف لغة البرمجة القياسية ML [ 2 ] والتعليق المصاحب له، والذي يُعد على الأرجح الوصف الأكثر دقة الذي تم تطويره لأي لغة برمجة واقعية. كما شارك في تطوير مجموعة أدوات ML، وهي تطبيق للغة البرمجة القياسية ML يتبع هيكله التعريف بدقة.

لاحقًا، طوّر (بالتعاون مع جان بيير تالبين ) مفهوم استدلال المنطقة ، وهو أسلوب لتحليل البرامج وإدارة الذاكرة يتجنب أو يقلل من استخدام عملية جمع البيانات المهملة . نُشر هذا العمل لأول مرة [ 3 ] في مؤتمر POPL 1994، وفي عام 2005 حاز على جائزة جمعية آلات الحوسبة (ACM) لأكثر الأوراق البحثية تأثيرًا في مؤتمر POPL 1994.

في أواخر التسعينيات، شارك (مع فريتز هينجلين وآخرين) في تطوير نظام تصنيف وأداة متطورة تُسمى AnnoDomini للتخفيف من مشكلة عام 2000 في برمجيات COBOL . تُحلل هذه الأداة البرامج القديمة لاكتشاف جميع حقول البيانات المستخدمة كتواريخ. عُرض هذا العمل في كلمة رئيسية مدعوة في مؤتمر POPL عام 1999. [ 4 ]

في أبريل 1999، عُيّن أول مدير تنفيذي لجامعة كوبنهاغن لتكنولوجيا المعلومات . أشرف على تأسيس الجامعة من الصفر، وتعيين أعضاء هيئة التدريس والموظفين، واستقطاب الطلاب، وتصميم البرامج الدراسية. بدأ الطلاب دراستهم بعد خمسة أشهر، في سبتمبر 1999. ومنذ عام 2003، يشغل منصب نائب رئيس جامعة كوبنهاغن لتكنولوجيا المعلومات .

في أبريل 2018، أُعلن أنه سيغادر جامعة كوبنهاغن لتكنولوجيا المعلومات في نهاية العام. وفي يناير 2019، أعلن أنه سيبحر من الدنمارك ليكون مع ابنته، وذلك بسبب قوانين الهجرة الدنماركية التي منعتها من دخول البلاد. [ 5 ]

الجوائز

مراجع

  1. ↑ م. توفت: مولدات المترجمات: ما يمكنها فعله، وما قد تفعله، وما من المحتمل ألا تفعله أبدًا. سبرينغر-فيرلاغ 1990
  2. ↑ ر. ميلنر ، م. توفت، ر. هاربر : تعريف لغة ML القياسية، مطبعة معهد ماساتشوستس للتكنولوجيا 1990، الطبعة الثانية 1997
  3. ↑ م. توفت وج.-ب. تالبين: تطبيق حساب لامدا المكتوب بالقيمة باستخدام مكدس من المناطق ، في وقائع مؤتمر POPL 1994
  4. ↑ بي إتش إيدورف، إف هينجلين، سي موسين، إتش نيس، إم إتش سورنسن، إم توفت: أنو دوميني: من نظرية النوع إلى أداة تحويل عام 2000. في وقائع مؤتمر POPL 1999
  5. ↑ توفت، مادس. "Jeg forlader nu Danmark iاحتجاجًا على أسلوب التنظيم الشديد، der prohindrer، at min afrikanskeتبنىdatter kommer tillandet" . بوليتيكن . تم الاسترجاع في 28 يناير 2019 .