يوهان ماكوفسكي

يُعرف يوهان أ. ماكوفسكي (Johann A. Makowsky) بمسيرته المهنية المكرسة للمنطق الرياضي وتطبيقاته في أسس علم الحاسوب. وُلد في المجر عام 1948 وحصل لاحقاً على الجنسية السويسرية، وتلقى تعليماً أكاديمياً صارماً في المعهد الفدرالي السويسري للتكنولوجيا في زيورخ. تنقل مساره المهني عبر آفاق البحث الدولية، مما أثرى مجالات تتراوح بين نظرية النماذج وخوارزميات الرسوم البيانية إلى تعقيد قواعد البيانات والبرمجة المنطقية.

التكوين الأكاديمي

التحق ماكوفسكي بالمعهد الفدرالي السويسري للتكنولوجيا في زيورخ عام 1967، وأتم دراسته عام 1971. وتحت إشراف إرنست شبيكر وهانز لويشلي، وضع أساساً راسخاً في المنطق الرياضي. امتد تعليمه إلى خارج سويسرا، حيث أمضى عام 1972 في وارسو يعمل مع أندريه موستوفسكي وويتيك ماريك. كما تأثر بتعاليم بينو إكمان في الطوبولوجيا والهندسة، إلى جانب فولكر شتراسن في الخوارزميات، ليحصل في النهاية على درجة الدكتوراه في العلوم الرياضية عام 1974.

البحث والمسيرة المهنية

تضم مسيرته المهنية العديد من مناصب الأستاذ الزائر في مؤسسات عالمية، تشمل جامعة ستانفورد، وجامعة سايمون فريزر، وجامعة فلورنسا، وجامعة لوزان. شغل مناصب أكاديمية دائمـة في جامعة برلين الحرة ومعهد التخنيون - إسرائيل للكنولوجيا في حيفا، حيث عمل أستاذاً كاملـةً. ومنذ عام 2016، يحمل لقب أستاذ فخري في التخنيون، محتفظاً بنشاطه في البحث والإشراف على طلاب الدراسات العليا.

الإسهامات في المنطق والحوسبة

حقق ماكوفسكي نتائج مهمة في نظرية النماذج، لا سيما فيما يتعلق بنظرية القاطعية (categoricity) وخصائص الاستيفاء والترابط (compactness) إلى جانب ساهارون شيفا ويهوناثان ستافي. وحدد عمله في نظرية قواعد البيانات أول نتائج عدم القابلية للبت لمسائل النتائج المتعلقة بالتبعيات، بالتعاون مع أشك تشاندرا وهاري لويس. بالإضافة إلى ذلك، ساهم في توحيد نماذج الكيان-الصلة مع النماذج العلائقية، ودرس تعقيد صيغ هورن.

نظرية الرسوم البيانية والخدمة المهنية

في مجال خوارزميات الرسوم البيانية، طور نهجاً يستند إلى نظرية النماذج لعرض شجرة الأجسام وعرض التجمعات (tree-width وclique-width). ساهم هذا البحث في صياغة نظرية عامة لكثيرات الحدود للرسوم البيانية وقابليتها للتعريف داخل الأشكال المنطقية. وعلاوة على أبحاثه التقنية، كان عضواً مؤسساً للرابطة الأوروبية لمنطق علوم الحاسوب في عام 1992. وشغل منصب نائب رئيس المنظمة من 2002 إلى 2004، ورئيساً لها من 2004 إلى 2009، وخلال تلك الفترة دشن جائزة أُكرمان.

حقائق سريعة

- المواليد: 1948، المجر - الجنسية: سويسرا - التعليم: المعهد الفدرالي السويسري للتكنولوجيا في زيورخ - المجالات الرئيسية: الرياضيات، علم الحاسوب، المنطق - الوضع الأكاديمي: أستاذ فخري، التخنيون - العضوية المهنية: الرابطة الأوروبية لمنطق علوم الحاسوب

أسئلة يطرحها القراء

### أين حصل يوهان ماكوفسكي على درجة الدكتوراه؟

ححصل على درجة الدكتوراه في العلوم الرياضية من المعهد الفدرالي السويسري للتكنولوجيا في زيورخ عام 1974.

### ما هي الجائزة المحددة التي أسسها ماكوفسكي خلال فترة عمله في الرابطة الأوروبية لمنطق علوم الحاسوب؟

أسس جائزة أُكرمان التابعة للرابطة، والتي تكرم اطروحات الدكتوراه المتميزة في منطق علوم الحاسوب.

### هل ما زال يوهان ماكوفسكي نشطاً في الأوساط الأكاديمية؟

نعم، ما زال نشطاً كأستاذ فخري في التخنيون، حيث يواصل التدريس والإشراف على طلاب الدراسات العليا.