يوفر تطوير OMDoc إطار عمل منظم لتمثيل المعرفة الرياضية، مما يمثل مساهمة كبيرة من عالم الحاسوب الألماني مايكل كولهاس (Michael Kohlhase). ولد في إرلانجن عام 1964، وكرس مسيرته المهنية للتقاطع بين الرياضيات والذكاء الاصطناعي، مع التركيز على كيفية معالجة الأنظمة الحسابية للهياكل المنطقية المعقدة وتخزينها والتحقق منها.
الأساس الأكاديمي
أكمل مايكل كولهاس شهادته في الرياضيات في جامعة بون عام 1989. انتقل بعد ذلك إلى جامعة سارلاند لمتابعة دراسات متقدمة في علوم الحاسوب، وحصل على الدكتوراه في عام 1994 وأكمل تأهيله للأستاذية في عام 1999. خلال هذه الفترة، شارك في زيارات بحثية مكثفة في العديد من المؤسسات الدولية، بما في ذلك جامعة كارنيجي ميلون، وجامعة أمستردام، وجامعة إدنبرة، وSRI International.
البحث والمساهمات الحسابية
تتعلق اهتماماته البحثية الأساسية بإثبات النظريات الآلي وتطوير أنظمة تمثيل المعرفة للرياضيات. يستخدم الكثير من عمله تنسيقات ترميز المحتوى المستندة إلى الويب مثل MathML وOpenMath وOMDoc. كما يركز على التقنيات القائمة على الاستدلال لمعالجة اللغة الطبيعية والتعليم المدعوم بالحاسوب. تشمل تطبيقاته العملية بناء محركات بحث دلالية للصيغ الرياضية وإنشاء امتدادات دلالية لـ LaTeX، بما في ذلك أدوات لتحويل المستندات القديمة من arXiv.
التعيينات المؤسسية
شغل كولهاس العديد من المناصب الأكاديمية والإدارية طوال مسيرته المهنية. بين عامي 2000 و2003، أجرى أبحاثاً ودرّس في كلية علوم الحاسوب بجامعة كارنيجي ميلون، حيث عمل كأستاذ مشارك مساعد. من عام 2003 إلى 2006، كان أستاذاً لعلوم الحاسوب في جامعة جاكوبس بريمن. وفي الوقت نفسه، شغل منصب نائب مدير قسم الأنظمة المعرفية الآمنة في المركز الألماني لأبحاث الذكاء الاصطناعي في بريمن من 2006 إلى 2008. في سبتمبر 2016، بدأ فترة عمله كأستاذ لتمثيل ومعالجة المعرفة في جامعة إرلانجن-نورنبيرج، حيث يقود أيضاً مجموعة أبحاث KWARC.
عشرون سؤالاً وثماني دقائق على الساعة، ونسبة مئوية مقاسة مقابل كل من خاضه. دون تسجيل.
اخوض اختبار الذكاء →الخدمة المهنية
بعيداً عن أدواره المؤسسية، ساهم كولهاس في المجتمع العلمي الأوسع من خلال القيادة والخدمة في اللجان. يعمل رئيساً لجمعية OpenMath وهو عضو مجلس أمناء مجموعة الاهتمام لإدارة المعرفة الرياضية. تشمل أدواره القيادية السابقة العمل كرئيس لمؤتمر CADE-21 ورئيس برنامج لمؤتمرات KI-2006 وMKM-2005 وCALCULEMUS-2000. وقد خدم في لجان البرامج لأكثر من ثلاثة دزينات من المؤتمرات الدولية وألف أو حرر أربعة كتب إلى جانب ما يقرب من 100 ورقة بحثية تمت مراجعتها من قبل الأقران.
حقائق سريعة
- الميلاد: 1964، إرلانجن، ألمانيا - التعليم: جامعة بون (رياضيات)، جامعة سارلاند (علوم حاسوب) - المنصب الحالي: أستاذ في جامعة إرلانجن-نورنبيرج - مجموعة الأبحاث: KWARC (تكييف المعرفة والاستدلال للمحتوى) - عمل بارز: OMDoc - الجوائز: منحة هايزنبرغ (2000)، جائزة AKI (1996) - اللغات: الألمانية، الإنجليزية
أسئلة يطرحها القراء
### ما هو التركيز الأساسي لبحث مايكل كولهاس؟
يركز بحثه على إثبات النظريات الآلي، وتمثيل المعرفة الرياضية، والأنظمة الحسابية لإدارة المحتوى الرياضي مثل OMDoc وOpenMath.
### أين يدرّس مايكل كولهاس حالياً؟
هو أستاذ لتمثيل ومعالجة المعرفة في جامعة إرلانجن-نورنبيرج.
