مايكل سيبسر

مايكل فريدريك سيبسر (مواليد 17 سبتمبر 1954) هو عالم حاسوب نظري أمريكي قدم إسهامات مبكرة في نظرية التعقيد الحسابي . وهو أستاذ في الرياضيات التطبيقية وشغل منصب عميد كلية العلوم في معهد ماساتشوستس للتكنولوجيا .

وُلد سيبسر ونشأ في بروكلين، نيويورك، وانتقل إلى أوسويغو، نيويورك، عندما كان في الثانية عشرة من عمره. كان أجداده مهاجرين يهوديين من أوروبا الشرقية، وكان والده أستاذًا للرياضيات في جامعة ولاية نيويورك في أونونتا . ^{[ 1 ]} حصل على درجة البكالوريوس في الرياضيات من جامعة كورنيل عام 1974، وعلى درجة الدكتوراه في الهندسة من جامعة كاليفورنيا في بيركلي عام 1980 تحت إشراف مانويل بلوم . ^{[ 2 ] [ 3 ]}

انضم إلى مختبر علوم الحاسوب في معهد ماساتشوستس للتكنولوجيا كباحث مشارك عام 1979، ثم عمل كباحث في مركز أبحاث آي بي إم في سان خوسيه.  وفي عام 1980، انضم إلى هيئة التدريس في معهد ماساتشوستس للتكنولوجيا.  أمضى العام الدراسي 1985-1986 في هيئة التدريس بجامعة كاليفورنيا في بيركلي، ثم عاد إلى معهد ماساتشوستس للتكنولوجيا. من عام 2004 حتى عام 2014، شغل منصب رئيس قسم الرياضيات في معهد ماساتشوستس للتكنولوجيا. عُيّن عميدًا مؤقتًا لكلية العلوم في معهد ماساتشوستس للتكنولوجيا عام 2013، ثم عميدًا رسميًا عام 2014. ^{[ 4 ]} استمر في منصب العميد حتى عام 2020، حين خلفته نرجس مافالوالا . ^{[ 5 ]} وهو زميل في الأكاديمية الأمريكية للفنون والعلوم. ^{[ 6 ]} في عام 2015، انتُخب زميلًا في الجمعية الرياضية الأمريكية "لمساهماته في نظرية التعقيد، ولقيادته وخدمته للمجتمع الرياضي". ^{[ 7 ]} تم انتخابه زميلاً في جمعية آلات الحوسبة (ACM) في عام 2017. ^{[ 8 ]}

يتخصص سيبسر في الخوارزميات ونظرية التعقيد ، وتحديدًا في رموز تصحيح الأخطاء الفعالة، وأنظمة الإثبات التفاعلية، والعشوائية، والحوسبة الكمومية، وتحديد الصعوبة الحسابية الكامنة في المسائل. وقد قدم طريقة التقييد الاحتمالي لإثبات حدود دنيا فائقة متعددة الحدود لتعقيد الدوائر في ورقة بحثية مشتركة مع ميريك فورست وجيمس ب. ساكس . ^{[ 9 ]} وقد تم تحسين نتيجتهم لاحقًا لتصبح حدًا أدنى أُسّيًا بواسطة أندرو ياو ويوهان هاستاد . ^{[ 10 ]}

في إحدى نظريات إزالة العشوائية المبكرة ، أثبت سيبسر أن BPP مُضمنة في التسلسل الهرمي متعدد الحدود ، ^{[ 11 ]} وقد حسّنها لاحقًا بيتر غاتش وكليمنس لاوتيمان لتشكيل ما يُعرف الآن بنظرية سيبسر-غاتش-لاوتيمان . كما أسس سيبسر صلة بين الرسوم البيانية الموسعة وإزالة العشوائية. ^{[ 12 ]} وقدّم هو وطالب الدكتوراه دانيال سبيلمان رموزًا موسعة ، وهي تطبيق للرسوم البيانية الموسعة. ^{[ 13 ]} وأثبت سيبسر، مع زميله طالب الدراسات العليا ديفيد ليختنشتاين، أن لعبة غو صعبة من حيث PSPACE . ^{[ 14 ]}

في نظرية الحوسبة الكمومية، قدم الخوارزمية الأديباتية بالاشتراك مع إدوارد فارهي وجيفري جولدستون وصموئيل جوتمان. ^{[ 15 ]}

لطالما أبدى سيبسر اهتمامًا بمسألة P مقابل NP . في عام 1975، راهن بأونصة من الذهب مع ليونارد أدلمان على أن المسألة ستُحل ببرهان يُثبت أن P  ≠  NP بحلول نهاية القرن العشرين. أرسل سيبسر لأدلمان عملة نسر ذهبي أمريكي في عام 2000 لأن المسألة ظلت (ولا تزال) دون حل. ^{[ 16 ]}

سيبسر هو مؤلف كتاب مقدمة في نظرية الحوسبة ، ^{[ 17 ]} وهو كتاب مدرسي لعلوم الحاسوب النظرية .

يعيش سيبسر في كامبريدج، ماساتشوستس مع زوجته إينا، ولديه طفلان: ابنة تدعى راشيل، تخرجت من جامعة نيويورك، وابن أصغر يدعى آرون، تخرج من معهد ماساتشوستس للتكنولوجيا. ^{[ 2 ]}

• الصفحة الشخصية في معهد ماساتشوستس للتكنولوجيا