Фридрих Л. Бауэр

Фридрих Людвиг Бауэр
Фридрих Людвиг Бауэр
Рожденный	Фридрих Людвиг Бауэр ; 10 июня 1924 г. ; Регенсбург , Германия
Умер	26 марта 2015 г. (90 лет)
Образование	Университет Людвига Максимилиана
Известный	Стек (структура данных) ; Последовательный перевод формул ; АЛГОЛ ; Программная инженерия ; Теорема Бауэра – Фике
Дети	5
Награды	Железный крест 2-го класса, ; Федеральный крест за заслуги перед 1-й степенью, ; IEEE Премия Computer Pioneer (1988)
	Научная карьера
Поля	Информатика ; Прикладная математика
Учреждения	Университет Майнца ; Технический университет Мюнхена
Тезисы	Теоретико-групповые исследования теории уравнений спиновых волн (1952) ; О квадратично сходящихся итерационных методах решения алгебраических уравнений и задач на собственные значения (1954) ;
Докторские консультанты	Фриц Бопп , Георг Ауманн
Докторанты	Манфред Брой , Дэвид Грис , Йозеф Стер , Питер Винн , Кристоф Ценгер

Фридрих Людвиг « Фриц » Бауэр (10 июня 1924 — 26 марта 2015) был немецким пионером информатики и профессором Мюнхенского технического университета .

Жизнь

Бауэр получил степень Abitur в 1942 году и служил в Вермахте во время Второй мировой войны, с 1943 по 1945 год. С 1946 по 1950 год он изучал математику и теоретическую физику в Университете Людвига-Максимилиана в Мюнхене . Бауэр получил степень доктора философии (Ph.D.) под руководством Фрица Боппа за диссертацию Gruppentheoretische Untersuchungen zur Theorie der Spinwellengleichungen («Теоретико-групповые исследования теории уравнений спиновых волн») в 1952 году. Он защитил докторскую диссертацию. Квадратные конвергентные итерации для Lösung von алгебраического Gleichungen und Eigenwertproblemen («О квадратично сходящихся итерационных методах решения алгебраических уравнений и задач собственных значений») в 1954 году в Мюнхенском техническом университете . После преподавания в качестве приват-доцента в Мюнхенском университете Людвига-Максимилиана с 1954 по 1958 год он стал экстраординарным профессором прикладной математики в Университете Майнца . С 1963 года работал профессором математики и (с 1972 года) информатики в Мюнхенском техническом университете. Он вышел на пенсию в 1989 году. ^{[ 1 ]}

Работа

Фридрих Л. Бауэр на собрании редакции журнала «Информатик Спектрум» 29 мая 1995 года.

Ранние работы Бауэра включали создание вычислительной техники (например, логического релейного компьютера СТАНИСЛАУС 1951–1955 гг.). ^{[ 2 ]}). В этом контексте он был первым, кто предложил широко используемый стековый метод оценки выражений.

Бауэр был членом комитетов, разработавших императивные языки компьютерного программирования АЛГОЛ 58 . ^{[ 3 ]} и его преемник АЛГОЛ 60 , ^{[ 4 ]} важных предшественников всех современных императивных языков программирования. Над Алголом 58 Бауэр работал в немецком Gesellschaft für Angewandte Mathematik und Mechanik (GAMM, Общество прикладной математики и механики), которое работало с Американской ассоциацией вычислительной техники (ACM). ^{[ 3 ]} При разработке Алгола 60 Бауэр работал в Международной федерации обработки информации (IFIP) рабочей группе 2.1 по алгоритмическим языкам и исчислениям. ^{[ 4 ]} который определил , поддерживает и поддерживает языки АЛГОЛ 60 и АЛГОЛ 68 . ^{[ 5 ]}

Бауэр был влиятельной фигурой в становлении информатики как самостоятельного предмета в немецких университетах, который до этого обычно считался частью математики . В 1967 году он прочитал первую лекцию по информатике в немецком университете Мюнхенского технического университета под названием «Обработка информации» . К 1972 году информатика стала самостоятельной академической дисциплиной в ТУМ. В 1992 году он был отделен от кафедры математики и образовал независимую кафедру информатики , хотя Бауэр ушел со своей кафедры в 1989 году. ^{[ 6 ]}

В 1968 году он ввёл термин «программная инженерия» , который с тех пор получил широкое распространение и стал дисциплиной в информатике.

Его научный вклад простирался от численного анализа ( теоремы Бауэра-Фике ) и основ интерпретации и трансляции языков программирования до его более поздних работ по систематике разработки программ, особенно методов и систем преобразования программ (CIP-S) и связанных с ними широкого спектра. языковая система CIP-L. Он также написал уважаемую книгу по криптологии « Расшифрованные секреты» , которая сейчас выходит в четвертом издании.

Он был руководителем докторской диссертации 39 студентов, в том числе Рудольфа Бергаммера , Манфреда Броя , Дэвида Гриса , Манфреда Пауля, Герхарда Зегмюллера, Йозефа Стоера , Питера Винна и Кристофа Ценгера .

