ميخاليس ياناكاكيس

حصول ميخاليس ياناكاكيس (Mihalis Yannakakis) على دبلوم الهندسة الكهربائية من الجامعة التقنية الوطنية في أثينا في عام 1975 مثل بداية مسيرة مهنية طويلة في نظرية التعقيد الحسابي. ولد في عام 1953 في أثينا، وحصل لاحقاً على درجة الدكتوراه في علوم الحاسوب من جامعة برينستون، ليؤثر لاحقاً في نظرية قواعد البيانات والتحقق ونظرية الرسوم البيانية الخوارزمية.

أسس في التعقيد

قضى ياناكاكيس أكثر عقدين في البحث الصناعي، واستهل عمله في مختبرات بيل في عام 1978. شغل منصب مدير قسم أبحاث مبادئ الحوسبة هناك من عام 1991 إلى عام 2001. خلال هذه الفترة، تعاون مع كريستوس باباديميترو في عام 1988 لتحديد فئتي التعقيد Max-NP و Max-SNP، مما وفر تفسيراً صارماً للقيود الملاحظة في تقريب مشاكل NP الصعبة مثل مشكلة البائع المتجول و 3SAT. كما أوضح عمله في عام 1993 مع كارستين لوند بصورة أكبر الصعوبة الكامنة في حساب الحلول التقريبية لمشاكل التقليل مثل تلوين الرسوم البيانية.

ابتكار قواعد البيانات

تركزت إسهاماته في نظرية قواعد البيانات على تحسين معالجة الاستعلامات من خلال دراسة المخططات اللاخطية (اللاcyclic). قدم خوارزمية ياناكاكيس للاستعلامات الترابطية اللاخطية، مبيناً أنه يمكن حل هذه الهياكل في وقت كثير الحدود (زمن متعدد الحدود). وإلى جانب تحسين الاستعلامات، استكشف سياسات القفل، مثبتاً أنه يمكن الحفاظ على أمان قواعد البيانات خارج القيود الصارمة للقفل ثنائي المراحل من خلال استخدام هيكل الرسم البياني الفائق للبيانات القيود الخاصة باتساق المعاملات لمنع الجمود.

التحقق والقيادة الأكاديمية

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

التقدير المهني

حافظ ياناكاكيس على حضور تحريري بارز، حيث شغل منصب رئيس تحرير مجلة SIAM Journal on Computing بين عامي 1998 و2003. وينعكس مكانته الأكاديمية في عضوياته داخل الأكاديمية الوطنية للعلوم، والأكاديمية الوطنية للهندسة، والأكاديمية الأمريكية للفنون والعلوم، والأكاديميا الأوروبية. تشمل جوائزه جائزة كنوث لعام 2005 وجائزة جون فون نيومان للنظرية لعام 2023.

حقائق سريعة

- الولادة: 1953، أثينا، اليونان - الدكتوراه: جامعة برينستون، 1979 - جائزة كنوث: 2005 - جائزة جون فون نيومان للنظرية: 2023 - زمالة جمعية آلات الحوسبة (ACM): 1998 - الجنسية: الولايات المتحدة؛ اليونان - اللغات: اليونانية الحديثة

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

### ما هي خوارزمية ياناكاكيس؟

هي طريقة تُستخدم لتنفيذ الاستعلامات الترابطية اللاخطية في أنظمة قواعد البيانات، مما يتيح حلها في وقت كثير الحدود.

### ما هي المؤسسات التي انضم إليها ياناكاكيس؟

عمل في مختبرات بيل، ومختبرات أفايا، وجامعة ستانفورد، وجامعة كولومبيا.