أوفي شونينغ

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

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

مساهماته

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

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

مراجع

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

وصلات خارجية