Фридрих Бауэр был одним из 19 членов-основателей Немецкого общества информатики . ^{[ 7 ]} Он был редактором журнала «Информатик Спектрум» с момента его основания в 1978 году и занимал эту должность до своей смерти. ^{[ 8 ]}

Фридрих Бауэр был женат на Хильдегард Бауэр-Фогг. Он был отцом трёх сыновей и двух дочерей.

Определение программной инженерии

Бауэр был коллегой представителя Германии в Комитете по науке НАТО. В 1967 году НАТО обсуждало «кризис программного обеспечения», и Бауэр предложил термин «инженерия программного обеспечения» как способ понять как проблему, так и ее решение. ^{[ 9 ]}

В 1972 году Бауэр опубликовал следующее определение программной инженерии:

«Создание и использование надежных инженерных принципов для экономичного получения надежного программного обеспечения, которое эффективно работает на реальных машинах». ^{[ 10 ]}

Наследие

С 1992 года Мюнхенский технический университет присуждает премию Фридриха Л. Бауэра [ де ] в области информатики.

В 2014 году Мюнхенский технический университет переименовал свой самый большой лекционный зал в здании факультета информатики в его честь .

Награды

1944: Железный крест 2-го класса.
1968: Член Баварской академии наук по классу математики и естественных наук.
1971: Баварский орден «За заслуги»
1978: Медаль Вильгельма Экснера (Австрия). ^{[ 11 ]}
1982: Федеральный крест за заслуги перед 1-й степенью.
1984: Член Немецкой академии наук Леопольдина.
1986: Баварский орден Максимилиана за науку и искусство.
1987: Почетный член Общества информатики.
1988: Почетное золотое кольцо Немецкого музея.
1988: Премия IEEE Computer Pioneer
1997: Медаль Хайнца-Майера-Лейбница Мюнхенского технического университета.
1998: член-корреспондент Австрийской академии наук.
2002: Почетный член Немецкого музея.
2004: Серебряная медаль «За заслуги» Баварской академии наук.

Почетные докторские степени

1974: Почетный доктор Гренобльского университета.
1989: Почетный доктор Университета Пассау.
1998: Почетный доктор Мюнхенского университета Бундесвера (Нойбиберг).

Публикации

Самельсон, Клаус ; Бауэр, Фридрих Людвиг (февраль 1960 г.). «Последовательный перевод формул» . Коммуникации АКМ . 3 (2): 76–83. дои : 10.1145/366959.366968 . S2CID 16646147 . , очень влиятельная статья о компиляторах
Бауманн, Рихард [на немецком языке] ; Фелисиано, Мануэль; Бауэр, Фридрих Людвиг; Самельсон, Клаус (1964). Введение в АЛГОЛ – учебник для неспециалистов, подчеркивающий практическое использование алгоритмического языка . Серия по автоматическим вычислениям. Энглвуд Клиффс, Нью-Джерси, США: Prentice-Hall, Inc. ISBN 0-13-477828-6 . LCCN 64-10740 . ковчег:/13960/t6qz35p37 . Проверено 23 октября 2022 г.
Бауэр, Фридрих Людвиг (1987). Мюнхенский проект CIP: Том II: Система преобразования программ CIP-S (Конспекты лекций по информатике) . Спрингер. ISBN 978-3-5401-8779-0 .
Бауэр, Фридрих Людвиг; Вирсинг, Мартин (март 1991 г.). Элементарная пропозициональная логика (на немецком языке). Берлин – Гейдельберг, Германия: Springer-Verlag . ISBN 3-540-52974-8 .
Бауэр, Фридрих Людвиг (2006). Расшифрованные секреты: методы и принципы криптологии , 4-е издание . Нью-Йорк, США: Спрингер . ISBN 978-3-5402-4502-5 .

Ссылки

