Фридрих Л. Бауэр - Friedrich L. 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 (1988)
Научная карьера
ПоляИнформатика
Прикладная математика
УчрежденияУниверситет Майнца
Технический университет Мюнхена
Тезисов
  • Теоретико-групповые исследования теории спин-волновых уравнений (1952)
  • О квадратично сходящихся итерационных методах решения алгебраических уравнений и задач на собственные значения (1954)
ДокторантыФриц Бопп, Георг Ауманн
ДокторантыМанфред Брой, Дэвид Грис, Йозеф Стоер, Питер Винн, Кристоф Зенгер

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

Жизнь

Бауэр заслужил Abitur в 1942 г. и служил в Вермахт во время Второй мировой войны, с 1943 по 1945 год. С 1946 по 1950 год он изучал математику и теоретическая физика в Ludwig-Maximilians-Universität в Мюнхен. Бауэр получил Доктор Философии (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]

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

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

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

Бауэр был влиятельной фигурой в создании Информатика как самостоятельный предмет в немецких университетах.

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

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

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

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

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

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

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

Награды

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

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

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

Публикации

  • Самельсон, Клаус; Бауэр, Фридрих Людвиг (февраль 1960 г.). «Последовательный перевод формул». Коммуникации ACM. 3 (2): 76–83. Дои:10.1145/366959.366968., очень влиятельная статья о компиляторах
  • Бауэр, Фридрих Людвиг; 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-е издание. Нью-Йорк: Springer. ISBN  978-3-5402-4502-5.

Рекомендации

  1. ^ "Verzeichnis der Professorinnen und Professoren der Universität Mainz". Биография Гутенберга (на немецком). Йоханнес Гутенберг-Университет Майнца. Получено 16 февраля 2017.
  2. ^ Хашиген, Ульф; Кейл-Славик, Рейнхард; Норберг, Артур Л., ред. (2002). История вычислительной техники: проблемы программного обеспечения. Берлин Гейдельберг Нью-Йорк: Springer-Verlag. С. 15–16. ISBN  978-3-642-07653-4.
  3. ^ а б Перлис, А. Дж. (1981). «Разговор о вычислениях в пятидесятых». Национальная конференция ACM. Нашвилл, Теннесси. Лос-Аламито, Калифорния, 1995: (стенограмма в J. A. N. Lee (ed.), Computer Pioneers, IEEE Computer Society Press. Pp. 545–556).CS1 maint: location (связь)
  4. ^ а б Jeuring, Йохан; Меертенс, Ламберт; Гуттманн, Вальтер (17 августа 2016 г.). «Профиль Рабочей группы 2.1 ИФИП». Фосвики. Получено 7 сентября 2020.
  5. ^ Swierstra, Doaitse; Гиббонс, Джереми; Меертенс, Ламберт (2 марта 2011 г.). "ScopeEtc: IFIP21: Foswiki". Фосвики. Получено 7 сентября 2020.
  6. ^ Маккензи, Дональд (2001). Механизация доказательств: вычисления, риск и доверие. Кембридж: MIT Press. С. 34–36. ISBN  0-262-13393-8.
  7. ^ Бауэр, Фридрих Л. (1972). «Программная инженерия». Обработка информации. п. 71.
  8. ^ Редактор ÖGV. (2015). Медаль Вильгельма Экснера. Австрийская торговая ассоциация. ÖGV. Австрия.

внешняя ссылка