توبياس نيبكو

توبياس نيبكو (مواليد 1958) هو عالم حاسوب ألماني.

حصل نيبكو على دبلوم (ماجستير) في علوم الحاسوب من قسم علوم الحاسوب في جامعة دارمشتات التقنية عام 1982، وعلى درجة الدكتوراه من جامعة مانشستر عام 1987.

عمل في معهد ماساتشوستس للتكنولوجيا منذ عام 1987، ثم انتقل إلى جامعة كامبريدج في عام 1989، ثم إلى جامعة ميونخ التقنية في عام 1992، حيث تم تعيينه أستاذاً لنظرية البرمجة .

وهو رئيس مجموعة المنطق والتحقق منذ عام 2011.

يشتهر بعمله في مجال إثبات النظريات التفاعلي والآلي ، ولا سيما مساعد إثبات النظريات "إيزابيل" ؛ وكان محررًا لمجلة الاستدلال الآلي حتى 1 يناير 2021. ^{[ 1 ]} علاوة على ذلك، يركز على دلالات لغات البرمجة ، وأنظمة الأنواع، والبرمجة الوظيفية . ^{[ 2 ]}

في عام 2021، فاز بجائزة هيربراند "تقديراً لريادته في تطوير إيزابيل والأدوات ذات الصلة، مما أسفر عن مساهمات رئيسية في أسس وأتمتة واستخدام مساعدي البرهان في مجموعة واسعة من التطبيقات، فضلاً عن جهوده الناجحة في زيادة وضوح الاستدلال الآلي". ^{[ 3 ]}

في عام 2022، تم انتخابه عضواً في الأكاديمية الأوروبية . ^{[ 4 ]}

• مارتن، يو. ونيبكو، تي. (1986). "التوحيد في الحلقات البوليانية". في يورغ هـ. سيكمان (محرر). وقائع المؤتمر الثامن حول الاستدلال الآلي . سلسلة محاضرات في علوم الحاسوب . المجلد  230. سبرينغر. الصفحات 506-513 . 
• توبياس نيبكو (1987). مفاهيم التنفيذ السلوكي لأنواع البيانات غير الحتمية (أطروحة دكتوراه). تقرير قسم علوم الحاسوب. المجلد  UMCS-87-5-3. جامعة مانشستر.
• نيبكو، ت. (1989). "دمج خوارزميات المطابقة: الحالة المستطيلة". في: ناحوم ديرشوفيتز (محرر). تقنيات إعادة الكتابة وتطبيقاتها، المؤتمر الدولي الثالث، RTA-89 . سلسلة محاضرات في علوم الحاسوب. المجلد  355. سبرينغر. الصفحات 343-358 . 
• توبياس نيبكو (1990). "التوحيد في الجبر الأولي، وقواه، وأنواعه" . مجلة ACM . 37 (4): 742-776 . doi : 10.1145/96559.96569 . S2CID 14940917 . 
• نيبكو، ت. وكيان، ز. (1991). "توحيد E المعياري من الرتبة العليا". في كتاب، رونالد ف. (محرر). تقنيات إعادة الكتابة وتطبيقاتها، المؤتمر الدولي الرابع، RTA-91 . سلسلة محاضرات في علوم الحاسوب. المجلد  488. سبرينغر. الصفحات 200-214 . 
• توبياس نيبكو (1991). "الأزواج الحرجة من الرتبة العليا". وقائع الندوة السادسة لمعهد مهندسي الكهرباء والإلكترونيات حول المنطق في علوم الحاسوب . الصفحات 342-349 . 
• نيبكو، ت. (1995). "أنظمة إعادة الكتابة من الرتبة العليا (محاضرة مدعوة)". في: هسيانغ، جيه (محرر). المؤتمر الدولي السادس حول تقنيات وتطبيقات إعادة الكتابة (RTA) . سلسلة محاضرات في علوم الحاسوب. المجلد  914. سبرينغر. ص  256.
• فرانز بادر وتوبياس نيبكو (1998). إعادة صياغة المصطلحات وما إلى ذلك . كامبريدج: مطبعة جامعة كامبريدج. ISBN 978-0-521-45520-6.
• نيبكو، توبياس، محرر (1998). تقنيات إعادة الكتابة وتطبيقاتها، المؤتمر الدولي التاسع، RTA-98 . سلسلة محاضرات في علوم الحاسوب. المجلد  1379. سبرينغر.
• نيبكو تي. وبولسون إل. وونزل إم. (2002). إيزابيل/هول - مساعد إثبات لمنطق الرتبة العليا . سبرينغر.
• جيروين كلاين وتوبياس نيبكو (2006). "نموذج مُدقَّق آليًا للغة شبيهة بلغة جافا، وآلة افتراضية، ومترجم" . مجلة ACM للمعاملات في لغات البرمجة والأنظمة . 28 (4): 619-695 . doi : 10.1145/1146809.1146811 .

• الصفحة الرئيسية