فرانز بادر

فرانز بادر (بالإنجليزية: Franz Baader)‏ (من مواليد 15 يونيو- 1959 من شبالت) وهو عالم حاسوب في جامعة دريسدن التقنية.[11][12][13]

فرانز بادر
(بالألمانية: Franz Baader)‏ 
معلومات شخصية
الميلاد 15 يونيو 1959 (62 سنة)[1] 
شبالت  
مواطنة ألمانيا  
عضو في الأكاديمية الأوروبية [2][3] 
الحياة العملية
المدرسة الأم جامعة إرلنغن نورنبيرغ (الشهادة:دكتوراه ) (1985–1989)[4]
جامعة إرلنغن نورنبيرغ (التخصص:علم الحاسوب ) (الشهادة:Diplom ) (1980–1985)[4] 
شهادة جامعية دكتوراه [5] 
طلاب الدكتوراه أولريك ساتلر [5] 
المهنة عالم حاسوب [6][4][7]،  وأستاذ جامعي [4]،  وباحث [4] 
اللغات الألمانية ،  والإنجليزية [8] 
مجال العمل المنطق في علوم الحاسب [9]،  وتمثيل المعرفة [9]،  والمنطق التوصيفي  [9]،  ونظرية التشغيل الذاتي [9]،  وعلم الحاسوب [7] 
موظف في جامعة دريسدن التقنية [4]،  والجامعة التقنية الراينية الفستفالية [4]،  ومركز الأبحاث الألماني للذكاء الاصطناعي  [4]،  وجامعة إرلنغن نورنبيرغ [4] 
الجوائز
جائزة هيربراند  (2020)[10] 

حصل على درجة الدكتوراه في علوم الكمبيوتر في عام 1989 من جامعة إرلنغن نورنبيرغ، ألمانيا،[14] حيث كان مساعداً في التدريس والأبحاث لمدة 4 سنوات. في عام 1989، ذهب إلى المركز الألماني لأبحاث الذكاء الاصطناعي (DFKI) كباحث بارز ومدير مشروع.

في عام 1993 أصبح أستاذاً مساعدا لعلوم الكمبيوتر في الجامعة التقنية الراينية الفستفالية RWTH، وفي عام 2002 أصبح أستاذ كامل لعلوم الكمبيوتر في جامعة دريسدن التقنية.[15]

أعماله

  • فرانز بادر، توبياس نيبكو، (1998)صحافة جامعة كامبرج.
  • Franz Baader, المحرر (2003). The description logic handbook: theory, implementation, and applications. Cambridge University Press. ISBN 978-0-521-78176-3. مؤرشف من الأصل في 25 يناير 2020. الوسيط |CitationClass= تم تجاهله (مساعدة)
  • Franz Baader, Andreĭ Voronkov, المحررون (2005). Logic for programming, artificial intelligence, and reasoning: 11th international conference. Springer. ISBN 978-3-540-25236-8. مؤرشف من الأصل في 25 يناير 2020. الوسيط |CitationClass= تم تجاهله (مساعدة)صيانة CS1: يستخدم وسيط المحررون (link)

مراجع

  1. وصلة : https://d-nb.info/gnd/131845098 — تاريخ الاطلاع: 24 أبريل 2014 — الرخصة: CC0
  2. https://www.ae-info.org/ae/Member/Baader_Franz — تاريخ الاطلاع: 20 مارس 2019
  3. https://www.ae-info.org/ae/User/Baader_Franz
  4. Franz Baader - Curriculum vitae — تاريخ الاطلاع: 20 مارس 2019 — المؤلف: فرانز بادر — الناشر: الأكاديمية الأوروبية
  5. https://www.genealogy.math.ndsu.nodak.edu/id.php?id=65090 — تاريخ الاطلاع: 20 مارس 2019
  6. وصلة : https://d-nb.info/gnd/131845098 — تاريخ الاطلاع: 26 يونيو 2015 — الرخصة: CC0
  7. https://lmcs.episciences.org/page/editorial-board#Sankaranarayanan — تاريخ الاطلاع: 11 مايو 2020
  8. https://dblp.org/pers/hd/b/Baader:Franz — تاريخ الاطلاع: 20 مارس 2019 — الرخصة: CC0
  9. https://www.ae-info.org/ae/Member/Baader_Franz — تاريخ الاطلاع: 20 مارس 2019 — المؤلف: فرانز بادر — الناشر: الأكاديمية الأوروبية
  10. http://www.cadeinc.org/Herbrand-Award — تاريخ الاطلاع: 12 نوفمبر 2020
  11. http://lat.inf.tu-dresden.de/~baader/index-en.html Franz Baader Home Page
  12. فرانز بادر منشورات مفهرسة من قبل جوجل سكولار 
  13. Franz Baader at الببليوغرافيا الرقمية ومشروع المكتبة Bibliography Server
  14. فرانز بادر في شجرة علماء الرياضيات
  15. "Archived copy". مؤرشف من الأصل في 19 يوليو 2011. اطلع عليه بتاريخ 25 فبراير 2010. الوسيط |CitationClass= تم تجاهله (مساعدة)صيانة CS1: الأرشيف كعنوان (link)
    • بوابة ألمانيا
    • بوابة أعلام
    This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.