Фридрих Л. Бауэр
Фридрих Людвиг Бауэр | |
|---|---|
 | |
| Рожденный | Фридрих Людвиг Бауэр 10 июня 1924 г. |
| Умер | 26 марта 2015 г. (90 лет) |
| Образование | Университет Людвига Максимилиана |
| Известный | Стек (структура данных) Последовательный перевод формул АЛГОЛ Программная инженерия Теорема Бауэра – Фике |
| Дети | 5 |
| Награды | Железный крест 2-й степени, Федеральный крест за заслуги перед 1-й степенью, Премия IEEE Computer Pioneer (1988) |
| Научная карьера | |
| Поля | Информатика Прикладная математика |
| Учреждения | Университет Майнца Технический университет Мюнхена |
| Тезисы |
|
| Докторские консультанты | Фриц Бопп , Георг Ауманн |
| Докторанты | Манфред Брой , Дэвид Грис , Йозеф Стер , Питер Винн , Кристоф Ценгер |
Фридрих Людвиг « Фриц » Бауэр (10 июня 1924 — 26 марта 2015) был немецким пионером информатики и профессором Мюнхенского технического университета .
Жизнь [ править ]
Бауэр получил степень Abitur в 1942 году и служил в Вермахте во время Второй мировой войны, с 1943 по 1945 год. С 1946 по 1950 год он изучал математику и теоретическую физику в Университете Людвига-Максимилиана в Мюнхене . Бауэр получил степень доктора философии (Ph.D.) под руководством Фрица Боппа за диссертацию Gruppentheoretische Untersuchungen zur Theorie der Spinwellengleichungen («Теоретико-групповые исследования теории уравнений спиновых волн») в 1952 году. Он защитил докторскую диссертацию . Überquatisch konvergente Iterationsverfahren zur Lösung von алгебраишен Gleichungen und Eigenwertproblemen («О квадратично сходящихся итерационных методах для решения алгебраических уравнений и задач собственных значений») в 1954 году в Мюнхенском техническом университете . После преподавания в качестве приват-доцента в Мюнхенском университете Людвига-Максимилиана с 1954 по 1958 год он стал экстраординарным профессором прикладной математики в Университете Майнца . С 1963 года работал профессором математики и (с 1972 года) информатики в Мюнхенском техническом университете. Он вышел на пенсию в 1989 году. [1]
Работа [ править ]
Ранние работы Бауэра включали создание вычислительной техники (например, логического релейного компьютера СТАНИСЛАУС 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 .
- ^ Перейти обратно: а б Перлис, Алан Джей (1981). «Разговор о компьютерах в пятидесятые годы». Национальная конференция ACM. Нэшвилл, Теннесси . Лос-Аламито, Калифорния, 1995: (Стенограмма ЯН Ли (ред.), Computer Pioneers, IEEE Computer Society Press. стр. 545–556.
{{cite conference}}: CS1 maint: местоположение ( ссылка ) - ^ Перейти обратно: а б Журинг, Йохан; Меертенс, Ламберт ; Гутманн, Вальтер (17 августа 2016 г.). «Профиль Рабочей группы ИФИП 2.1» . Фосвики . Проверено 7 сентября 2020 г.
- ^ Свирстра, С. Доатиз; Гиббонс, Джереми ; Меертенс, Ламберт (2 марта 2011 г.). «ScopeEtc: IFIP21: Foswiki» . Фосвики . Проверено 7 сентября 2020 г.
- ^ «История» . ТУМ Кафедра информатики . Проверено 22 декабря 2020 г.
- ^ Фриц Крюкеберг : История солдат, с. 14; 2-е издание, ноябрь 2001 г., Общество компьютерных наук. [1] , получено 9 февраля 2021 г.
- ^ Informatik Spektrum, том 38, выпуск 2, апрель 2015 г.: Выходные данные, страница A4
- ^ Маккензи, Дональд (2001). Механизация доказательства: вычисления, риск и доверие . Кембридж: MIT Press . стр. 34–36. ISBN 0-262-13393-8 .
- ^ Бауэр, Фридрих Людвиг (1972). «Программная инженерия». Обработка информации . п. 71.
- ^ Редактор ÖGV. (2015). Медаль Вильгельма Экснера. Австрийская торговая ассоциация. ОГВ. Австрия.
Внешние ссылки [ править ]
- Интервью по устной истории с Фридрихом Л. Бауэром , Институт Чарльза Бэббиджа , Университет Миннесоты. Бауэр рассказывает о своем образовании и ранних исследованиях, включая европейскую сторону разработки АЛГОЛА , а также о своей более поздней работе в области численного анализа и языков программирования.
- Фотография Фридриха Л. Бауэра (предоставлена Брайаном Рэнделлом )
- Бауэр о Рутисхаузере на симпозиуме в ETH Zürich в 2002 году.
- Фридрих Л. Бауэр в проекте «Математическая генеалогия»
- Профиль автора в базе данных zbMATH
Алгол- программирование |
|---|
- 1924 рождения
- смертей в 2015 г.
- Немецкие ученые-компьютерщики
- Немецкие математики XX века
- Немецкие историки математики
- Ученые из Регенсбурга
- Разработчики языков программирования
- Исследователи в области программной инженерии
- Преподаватели информатики
- Академический состав Мюнхенского технического университета
- Выпускники Мюнхенского университета Людвига-Максимилиана
- Офицерские кресты ордена «За заслуги перед Федеративной Республикой Германия»
- Немецкие математики XXI века
- Члены Австрийской академии наук
- Немецкие военнослужащие Второй мировой войны