Фридрих Людвиг « Фриц » Бауэр (10 июня 1924 — 26 марта 2015) — немецкий пионер компьютерных наук и профессор Мюнхенского технического университета .
Бауэр получил аттестат зрелости в 1942 году и служил в вермахте во время Второй мировой войны с 1943 по 1945 год. С 1946 по 1950 год он изучал математику и теоретическую физику в Мюнхенском университете Людвига-Максимилиана . В 1952 году Бауэр получил степень доктора философии (Ph.D.) под руководством Фрица Боппа за диссертацию Gruppentheoretische Untersuchungen zur Theorie der Spinwellengleichungen ( «Теоретико-групповые исследования теории уравнений спиновых волн»). ungen und Eigenwertproblemen (« О квадратично сходящихся итерационных методах решения алгебраических уравнений и проблем собственных значений») в 1954 году в Мюнхенском техническом университете . После преподавания в качестве приват-доцента в Мюнхенском университете Людвига-Максимилиана с 1954 по 1958 год он стал экстраординарным профессором прикладной математики в Университете Майнца . С 1963 года он работал профессором математики и (с 1972 года) информатики в Мюнхенском техническом университете. Он вышел на пенсию в 1989 году. [1]
Ранние работы Бауэра включали создание вычислительной техники (например, логического релейного компьютера STANISLAUS с 1951 по 1955 год [2] ). В этом контексте он был первым, кто предложил широко используемый метод стека для оценки выражений.
Бауэр был членом комитетов, которые разработали императивные языки программирования ALGOL 58 [ 3] и его преемника ALGOL 60 [4], важных предшественников всех современных императивных языков программирования. Для ALGOL 58 Бауэр был в немецком Gesellschaft für Angewandte Mathematik und Mechanik (GAMM, Общество прикладной математики и механики), которое работало с Американской ассоциацией вычислительной техники (ACM). [3] Для ALGOL 60 Бауэр был в Международной федерации по обработке информации (IFIP) IFIP Working Group 2.1 on Algorithmic Languages and Calculi [4] , которая специфицировала , обслуживала и поддерживала языки ALGOL 60 и ALGOL 68 [ 5]
Бауэр был влиятельной фигурой в создании информатики как независимого предмета в немецких университетах, который до этого обычно считался частью математики . В 1967 году он прочитал первую лекцию по информатике в немецком университете в Мюнхенском техническом университете под названием «Обработка информации» . К 1972 году информатика стала независимой академической дисциплиной в TUM. В 1992 году она была отделена от кафедры математики, чтобы сформировать независимую кафедру информатики , хотя Бауэр ушел со своей кафедры в 1989 году. [6]
В 1968 году он ввел термин «программная инженерия» , который с тех пор широко используется и стал дисциплиной в компьютерной науке.
Его научный вклад простирался от численного анализа ( теорема Бауэра-Файка ) и основ интерпретации и трансляции языков программирования до его более поздних работ по систематике разработки программ, особенно методов и систем преобразования программ (CIP-S) и связанной с ними широкополосной языковой системы CIP-L. Он также написал уважаемую книгу по криптологии , Decrypted secrets , которая сейчас находится в четвертом издании.
Он был научным руководителем 39 докторантов, среди которых были Рудольф Бергхаммер , Манфред Брой , Дэвид Грис , Манфред Пауль, Герхард Зегмюллер, Йозеф Штёр , Питер Винн и Кристоф Зенгер .
Фридрих Бауэр был одним из 19 основателей Немецкого общества информатики . [7] Он был редактором журнала Informatik Spektrum с момента его основания в 1978 году и занимал эту должность до своей смерти. [8]
Фридрих Бауэр был женат на Хильдегард Бауэр-Фогг. Он был отцом трех сыновей и двух дочерей.
Бауэр был коллегой немецкого представителя в Научном комитете НАТО. В 1967 году НАТО обсуждало «Программный кризис», и Бауэр предложил термин «Программная инженерия» как способ понять и проблему, и ее решение. [9]
В 1972 году Бауэр опубликовал следующее определение программной инженерии:
«Создание и использование надежных принципов проектирования для экономичного получения программного обеспечения, которое надежно и эффективно работает на реальных машинах». [10]
С 1992 года Мюнхенский технический университет присуждает премию имени Фридриха Л. Бауэра в области компьютерных наук.
В 2014 году Мюнхенский технический университет переименовал в его честь самый большой лекционный зал в здании кафедры информатики .
{{cite conference}}: CS1 maint: местоположение ( ссылка )