أوفي شونينغ (Uwe Schöning) (ولد في 28 ديسمبر 1955) وهو عالم حاسوب ألماني معروف بأبحاثه في نظرية التعقيد الحسابي.[3][4]
أوفي شونينغ | |
---|---|
(بالألمانية: Uwe Schöning) | |
معلومات شخصية | |
الميلاد | 28 ديسمبر 1955 (65 سنة)[1] أولم |
الجنسية | |
الحياة العملية | |
المدرسة الأم | جامعة شتوتغارت |
شهادة جامعية | دكتوراه[2] |
المهنة | عالم حاسوب، وأستاذ جامعي |
اللغات | الألمانية |
موظف في | جامعة أولم |
تعليمه وحياته
حصل شونينغ على درجة الدكتوراه من جامعة شتوتغارت في عام 1981، تحت إشراف ولفرام شوابهاوسر. وهو أستاذ في معهد المعلوماتية النظرية بجامعة أولم.[5][6]
مساهماته
قدم أوفي شونينغ التسلسل الهرمي المنخفض والعالي لنظرية التعقيد الهيكلي في عام 1983. تلعب هذه التسلسلات دورًا هامًا في تعقيد مشكلة تشابه الشكل البياني، والتي طورها شونينغ في دراسة عام 1993 مع كيبلر وتوران.
في ورقة FOCS عام 1999، أظهر شونينغ خوارزمية WalkSAT، وهي خوارزمية عشوائية تم تحليلها مسبقًا من أجل 2-satisfability من قبل باباديميتريو.
اخترع شونينغ لغات البرمجة التربوية LOOP، GOTO، و WHILE، والتي وصفها في كتابه المدرسي بعنوان "علم الكمبيوتر النظري".
مراجع
- https://catalogue.bnf.fr/ark:/12148/cb12420650r — تاريخ الاطلاع: 30 ديسمبر 2019 — الرخصة: رخصة حرة
- معرف ملف استنادي متكامل: https://d-nb.info/gnd/110028740 — تاريخ الاطلاع: 8 مارس 2015 — الرخصة: CC0
- "Uwe Schöning - Google Scholar Citations". scholar.google.com. مؤرشف من الأصل في 10 أبريل 201623 أغسطس 2018.
- "dblp: Uwe Schöning". dblp.uni-trier.de (باللغة الإنجليزية). مؤرشف من الأصل في 27 نوفمبر 201823 أغسطس 2018.
- أوفي شونينغ في شجرة علماء الرياضيات
- Faculty profile, Univ. of Ulm, retrieved 2013-09-07. نسخة محفوظة 28 أكتوبر 2016 على موقع واي باك مشين.