يوري غوريفيتش

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

وُلد غوريفيتش وتلقى تعليمه في الاتحاد السوفيتي . ^{[ 1 ]} درّس الرياضيات هناك، ثم في إسرائيل، قبل أن ينتقل إلى الولايات المتحدة عام 1982. يُعدّ عمله في مسألة القرار الكلاسيكية أشهر أعماله خلال فترة وجوده في الاتحاد السوفيتي . ^{[ 2 ]} في إسرائيل، عمل غوريفيتش مع ساهارون شيلح على نظريات الرتبة الثانية الأحادية . ^{[ 3 ]} كما تُعدّ نظرية الحتمية النسيانية لغوريفيتش - هارينغتون من تلك الفترة أيضًا. ^{[ 4 ]}

من عام 1982 إلى عام 1998، درّس غوريفيتش علوم الحاسوب في جامعة ميشيغان ، حيث بدأ العمل على جوانب مختلفة من نظرية التعقيد الحسابي ^{[ 5 ]،} بما في ذلك تعقيد الحالة المتوسطة. ^{[ 6 ]} وأصبح أحد مؤسسي مجال نظرية النماذج المحدودة الناشئ . ^{[ 7 ]}

والأهم من ذلك، أنه انصب اهتمامه على مشكلة تعريف الخوارزمية . قاده هذا إلى نظرية آلات الحالة المجردة (ASMs). تنص فرضية آلات الحالة المجردة على أن كل خوارزمية، من الناحية السلوكية، هي آلة حالة مجردة. ^{[ 8 ]} وقد مكّنت بعض البديهيات المقنعة من اشتقاق فرضية آلات الحالة المجردة التسلسلية ^{[ 9 ]} وفرضية تشرش-تورينج. ^{[ 10 ]} كما تم إثبات فرضية آلات الحالة المجردة لبعض فئات الخوارزميات الأخرى. ^{[ 11 ] [ 12 ]}

من عام ١٩٩٨ إلى عام ٢٠١٨، عمل غوريفيتش في قسم الأبحاث في مايكروسوفت ، حيث أسس فريقًا متخصصًا في أسس هندسة البرمجيات. قام الفريق بتطوير برنامج Spec Explorer استنادًا إلى نظرية آلات الحالة المجردة. وقد اعتمد فريق ويندوز هذا البرنامج، وساعدت نسخة معدلة منه مايكروسوفت على تلبية متطلبات الاتحاد الأوروبي فيما يتعلق بمواصفات البرامج التنفيذية عالية المستوى. لاحقًا، عمل غوريفيتش مع فرق مختلفة في مايكروسوفت على قضايا متنوعة تتعلق بالكفاءة والسلامة والأمان، ^{[ ١٣ ]} بما في ذلك التحكم في الوصول، ^{[ ١٤ ]} والضغط التفاضلي، ^{[ ١٥ ]} والخصوصية. ^{[ ١٦ ]}

منذ عام 1988، يدير غوريفيتش عمودًا عن المنطق في علوم الحاسوب في نشرة الجمعية الأوروبية لعلوم الحاسوب النظرية. ^{[ 1 ]} ومنذ عام 2013، انصبّ تركيز غوريفيتش بشكل أساسي على الحوسبة الكمومية ، ^{[ 17 ]} مع استمراره في البحث في مجالاته التقليدية.

غوريفيتش هو زميل الجمعية الأمريكية لتقدم العلوم لعام 2020 ، ^{[ 18 ]} وزميل جمعية آلات الحوسبة لعام 1997 ، ^{[ 19 ]} وزميل غوغنهايم لعام 1995 ، ^{[ 20 ]} وزميل مؤسس للجمعية الأوروبية لعلوم الحاسوب النظرية ، ^{[ 21 ]} وعضو في أكاديمية أوروبا ، وحاصل على درجة الدكتوراه الفخرية من جامعة هاسيلت في بلجيكا وجامعة أورال الحكومية في روسيا .

• الصفحة الرئيسية لجوريفيتش
• يوري غوريفيتش ، مشروع علم الأنساب الرياضي