أوفي شونينغ (بالإنجليزية: Uwe Schöning)‏ (ولد في 28 ديسمبر 1955) وهو عالم حاسوب ألماني معروف بأبحاثه في نظرية التعقيد الحسابي.[1][2]

أوفي شونينغ
(بالألمانية: Uwe Schöning)‏  تعديل قيمة خاصية (P1559) في ويكي بيانات
معلومات شخصية
الميلاد 28 ديسمبر 1955 (69 سنة)  تعديل قيمة خاصية (P569) في ويكي بيانات
أولم  تعديل قيمة خاصية (P19) في ويكي بيانات
الجنسية ألمانيا
الحياة العملية
المدرسة الأم جامعة شتوتغارت  تعديل قيمة خاصية (P69) في ويكي بيانات
شهادة جامعية دكتوراه  تعديل قيمة خاصية (P512) في ويكي بيانات
المهنة عالم حاسوب،  وأستاذ جامعي  تعديل قيمة خاصية (P106) في ويكي بيانات
اللغات الألمانية  تعديل قيمة خاصية (P1412) في ويكي بيانات
موظف في جامعة أولم  تعديل قيمة خاصية (P108) في ويكي بيانات

تعليمه وحياته

عدل

حصل شونينغ على درجة الدكتوراه من جامعة شتوتغارت في عام 1981، تحت إشراف ولفرام شوابهاوسر. وهو أستاذ في معهد المعلوماتية النظرية بجامعة أولم.[3][4]

مساهماته

عدل

قدم أوفي شونينغ التسلسل الهرمي المنخفض والعالي لنظرية التعقيد الهيكلي في عام 1983. تلعب هذه التسلسلات دورًا هامًا في تعقيد مشكلة تشابه الشكل البياني، والتي طورها شونينغ في دراسة عام 1993 مع كيبلر وتوران.

في ورقة FOCS عام 1999، أظهر شونينغ خوارزمية WalkSAT، وهي خوارزمية عشوائية تم تحليلها مسبقًا من أجل 2-satisfability من قبل باباديميتريو.

اخترع شونينغ لغات البرمجة التربوية LOOP، GOTO، و WHILE، والتي وصفها في كتابه المدرسي بعنوان «علم الكمبيوتر النظري».

مراجع

عدل
  1. ^ "Uwe Schöning - Google Scholar Citations". scholar.google.com. مؤرشف من الأصل في 2016-04-10. اطلع عليه بتاريخ 2018-08-23.
  2. ^ "dblp: Uwe Schöning". dblp.uni-trier.de (بالإنجليزية). Archived from the original on 2018-11-27. Retrieved 2018-08-23.
  3. ^ أوفي شونينغ في شجرة علماء الرياضيات
  4. ^ Faculty profile, Univ. of Ulm, retrieved 2013-09-07. نسخة محفوظة 28 أكتوبر 2016 على موقع واي باك مشين.

وصلات خارجية

عدل