برونو بوتشبيرغر

برونو بوخبيرغر (مواليد 22 أكتوبر 1942) أستاذ رياضيات الحاسوب في جامعة يوهانس كيبلر في لينز ، النمسا . في أطروحته للدكتوراه عام 1965 ، وضع نظرية قواعد غروبنر ، ^{[ 2 ]} وطوّر هذه النظرية طوال مسيرته المهنية. أطلق على هذه القواعد اسم أستاذه المشرف فولفغانغ غروبنر . منذ عام 1995، وهو ناشط في مشروع ثيوريما بجامعة لينز .

في عام 1987، أسس بوخبيرغر معهد أبحاث الحوسبة الرمزية (RISC) في جامعة يوهانس كيبلر وترأسه . وفي عام 1985، أطلق مجلة الحوسبة الرمزية ، التي أصبحت الآن المنشور الرئيسي في مجال الجبر الحاسوبي .

كما قام بوخبيرغر بتأسيس مجمع هاجنبرغ للبرمجيات في عام 1989، ومنذ ذلك الحين وهو يدير توسيع هذا المجمع التكنولوجي النمساوي للبرمجيات.

في عام 2014 أصبح عضواً في المجموعة العاملة للمكتبة الرياضية الرقمية العالمية ^{[ 3 ]} التابعة للاتحاد الرياضي الدولي .

إلى جانب تطبيقات قواعد غروبنر في الجبر الحسابي، قام بوخبيرغر أيضاً بتطبيقها على مشاكل إثبات النظريات الآلي في نظرية الأنظمة ، ^{[ 4 ]} والهندسة الحسابية ، ^{[ 5 ]} ورياضيات الأوريغامي . ^{[ 6 ]}

• وسام فيلهلم إكسنر (1995). ^{[ 7 ]}
• جائزة باريس كانيلاكس للنظرية والتطبيق (2007). لنظرية قواعد غروبنر. ^{[ 8 ]}
• الميدالية الذهبية للشرف من حكومة النمسا العليا
• حصل على شهادات دكتوراه فخرية من جامعات نيميغن (1993)، وتيميشوارا (2000)، وباث (2005)، ووترلو (2011)، وإنسبروك (2012).
• جائزة هيربراند للمساهمات المتميزة في الاستدلال الآلي (2018) ^{[ 9 ]}

• خوارزمية بوخبيرغر
• قواعد غروبنر

• هونغ، هون؛ كابور، ديباك؛ بول، بيتر؛ وينكلر، فرانز؛ كلية ريسك-لينز (2006). "برونو بوخبيرغر - حياة مكرسة للحوسبة الرمزية" . مجلة الحوسبة الرمزية . 41 ( 3-4 ): 255-258 . doi : 10.1016/j.jsc.2005.09.005 .

الوسائط المتعلقة ببرونو بوتشبيرغر على ويكيميديا ​​كومنز

• موقع جامعة بوخبيرغر
• موقع RISC الإلكتروني