^ «Справочник профессоров Майнцского университета» . Биография Гутенберга (на немецком языке). Университет Иоганна Гутенберга в Майнце . Проверено 16 февраля 2017 г.
^ Хасиген, Ульф; Кейл-Славик, Рейнхард [на немецком языке] ; Норберг, Артур Лоуренс , ред. (2002). История вычислений: проблемы программного обеспечения . Берлин Гейдельберг Нью-Йорк: Springer-Verlag . стр. 15–16. ISBN 978-3-642-07653-4 .
^ Jump up to: ^а ^б Перлис, Алан Джей (1981). «Разговор о компьютерах в пятидесятые годы». Национальная конференция ACM. Нэшвилл, Теннесси . Лос-Аламито, Калифорния, 1995: (Стенограмма ЯН Ли (ред.), Computer Pioneers, IEEE Computer Society Press. стр. 545–556. {{cite conference}}: CS1 maint: местоположение ( ссылка )
^ Jump up to: ^а ^б Журинг, Йохан; Меертенс, Ламберт ; Гутманн, Вальтер (17 августа 2016 г.). «Профиль Рабочей группы ИФИП 2.1» . Фосвики . Проверено 7 сентября 2020 г.
^ Свирстра, С. Доатиз; Гиббонс, Джереми ; Меертенс, Ламберт (2 марта 2011 г.). «ScopeEtc: IFIP21: Foswiki» . Фосвики . Проверено 7 сентября 2020 г.
^ «История» . ТУМ Кафедра информатики . Проверено 22 декабря 2020 г.
^ Фриц Крюкеберг [ де ] : История солдат, с. 14; 2-е издание, ноябрь 2001 г., Общество компьютерных наук. [1] , получено 9 февраля 2021 г.
^ Informatik Spektrum Volume 38, Issue 2, April 2015: Imprint Page A4
^ Маккензи, Дональд (2001). Механизация доказательства: вычисления, риск и доверие . Кембридж: MIT Press . стр. 34–36. ISBN 0-262-13393-8 .
^ Бауэр, Фридрих Людвиг (1972). «Программная инженерия». Обработка информации . п. 71.
^ Редактор ÖGV. (2015). Медаль Вильгельма Экснера. Австрийская торговая ассоциация. ОГВ. Австрия.

Внешние ссылки

Интервью по устной истории с Фридрихом Л. Бауэром , Институт Чарльза Бэббиджа , Университет Миннесоты. Бауэр рассказывает о своем образовании и ранних исследованиях, включая европейскую сторону разработки АЛГОЛА , а также о своей более поздней работе в области численного анализа и языков программирования.
Фотография Фридриха Л. Бауэра (предоставлена Брайаном Рэнделлом )
Бауэр о Рутисхаузере на симпозиуме в ETH Zürich в 2002 году.
Фридрих Л. Бауэр в проекте «Математическая генеалогия»
Профиль автора в базе данных zbMATH

[GutenbergBiographics2016-1] «Справочник профессоров Майнцского университета» . Биография Гутенберга (на немецком языке). Университет Иоганна Гутенберга в Майнце . Проверено 16 февраля 2017 г.

[Hashigen_2002-2] Хасиген, Ульф; Кейл-Славик, Рейнхард [на немецком языке] ; Норберг, Артур Лоуренс , ред. (2002). История вычислений: проблемы программного обеспечения . Берлин Гейдельберг Нью-Йорк: Springer-Verlag . стр. 15–16. ISBN 978-3-642-07653-4 .

[GAMM-3] Jump up to: ^а ^б Перлис, Алан Джей (1981). «Разговор о компьютерах в пятидесятые годы». Национальная конференция ACM. Нэшвилл, Теннесси . Лос-Аламито, Калифорния, 1995: (Стенограмма ЯН Ли (ред.), Computer Pioneers, IEEE Computer Society Press. стр. 545–556. {{cite conference}}: CS1 maint: местоположение ( ссылка )

[IFIP-4] Jump up to: ^а ^б Журинг, Йохан; Меертенс, Ламберт ; Гутманн, Вальтер (17 августа 2016 г.). «Профиль Рабочей группы ИФИП 2.1» . Фосвики . Проверено 7 сентября 2020 г.

[Swierstra_2011-5] Свирстра, С. Доатиз; Гиббонс, Джереми ; Меертенс, Ламберт (2 марта 2011 г.). «ScopeEtc: IFIP21: Foswiki» . Фосвики . Проверено 7 сентября 2020 г.

[TUM-6] «История» . ТУМ Кафедра информатики . Проверено 22 декабря 2020 г.

[Krückeberg_2001-7] Фриц Крюкеберг [ де ] : История солдат, с. 14; 2-е издание, ноябрь 2001 г., Общество компьютерных наук. [1] , получено 9 февраля 2021 г.

[IS_2015-8] Informatik Spektrum Volume 38, Issue 2, April 2015: Imprint Page A4

[MacKenzie_2001-9] Маккензи, Дональд (2001). Механизация доказательства: вычисления, риск и доверие . Кембридж: MIT Press . стр. 34–36. ISBN 0-262-13393-8 .

[Bauer_1972-10] Бауэр, Фридрих Людвиг (1972). «Программная инженерия». Обработка информации . п. 71.

[WEM_2015-11] Редактор ÖGV. (2015). Медаль Вильгельма Экснера. Австрийская торговая ассоциация. ОГВ. Австрия.

[ 1 ]

[ 2 ]

[ 3 ]

[ 4 ]

[ 5 ]

[ 6 ]

[ 7 ]

[ 8 ]

[ 9 ]

[ 10 ]

[ 11 ]

Базы данных авторитетного контроля
International	ISNI VIAF WorldCat
National	Germany United States France BnF data Australia Czech Republic Netherlands Norway Latvia Croatia Sweden Poland Vatican Israel Catalonia
Academics	CiNii Mathematics Genealogy Project Association for Computing Machinery zbMATH DBLP MathSciNet Leopoldina
People	Trove Deutsche Biographie
Other	IdRef SNAC