ايغون بورجر

إيغون بورجر {{إنج|Egon Börger}} (من مواليد 13 مايو 1946) وهو عالم كمبيوتر ألماني يعيش في إيطاليا.

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

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

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

مراجع

وصلات خارجية 

 Egon Börger home page
 Publications، etc.
 Curriculum Vitae
 
 

أساتذة جامعة بيزا
أشخاص على قيد الحياة
أشخاص من مقاطعة أوسنابروك
أعضاء الأكاديمية الأوروبية
ألمان مغتربون في فرنسا
ألمان مهاجرون إلى إيطاليا
خريجو الجامعة الكاثوليكية (لوفان)
خريجو جامعة السوربون
خريجو جامعة مونستر
علماء إيطاليون في القرن 20
علماء إيطاليون في القرن 21
علماء حاسوب ألمان
علماء حاسوب إيطاليون
مواليد 1946