Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску
"FL Bauer" перенаправляется сюда. Для австрийского ботанического иллюстратора см Фердинанда Бауэра .

Фридрих Людвиг Бауэр
FriedrichLudwigBauer.jpg
Родившийся
Фридрих Людвиг Бауэр

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

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

Жизнь [ править ]

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

Работа [ править ]

Фридрих Л. Бауэр на собрании редакции Informatik Spektrum 29 мая 1995 г.

Ранняя работа Бауэра заключалась в создании вычислительной техники (например, логического релейного компьютера STANISLAUS 1951–1955 [2] ). В этом контексте он первым предложил широко используемый стековый метод оценки выражений.

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

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

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

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

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

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

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

Определение программной инженерии [ править ]

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

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

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

Наследие [ править ]

С 1992 г. Мюнхенский технический университет наградил Friedrich L. Bauer премии  [ де ] в информатику.

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

Награды [ править ]

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

Почетные докторские степени [ править ]

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

Публикации [ править ]

  • Самельсон, Клаус ; Бауэр, Фридрих Людвиг (февраль 1960 г.). «Последовательный перевод формул». Коммуникации ACM . 3 (2): 76–83. DOI : 10.1145 / 366959.366968 . S2CID  16646147 ., очень влиятельная статья о компиляторах
  • Бауэр, Фридрих Людвиг; Baumann, R .; Feliciano, M .; Самельсон, К. (1964). Введение в Алгол . Прентис Холл. ISBN 0-13-477828-6.
  • Бауэр, Фридрих Л. (1987). Мюнхенский проект CIP: Том II: Система преобразования программ CIP-S (Конспект лекций по информатике) . Springer. ISBN 978-3-5401-8779-0.
  • Бауэр, Фридрих Людвиг; Вирсинг, Мартин (март 1991). Elementare Aussagenlogik (на немецком языке). Берлин - Гейдельберг: Springer-Verlag . ISBN 3-540-52974-8.
  • Бауэр, Фридрих Л. (2006). Расшифрованные секреты: методы и максимы криптологии, 4-е издание . Нью-Йорк: Спрингер . ISBN 978-3-5402-4502-5.

Ссылки [ править ]

  1. ^ "Verzeichnis der Professorinnen und Professoren der Universität Mainz" . Биография Гутенберга (на немецком языке). Johannes Gutenberg-Universität Mainz . Проверено 16 февраля 2017 года .
  2. ^ Хашиген, Ульф; Кейл-Славик, Рейнхард; Норберг, Артур Л., ред. (2002). История вычислительной техники: проблемы программного обеспечения . Берлин Гейдельберг Нью-Йорк: Springer-Verlag. С. 15–16. ISBN 978-3-642-07653-4.
  3. ^ а б Перлис, AJ (1981). «Разговор о вычислениях в пятидесятых». Национальная конференция ACM. Нашвилл, Теннесси . Лос-Аламито, Калифорния, 1995: (стенограмма в JAN Lee (ed.), Computer Pioneers, IEEE Computer Society Press. Стр. 545–556).CS1 maint: location ( ссылка )
  4. ^ a b Jeuring, Йохан; Меертенс, Ламберт ; Гуттманн, Вальтер (17 августа 2016 г.). «Профиль Рабочей группы 2.1 ИФИП» . Фосвики . Дата обращения 7 сентября 2020 .
  5. ^ Swierstra, Doaitse; Гиббонс, Джереми ; Меертенс, Ламберт (2 марта 2011 г.). "ScopeEtc: IFIP21: Foswiki" . Фосвики . Дата обращения 7 сентября 2020 .
  6. ^ «История» . ТУМ Кафедра информатики . Проверено 22 декабря 2020 .
  7. ^ Фриц Крюкеберг: Die Geschichte der GI, стр. 14; 2-е издание, ноябрь 2001 г., Gesellschaft für Informatik. [1] , получено 9 февраля 2021 г.
  8. ^ Informatik Spektrum Volume 38, Issue 2, April 2015: Выходные данные, страница A4
  9. ^ Маккензи, Дональд (2001). Механизация доказательств: вычисления, риск и доверие . Кембридж: MIT Press. С. 34–36. ISBN 0-262-13393-8.
  10. ^ Бауэр, Фридрих Л. (1972). «Программная инженерия». Обработка информации . п. 71.
  11. ^ Редактор, ÖGV. (2015). Медаль Вильгельма Экснера. Австрийская торговая ассоциация. ÖGV. Австрия.

Внешние ссылки [ править ]

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