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

Фридрих Л. Бауэр (нем. Friedrich Ludwig Bauer; 10 июня 1924, Регенсбург — 26 марта 2015, Мюнхен) — немецкий учёный в области информатики, математик и педагог. Один из пионеров вычислительной техники и программирования в Германии, внёсший значительный вклад в развитие теории алгоритмов, структур данных и методов программирования. Наиболее известен как соавтор концепции «стековой памяти» (stack) и один из основателей Европейской ассоциации теоретической информатики (EATCS).

Биография

Фридрих Людвиг Бауэр родился 10 июня 1924 года в Регенсбурге (Бавария). В 1942 году, после окончания гимназии, был призван в вермахт и участвовал во Второй мировой войне. После войны, в 1946 году, поступил в Мюнхенский университет Людвига-Максимилиана, где изучал математику и физику. В 1952 году защитил докторскую диссертацию по математической логике под руководством Фрица Бёма.

С 1952 по 1958 год работал ассистентом в Мюнхенском университете, а затем в 1958 году перешёл в Майнцский университет, где получил должность профессора прикладной математики. В 1963 году Бауэр вернулся в Мюнхен, где стал профессором Мюнхенского технического университета (TUM) и основал первую в Германии кафедру информатики. На этом посту он проработал до выхода на пенсию в 1989 году.

Научный вклад

Теория алгоритмов и структуры данных

Бауэр является одним из создателей концепции стека (stack) — структуры данных, работающей по принципу «последним пришёл — первым вышел» (LIFO). В 1955 году, совместно с Клаусом Заммельсоном, он предложил использовать стек для хранения промежуточных результатов при вычислении арифметических выражений. Эта идея легла в основу многих алгоритмов компиляции и операционных систем.

Разработка языков программирования

В 1958 году Бауэр участвовал в создании первого международного языка программирования ALGOL 58 (Algorithmic Language 1958). Он был членом комитета по разработке ALGOL, который заложил основы структурного программирования. В 1960 году он стал одним из авторов спецификации ALGOL 60, который считается первым языком программирования, формально описанным с помощью нотации Бэкуса — Наура (BNF). В 1963 году Бауэр предложил концепцию «блочной структуры» (block structure) для языков программирования, что позволило создавать вложенные области видимости переменных.

Теория вычислимости и формальные методы

Совместно с Хайнцем Вёльке, Бауэр разработал «алгоритмический язык» (Algorithmic Language) — формальную систему для описания алгоритмов, которая стала предшественником современных языков спецификации. В 1970-х годах он активно занимался теорией «абстрактных типов данных» (abstract data types), что привело к созданию метода «алгебраической спецификации» (algebraic specification) — способа формального описания структур данных.

Образовательная деятельность

Бауэр считается основателем систематического образования в области информатики в Германии. В 1969 году он опубликовал первый немецкий учебник по информатике — «Informatik: Eine einführende Übersicht» (Информатика: вводный обзор), который выдержал несколько изданий. В 1972 году он основал журнал «Acta Informatica» — одно из ведущих научных изданий по теоретической информатике.

Признание и награды

• 1968 год — член Немецкой академии естествоиспытателей «Леопольдина».
• 1978 год — премия «Пионер компьютерной техники» (IEEE Computer Society Pioneer Award) за вклад в развитие стековой памяти и ALGOL.
• 1988 год — награда «Золотая медаль Конрада Цузе» (Gesellschaft für Informatik) за выдающиеся заслуги в области информатики.
• 1997 год — почётный доктор Университета Пассау.
• 2004 год — орден «За заслуги перед Федеративной Республикой Германия» (Bundesverdienstkreuz).

Основные труды

• Bauer, F. L., & Samelson, K. (1957). «Sequential formula translation». Communications of the ACM, 1(1), 10–15.
• Bauer, F. L. (1962). «The ALGOL 60 report». Communications of the ACM, 5(1), 1–17.
• Bauer, F. L., & Wössner, H. (1972). «Algorithmic Language and Program Development». Springer-Verlag.
• Bauer, F. L. (1974). «Informatik: Eine einführende Übersicht». Springer-Verlag.
• Bauer, F. L. (1982). «The Stack Principle: A Historical Perspective». Annals of the History of Computing, 4(3), 205–215.

Интересные факты

• Бауэр был одним из первых, кто предложил использовать термин «информатика» (Informatik) в немецком языке, адаптировав французское «informatique».
• В 1968 году он организовал первую в Германии конференцию по информатике — «GI-Fachtagung Informatik».
• В 1970-х годах Бауэр активно выступал за внедрение формальных методов в промышленную разработку программного обеспечения, что повлияло на создание языка «Z» (Z notation) и метода «VDM» (Vienna Development Method).

Источники

• Bauer, F. L. (2010). «Mein Weg zur Informatik». Springer-Verlag.
• Knuth, D. E. (1998). «The Art of Computer Programming, Volume 1: Fundamental Algorithms». Addison-Wesley.
• IEEE Computer Society. (1978). «Pioneer Award: Friedrich L. Bauer».
• Gesellschaft für Informatik. (1988). «Konrad-Zuse-Medaille: Friedrich L. Bauer».
• Сайт Мюнхенского технического университета (TUM). «Friedrich L. Bauer — In Memoriam».