Бухбергер Бруно
Бухбе́ргер Бру́но (Bruno Buchberger) (род. 22.10.1942, Инсбрук), австрийский учёный. Основатель Научно-исследовательского института символических вычислений (RISC) при Университете Иоганна Кеплера в Линце. Награждён медалью Вильгельма Экснера (1995). Лауреат премии Париса Канеллакиса (2007) и ряда других премий и наград. Почётный доктор университетов Неймегена (Нидерланды, 1993), Тимишоары (Румыния, 2000), Бата (Великобритания, 2005).
Окончил реальную гимназию в Инсбруке. В 1960–1966 гг. изучал математику, а также экспериментальную физику и философию в университете Инсбрука, где в 1966 г. под руководством В. Грёбнера защитил диссертацию на степень доктора философии, в которой были заложены основы математической теории одного из важнейших понятий компьютерной алгебры, алгебраической геометрии и вычислительной коммутативной алгебры – базисов Грёбнера (названных им в честь своего научного руководителя) и, в частности, разработан алгоритм для их построения (алгоритм Бухбергера). В 1973 г. также в университете Инсбрука защитил вторую диссертацию (хабилитация), посвящённую разложениям гёделевых нумераций. В 1974–2002 гг. – профессор компьютерной математики в Университете Иоганна Кеплера (JKU) в Линце. В 2002 г. вышел на пенсию, чтобы сосредоточиться на исследовательской работе, и с тех пор занимает должность профессора-исследователя в Научно-исследовательском институте символических вычислений (RISC) при JKU, который он же и основал в 1987 г. и был там директором до 1999 г. В 1979–1981 гг. – декан факультета технических и естественных наук JKU. На протяжении своей карьеры посетил в качестве приглашённого профессора многие университеты Европы, США, Японии и Австралии. В 1970–1971 гг. в течение года работал в качестве приглашённого исследователя в Объединённом институте ядерных исследований в Дубне. В 1991 г. создал и до 2013 г. возглавлял Softwarepark Hagenberg – австрийский технологический парк программного обеспечения, расположенный в Хагенберге. В 1985 г. основал журнал Journal of Symbolic Computation («Журнал символических вычислений»), главным редактором которого был до 1995 г. и который считается основным научным журналом в области символических вычислений.