كورادو بوم

كورادو بوم

معلومات عامة

الجنس	ذكر
بلد المواطنة	مملكة إيطاليا (1923 – 1946) إيطاليا (1946 – 2017)
الاسم الأول	Corrado [لغات أخرى]
اسم العائلة	بوم [لغات أخرى]
تاريخ الميلاد	17 يناير 1923[1]
مكان الولادة	ميلانو[1]
تاريخ الوفاة	23 أكتوبر 2017[2]
مكان الوفاة	روما
اللغات المحكية	الإيطالية
المهنة	القائمة ... رياضياتي عالم حاسوب مهندس أستاذ جامعي منطقي
مجال العمل	القائمة ... علم الحاسوب برمجة مهيكلة بنائية حسابات اللامدا منطق توافقي برمجة وظيفية علم الدلالة الشكلي
ربُّ العمل	جامعة روما سابينزا جامعة تورينو
تعلَّم في	المعهد الاتحادي السويسري للتقانة في زيورخ مدرسة لوزان الاتحادية للعلوم التطبيقية
مُشرِف الدُّكتوراه	Eduard Stiefel [لغات أخرى] Paul Bernays [الإنجليزية]
طلاب الدكتوراه	Giorgio Ausiello [الإنجليزية] Mariangiola Dezani-Ciancaglini [الإنجليزية] [3] Stefano Guerrini [لغات أخرى] [3] Simona Ronchi Della Rocca [لغات أخرى] [3]
موقع العمل	تورينو روما
عضو في	أكاديمية أوروبيا[4] (1990 – )
الجوائز	EATCS award [الإنجليزية] (2001)  honorary doctor of the University of Milan [الإنجليزية] (1994)
موقع الويب	corradobohm.it
عدد إيردوس	3[5] (2020)

كورادو بوم (بالإيطالية: Corrado Böhm) كان عالم حاسوب إيطاليًا وأستاذًا فخريًا في جامعة روما "لا سابينزا"، وُلد في 17 يناير 1923 وتوفي في 23 أكتوبر 2017. عُرف بوم بمساهماته الرائدة في نظرية البرمجة المهيكلة، الرياضيات البنائية، منطق التوليفات، حساب λ، وكذلك في دلالات لغات البرمجة وتنفيذ لغات البرمجة الوظيفية.^[6]

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

من أبرز مساهماته:

• أثبت إمكانية تحويل أي برنامج يحتوي على أوامر قفز غير منظم (goto) إلى برنامج مهيكل باستخدام تعليمات تحكم مُنظّمة فقط، وهو ما عُرف لاحقًا باسم "مبرهنة بوم-جاكوبيتي".
• ساهم في تطوير نماذج حسابية باستخدام حساب λ ومنطق التوليفات كأساس لصياغة لغات البرمجة.
• عمل على تصميم وتفسير لغات البرمجة الوظيفية، بما في ذلك تطوير أدوات مترجم مبكر بلغة فورتران.

كان لبوم تأثير طويل الأمد في مجال علوم الحاسوب النظرية، حيث درّس وأشرف على أجيال من الباحثين في إيطاليا وأوروبا، كما ألهمت أعماله تطوير مناهج تعليمية ومفاهيم في تصميم اللغات البرمجية الحديثة. وقد نُشرت العديد من المقالات التكريمية له في المؤتمرات والمجلات العلمية بعد وفاته.^[7]