انتقل إلى المحتوى

ايغون بورجر

هذه المقالة يتيمة. ساعد بإضافة وصلة إليها في مقالة متعلقة بها
من ويكيبيديا، الموسوعة الحرة
ايغون بورجر
 
معلومات شخصية
الميلاد 13 مايو 1946 (78 سنة)  تعديل قيمة خاصية (P569) في ويكي بيانات
الإقامة بيزا  تعديل قيمة خاصية (P551) في ويكي بيانات
الجنسية ألمانيا
عضو في أكاديمية أوروبيا[1]  تعديل قيمة خاصية (P463) في ويكي بيانات
عدد الأولاد 3   تعديل قيمة خاصية (P1971) في ويكي بيانات
الحياة العملية
المدرسة الأم جامعة باريس
الجامعة الكاثوليكية في لوفان
جامعة مونستر  تعديل قيمة خاصية (P69) في ويكي بيانات
المهنة رياضياتي،  وعالم حاسوب،  ومهندس  تعديل قيمة خاصية (P106) في ويكي بيانات
اللغات الإنجليزية  تعديل قيمة خاصية (P1412) في ويكي بيانات
موظف في جامعة بيزا  تعديل قيمة خاصية (P108) في ويكي بيانات
الجوائز
تعديل مصدري - تعديل  طالع توثيق القالب

إيغون بورجر (بالإنجليزية: Egon Börger)‏ (من مواليد 13 مايو 1946) وهو عالم كمبيوتر ألماني يعيش في إيطاليا.[2]

حياته وعمله

[عدل]

ولد بورجر في باد لير، وستفاليا، سكسونيا السفلى، ألمانيا. بين عامي 1965 و 1971 درس في جامعة السوربون في باريس (فرنسا)، جامعة الكاثوليكية في لوفان، المعهد العالي للفيلان دي لوفان وجامعة مونستر في (ألمانيا). منذ عام 1985، شغل منصب رئيس قسم علم الحاسوب في جامعة بيزا، إيطاليا. منذ سبتمبر 2010، كان عضوا منتخبا في أكاديميا يوروبا.[3]

أصبح بورجر رائداً في تطبيق الطرق المنطقية في علوم الكمبيوتر. شارك في تأسيس سلسلة المؤتمرات الدولية CSL. كما أنه أحد مؤسسي الأسلوب الرسمي لمعدات State Abstract (ASM) لتصميم وتحليل دقيق للنظم القائمة على الكمبيوتر وأحد مؤسسي سلسلة ورش عمل ASM الدولية.[4][5][6]

ساهم بورجر في الأسس النظرية لهذه الطريقة وبدأت تطبيقاتها الصناعية في مجموعة متنوعة من المجالات، ولا سيما لغات البرمجة، وبنية النظام والمتطلبات والبرامج (إعادة هندسة) وأنظمة التحكم و بروتوكول (اتصالات) وخدمة ويب. وإلى وقتنا هذا، يعتبر بورجر واحد من كبار العلماء في تكنولوجيا النمذجة والتحقق المستندة إلى ASM، والتي شكلها بشكل حاسم من خلال أنشطته. في عام 2007، حصل على جائزة «بحث هومبولت».[7]

مراجع

[عدل]
  1. ^ https://www.ae-info.org/ae/User/Boerger_Egon. {{استشهاد ويب}}: |url= بحاجة لعنوان (مساعدة) والوسيط |title= غير موجود أو فارغ (من ويكي بيانات) (مساعدة)
  2. ^ Abrial, Jean-Raymond and Glässer, Uwe (2009). "Tribute to Egon Börger on the Occasion of his 60th Birthday" (PDF). Rigorous Methods for Software Construction and Analysis - Papers Dedicated to Egon Börger on the Occasion of His 60th Birthday. مذكرات محاضرة في علم الحاسوب  [لغات أخرى]‏. سبرنجر. ج. 5115. مؤرشف من الأصل (PDF) في 2016-03-03. اطلع عليه بتاريخ 2012-04-09.{{استشهاد بخبر}}: صيانة الاستشهاد: أسماء متعددة: قائمة المؤلفين (link) صيانة الاستشهاد: علامات ترقيم زائدة (link)
  3. ^ "Egon Boerger". أكاديميا أوروبيا. مؤرشف من الأصل في 2016-03-04. اطلع عليه بتاريخ 2012-04-09.
  4. ^ Computer Science Logic, جامعة ترير, Germany. "نسخة مؤرشفة". مؤرشف من الأصل في 2014-10-12. اطلع عليه بتاريخ 2018-08-15.{{استشهاد ويب}}: صيانة الاستشهاد: BOT: original URL status unknown (link)
  5. ^ Abstract State Machines Research Center. نسخة محفوظة 29 سبتمبر 2018 على موقع واي باك مشين.
  6. ^ International ASM workshops, جامعة ميشيغان, USA. نسخة محفوظة 24 سبتمبر 2013 على موقع واي باك مشين.
  7. ^ Humboldt foundation, Germany. نسخة محفوظة 11 مايو 2020 على موقع واي باك مشين.

وصلات خارجية

[عدل]


مجلوبة من «https://ar.wikipedia.org/w/index.php?title=ايغون_بورجر&oldid=61489000»