أوفي شونينغ
أوفي شونينغ (بالإنجليزية: Uwe Schöning) (ولد في 28 ديسمبر 1955) وهو عالم حاسوب ألماني معروف بأبحاثه في نظرية التعقيد الحسابي.[1][2]
أوفي شونينغ | |
---|---|
(بالألمانية: Uwe Schöning) | |
معلومات شخصية | |
الميلاد | 28 ديسمبر 1955 (69 سنة) أولم |
الجنسية | |
الحياة العملية | |
المدرسة الأم | جامعة شتوتغارت |
شهادة جامعية | دكتوراه |
المهنة | عالم حاسوب، وأستاذ جامعي |
اللغات | الألمانية |
موظف في | جامعة أولم |
تعديل مصدري - تعديل |
تعليمه وحياته
عدلحصل شونينغ على درجة الدكتوراه من جامعة شتوتغارت في عام 1981، تحت إشراف ولفرام شوابهاوسر. وهو أستاذ في معهد المعلوماتية النظرية بجامعة أولم.[3][4]
مساهماته
عدلقدم أوفي شونينغ التسلسل الهرمي المنخفض والعالي لنظرية التعقيد الهيكلي في عام 1983. تلعب هذه التسلسلات دورًا هامًا في تعقيد مشكلة تشابه الشكل البياني، والتي طورها شونينغ في دراسة عام 1993 مع كيبلر وتوران.
في ورقة FOCS عام 1999، أظهر شونينغ خوارزمية WalkSAT، وهي خوارزمية عشوائية تم تحليلها مسبقًا من أجل 2-satisfability من قبل باباديميتريو.
اخترع شونينغ لغات البرمجة التربوية LOOP، GOTO، و WHILE، والتي وصفها في كتابه المدرسي بعنوان «علم الكمبيوتر النظري».
مراجع
عدل- ^ "Uwe Schöning - Google Scholar Citations". scholar.google.com. مؤرشف من الأصل في 2016-04-10. اطلع عليه بتاريخ 2018-08-23.
- ^ "dblp: Uwe Schöning". dblp.uni-trier.de (بالإنجليزية). Archived from the original on 2018-11-27. Retrieved 2018-08-23.
- ^ أوفي شونينغ في شجرة علماء الرياضيات
- ^ Faculty profile, Univ. of Ulm, retrieved 2013-09-07. نسخة محفوظة 28 أكتوبر 2016 على موقع واي باك مشين.