بيرنهارد شتيفن

بيرنهارد شتيفن (بالإنجليزية: Bernhard Steffen)‏ (من مواليد 31 مايو 1958 في كيل، ألمانيا الغربية) وهو عالم حاسوب ألماني وأستاذ في جامعة دورتموند للتكنولوجيا، ألمانيا. ركز في بحثه على جوانب مختلفة من الأساليب الرسمية التي تتراوح بين تحليل البرامج والتحقق، إلى تركيب سير العمل، وإلى النمذجة القائمة على الاختبار.[2][3]

بيرنهارد شتيفن
(بالألمانية: Bernhard Steffen)‏  تعديل قيمة خاصية (P1559) في ويكي بيانات
معلومات شخصية
الميلاد 31 مايو 1958 (66 سنة)  تعديل قيمة خاصية (P569) في ويكي بيانات
كيل  تعديل قيمة خاصية (P19) في ويكي بيانات
الجنسية ألمانيا
الحياة العملية
المدرسة الأم جامعة كيل  تعديل قيمة خاصية (P69) في ويكي بيانات
المهنة عالم حاسوب،  ومهندس،  وأستاذ جامعي  تعديل قيمة خاصية (P106) في ويكي بيانات
اللغة الأم الألمانية  تعديل قيمة خاصية (P103) في ويكي بيانات
اللغات الألمانية  تعديل قيمة خاصية (P1412) في ويكي بيانات
موظف في جامعة دورتموند التقنية[1]  تعديل قيمة خاصية (P108) في ويكي بيانات

بعد حصوله على درجة الدكتوراه في جامعة كيل، أمضى عامين كزميل باحث في LFCS (ادنبره، اسكتلندا) حيث شارك في تطوير منبر التزامن في ادنبره وقام بتأليف واحدة من أقدم الأبحاث حول كيفية إجراء عمليات الاحتمالية بشكل مناسب.[4][5] قبل انضمامه إلى جامعة آرهوس في عام 1989 كان أستاذاً مشاركاً في الجامعة التقنية الراينية الفستفالية، قبل أن يصبح أستاذاً في جامعة باساو. شغل منذ عام 1997 منصب رئيس أنظمة البرمجة في جامعة دورتموند للتكنولوجيا حيث كان عميدا لعلوم الكمبيوتر بين عامي 2002 و 2006 وكذلك كان عضواً في مجلس الشيوخ في عامي 2006 و 2007. بالإضافة أنه كان عضواً في مجلس التحرير LNCS.[3][6][7]

مراجع

عدل
  1. ^ http://ls5-www.cs.tu-dortmund.de/cms/de/mitarbeiter/prof/Bernhard_Steffen.html. اطلع عليه بتاريخ 2019-11-16. {{استشهاد ويب}}: |url= بحاجة لعنوان (مساعدة) والوسيط |title= غير موجود أو فارغ (من ويكي بيانات) (مساعدة)
  2. ^ Cleaveland، Rance؛ Parrow، Joachim؛ Steffen، Bernhard (1993). "The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems". ACM Transactions on Programming Languages and Systems. DOI:10.1145/151646.151648.
  3. ^ ا ب Steffen، Bernhard. "CV" (PDF). مؤرشف من الأصل (PDF) في 2016-03-04. اطلع عليه بتاريخ 2013-12-19.
  4. ^ Springer. "STTT Journal Page". مؤرشف من الأصل في 2018-11-17.
  5. ^ "ISoLA Conference Website". مؤرشف من الأصل في 2018-12-22.
  6. ^ van Glabbeek، Rob J.؛ Smolka، Scott A.؛ Steffen، Bernhard (1995). "Reactive, generative, and stratified models of probabilistic processes". Information and Computation. DOI:10.1006/inco.1995.1123.
  7. ^ SpringerLink. "Lecture Notes in Computer Science". مؤرشف من الأصل في 2019-05-18.

وصلات خارجية

عدل