مانفريد بروي

📅 آخر تحديث: ٤ أغسطس ٢٠٢٦
✍️ نُشر في: ٤ أغسطس ٢٠٢٦
الموسوعة الحرة

مانفريد بروي (مواليد 10 أغسطس 1949) هو عالم حاسوب ألماني ، وأستاذ فخري في قسم المعلوماتية في جامعة ميونخ التقنية ، غارشينغ ، ألمانيا .

سيرة

حصل بروي على درجة الدكتوراه في الفلسفة (Ph.D.) في عام 1980 على كرسي فريدريش إل. باور حول موضوع تحويل البرامج التي تعمل بالتوازي (تحويل البرامج المتوازية ablaufender Program) .

في عام ١٩٨٣، أسس كلية الرياضيات وعلوم الحاسوب في جامعة باساو ، وشغل منصب عميدها حتى عام ١٩٨٦. وفي عام ١٩٨٩، انتقل إلى جامعة ميونخ التقنية (TUM)، [ ١ ] حيث أصبح في عام ١٩٩٢ العميد المؤسس لكلية المعلوماتية، التي كانت حتى ذلك الحين معهدًا تابعًا لكلية الرياضيات والمعلوماتية. ومنذ ذلك الحين، وهو يُدرّس في جامعة ميونخ التقنية.

في عام 2004، انتُخب زميلًا في جمعية المعلوماتية [ 2 ] ، وفي عام 2007، فاز بميدالية كونراد تسوزه [ 3 ] . وهو أيضًا محرر المجلة الدولية للبرمجيات والمعلوماتية . شغل بروي منصب مدير المدرسة الصيفية الدولية ماركتوبردورف [ 4 ] .

تقاعد في 31 مارس 2015.

كتب مختارة

  • بروي، مانفريد؛ جونسون، بنغت؛ كاتون، جوست بيتر؛ لوكر، مارتن؛ بريتشنر، ألكسندر (2005). اختبار الأنظمة التفاعلية القائم على النماذج: محاضرات متقدمة . سلسلة محاضرات في علوم الحاسوب .
  • بروي، مانفريد. دينرت، إرنست (2002). رواد البرمجيات .
  • بروي، مانفريد؛ غرونباور، يوهانس؛ هوار، توني (2007). موثوقية وأمن أنظمة البرمجيات . سلسلة أمن الناتو من خلال العلم: أمن المعلومات والاتصالات (أمن الناتو من خلال... د: أمن المعلومات والاتصالات). المجلد  9.
  • بروي، مانفريد؛ كروجر، إنجولف؛ ميسينجر، مايكل (2006). خدمات البرمجيات المتصلة بالسيارات في الشبكات المتنقلة: ورشة عمل برمجيات السيارات الأولى، ASWSD 2004. سلسلة محاضرات في علوم الحاسوب . سان دييغو ، كاليفورنيا، الولايات المتحدة.{{cite book}}: CS1 maint: موقع الناشر مفقود ( رابط )
  • بروي، مانفريد؛ شتاينبروجن، رالف (2000). تصميم الأنظمة الحاسوبية . سلسلة علوم الناتو: علوم الحاسوب والأنظمة (سلسلة معهد الدراسات المتقدمة التابع لحلف الناتو، السلسلة الثالثة، علوم الحاسوب والأنظمة) (ألمانيا). معهد الدراسات المتقدمة التابع لحلف الناتو في تصميم الأنظمة الحاسوبية (1998). ماركتوبردورف ، ألمانيا .{{cite book}}: CS1 maint: موقع الناشر مفقود ( رابط )
  • بروي، مانفريد (1989). الأساليب البنائية في علوم الحاسوب: المدرسة الصيفية الدولية . ناتو ASI. السلسلة F، علوم الحاسوب والأنظمة.
  • بروي، مانفريد (1996). تصميم البرامج الاستنتاجي . سلسلة ناتو ASI: علوم الحاسوب والأنظمة.
  • هوار، توني ؛ بروي، مانفريد؛ شتاينبروجن، رالف (2001). النظريات الهندسية لبناء البرمجيات . سلسلة علوم الناتو. السلسلة الثالثة، علوم الحاسوب والأنظمة، 180 (ألمانيا). معهد الدراسات المتقدمة التابع لحلف الناتو حول النظريات الهندسية لبناء البرمجيات (2000). ماركتوبردورف ، ألمانيا .{{cite book}}: CS1 maint: موقع الناشر مفقود ( رابط )
  • بروي، مانفريد؛ غرينباور، يوهانس؛ هاريل، ديفيد ؛ هوار، توني (2005). النظريات الهندسية للأنظمة كثيفة البرمجيات . وقائع معهد الدراسات المتقدمة التابع لحلف الناتو حول النظريات الهندسية للأنظمة كثيفة البرمجيات، ... الجزء الثاني: الرياضيات والفيزياء والكيمياء - عبر كيندل.
  • بروي، مانفريد؛ بيورنر، داينز ؛ بوتوسين، إيغور ف. (1993). الأساليب الرسمية في البرمجة وتطبيقاتها: وقائع المؤتمر الدولي . سلسلة محاضرات في علوم الحاسوب . أكاديمية نوفوسيبيرسك، روسيا.{{cite book}}: CS1 maint: موقع الناشر مفقود ( رابط )

مراجع

  1. ↑ "السيرة الذاتية للأستاذ الدكتور مانفريد هانز بيرتولد بروي" (ملف PDF) . جامعة فيينا للتكنولوجيا ( بالألمانية). 2012. مؤرشفة من الأصل (ملف PDF) بتاريخ 11 أكتوبر 2014. تم الاطلاع عليها بتاريخ 12 مايو 2013 .
  2. ↑ تم أرشفة اقتباس GI-Fellow في 3 مارس 2016 في Wayback Machine ، وتم استرجاعه في 9 مارس 2012.
  3. ^ وينتر، كورنيليا (16 أغسطس 2007)، “Manfred Broy aus München erhält Konrad-Zuse-Medaille – Höchste Informatik-Auszeichnung wird in Bremen verliehen” ، Informationsdienst Wissenschaft (في المانيا)
  4. ↑ مدرسة ماركتوبردورف الصيفية حول الأسس النظرية لمنهجية البرمجة (1982). بروي، مانفريد (محرر). الأسس النظرية لمنهجية البرمجة: محاضرات مدرسة صيفية دولية، 1981. سلسلة معاهد الدراسات المتقدمة التابعة لحلف الناتو . المجلد 91. ريدل . تم الاطلاع عليه في 2 سبتمبر 2015 .