Фридрих Людвиг Бауэр | |
---|---|
Родившийся | Фридрих Людвиг Бауэр ( 1924-06-10)10 июня 1924 г. Регенсбург, Германия |
Умер | 26 марта 2015 г. (2015-03-26)(90 лет) |
Образование | Людвиг-Максимилиан-Университет |
Известен | Стек (структура данных) Последовательный перевод формул Алгол программная инженерия Теорема Бауэра – Фике |
Дети | 5 |
Награды | Железный крест 2-го класса, Bundesverdienstkreuz 1-го класса, IEEE Computer Pioneer Award (1988) |
Научная карьера | |
Поля | Компьютерные науки Прикладная математика |
Учреждения | Университет Майнца, Технический университет Мюнхена |
Тезисов | |
Докторанты | Фриц Бопп, Георг Ауманн |
Докторанты | Манфред Брой, Дэвид Грис, Йозеф Стоер, Питер Винн, Кристоф Зенгер |
Фридрих Людвиг « Фриц » Бауэр (10 июня 1924 г. - 26 марта 2015 г.) был немецким пионером информатики и профессором Мюнхенского технического университета.
Бауэр получил аттестат зрелости в 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 году.
Ранняя работа Бауэра заключалась в создании вычислительной техники (например, логического релейного компьютера STANISLAUS 1951–1955 гг.). В этом контексте он первым предложил широко используемый стековый метод оценки выражений.
Бауэр был членом комитетов, которые разработали императивные языки программирования для компьютеров ALGOL 58 и его преемник ALGOL 60, важных предшественников всех современных императивных языков программирования. Что касается Алгола 58, Бауэр работал с немецким Gesellschaft für Angewandte Mathematik und Mechanik (GAMM, Общество прикладной математики и механики), которое работало с Американской ассоциацией вычислительной техники (ACM). Что касается Алгола 60, Бауэр работал с Рабочей группой 2.1 Международной федерации обработки информации (IFIP) IFIP по алгоритмическим языкам и исчислениям, которая определяет, поддерживает и поддерживает языки ALGOL 60 и ALGOL 68.
Бауэр был влиятельной фигурой в становлении информатики в качестве независимого предмета в немецких университетах, который до того времени обычно считался частью математики. В 1967 году он прочитал первую лекцию по информатике в немецком университете Мюнхенского технического университета под названием « Обработка информации». К 1972 году информатика стала самостоятельной академической дисциплиной в ТУМ. В 1992 году он был отделен от математического факультета и образовал независимый факультет информатики, хотя Бауэр ушел со своей кафедры в 1989 году.
В 1968 году он ввел термин « программная инженерия», который с тех пор получил широкое распространение и стал дисциплиной в компьютерных науках.
Его научный вклад распространяется от численного анализа ( теорема Бауэра – Фике ) и основ интерпретации и перевода языков программирования до его более поздних работ по систематике разработки программ, особенно методов и систем преобразования программ (CIP-S) и связанных с ними широкого спектра языковая система CIP-L. Он также написал уважаемую книгу по криптологии, расшифрованные тайнам, теперь в своем четвертом издании.
Он был научным руководителем 39 студентов, включая Рудольфа Бергаммера, Манфреда Броя, Дэвида Гриса, Манфреда Пауля, Герхарда Зигмюллера, Йозефа Стоера, Питера Винна и Кристофа Зенгера.
Фридрих Бауэр был одним из 19 членов-основателей Немецкого общества информатики. Он был редактором Informatik Spektrum с момента ее основания в 1978 году и занимал эту должность до своей смерти.
Фридрих Бауэр был женат на Хильдегард Бауэр-Фогг. Он был отцом трех сыновей и двух дочерей.
Бауэр был коллегой представителя Германии в Научном комитете НАТО. В 1967 году НАТО обсуждало «программный кризис», и Бауэр предложил термин «программная инженерия» как способ осмыслить и проблему, и ее решение.
В 1972 году Бауэр опубликовал следующее определение программной инженерии:
«Установление и использование разумных инженерных принципов для экономичного получения надежного программного обеспечения, которое эффективно работает на реальных машинах».
С 1992 г. Мюнхенский технический университет наградил Friedrich L. Bauer премии [ де ] в информатику.
В 2014 году Мюнхенский технический университет переименовал свой самый большой лекционный зал в здание факультета информатики в его честь.