Friedricha L. Bauera

„FL Bauer” przekierowuje tutaj. Dla austriackiego ilustratora botanicznego, patrz Ferdinand Bauer .

Friedricha Ludwiga Bauera
FriedrichLudwigBauer.jpg
Urodzić się
Friedricha Ludwiga Bauera

( 10.06.1924 ) 10 czerwca 1924
Ratyzbona , Niemcy
Zmarł 26 marca 2015 (26.03.2015) (w wieku 90)
Edukacja Ludwig-Maximilians-Universität
Znany z



Stos (struktura danych) Translacja formuł sekwencyjnych ALGOL Inżynieria oprogramowania Twierdzenie Bauera-Fike'a
Dzieci 5
Nagrody

Krzyż Żelazny 2. klasy, Bundesverdienstkreuz 1. klasy, nagroda IEEE Computer Pioneer Award (1988)
Kariera naukowa
Pola
Informatyka Matematyka stosowana
Instytucje
Uniwersytet Techniczny w Moguncji, Uniwersytet Techniczny w Monachium
Tezy
  •   Badania grupowe nad teorią równań fali spinowej (1952)
  •   O kwadratowo zbieżnych metodach iteracji do rozwiązywania równań algebraicznych i problemów z wartościami własnymi (1954)
Doradcy doktoranci Fritza Boppa , Georga Aumanna
Doktoranci Manfred Broy , David Gries , Josef Stoer , Peter Wynn , Christoph Zenger

Friedrich Ludwig „ Fritz ” Bauer (10 czerwca 1924 - 26 marca 2015) był niemieckim pionierem informatyki i profesorem na Uniwersytecie Technicznym w Monachium .

Życie

Bauer zdał maturę w 1942 roku i służył w Wehrmachcie podczas II wojny światowej, od 1943 do 1945. Od 1946 do 1950 studiował matematykę i fizykę teoretyczną na Ludwig-Maximilians-Universität w Monachium . Bauer uzyskał tytuł doktora filozofii (doktorat) pod kierunkiem Fritza Boppa za swoją pracę magisterską Gruppentoretische Untersuchungen zur Theorie der Spinwellengleichungen („Grupowe teoretyczne badania teorii równań fali spinowej”) w 1952 r. Ukończył rozprawa habilitacyjna Über quadratisch konvergente Iterationsverfahren zur Lösung von algebraischen Gleichungen und Eigenwertproblemen („O metodach iteracji kwadratowo zbieżnej do rozwiązywania równań algebraicznych i problemów z wartościami własnymi”) w 1954 r. na Uniwersytecie Technicznym w Monachium . Po nauczaniu jako privatdozent na Uniwersytecie Ludwika Maksymiliana w Monachium w latach 1954-1958 został profesorem nadzwyczajnym matematyki stosowanej na Uniwersytecie w Moguncji . Od 1963 pracował jako profesor matematyki i (od 1972) informatyki na Uniwersytecie Technicznym w Monachium. W 1989 przeszedł na emeryturę.

Praca

Friedrich L. Bauer na spotkaniu redakcji Informatik Spektrum w dniu 29 maja 1995 r.

Wczesne prace Bauera polegały na konstruowaniu maszyn liczących (np. logicznego komputera przekaźnikowego STANISŁAW z lat 1951-1955). W tym kontekście jako pierwszy zaproponował stosowaną powszechnie stosowaną metodę oceny wyrażeń.

Bauer był członkiem komitetów, które opracowały imperatywne języki programowania komputerów ALGOL 58 i jego następcę ALGOL 60 , ważnych poprzedników wszystkich współczesnych imperatywnych języków programowania. W przypadku ALGOL 58 Bauer współpracował z niemieckim Gesellschaft für Angewandte Mathematik und Mechanik (GAMM, Society of Applied Mathematics and Mechanics), które współpracowało z American Association for Computing Machinery (ACM). W przypadku ALGOL 60 Bauer był członkiem Międzynarodowej Federacji Przetwarzania Informacji (IFIP) IFIP Working Group 2.1 on Algorithmic Languages ​​and Calculi, która określiła , utrzymuje i wspiera języki ALGOL 60 i ALGOL 68 .

Bauer był wpływową postacią w ustanowieniu informatyki jako niezależnego przedmiotu na niemieckich uniwersytetach, który do tej pory był zwykle uważany za część matematyki . W 1967 roku wygłosił pierwszy wykład z informatyki na niemieckiej uczelni na Politechnice w Monachium , zatytułowany Przetwarzanie informacji . Do 1972 roku informatyka stała się samodzielną dyscypliną akademicką na TUM. W 1992 roku wyodrębniono ją z Katedry Matematyki, tworząc samodzielną Katedrę Informatyki , chociaż Bauer wycofał się z fotela w 1989 roku.

W 1968 roku ukuł termin inżynieria oprogramowania , który od tego czasu jest w powszechnym użyciu i stał się dyscypliną w informatyce.

Jego wkład naukowy rozciągał się od analizy numerycznej ( twierdzenie Bauera-Fike'a ) i podstaw interpretacji i tłumaczenia języków programowania, aż po jego późniejsze prace nad systematyką rozwoju programów, zwłaszcza metodami i systemami transformacji programów (CIP-S) oraz związanym z nimi szerokim spektrum system językowy CIP-L. Napisał także szanowaną książkę o kryptologii Odszyfrowane tajemnice , obecnie w czwartym wydaniu .

Był promotorem doktoranckim 39 studentów, w tym Rudolfa Berghammera , Manfreda Broya , Davida Griesa , Manfreda Paula, Gerharda Seegmüllera, Josefa Stoera , Petera Wynna i Christopha Zengera .

Friedrich Bauer był jednym z 19 członków-założycieli Niemieckiego Towarzystwa Informatycznego . Był redaktorem Informatik Spektrum od jego powstania w 1978 roku i piastował to stanowisko aż do śmierci.

Friedrich Bauer był żonaty z Hildegardą Bauer-Vogg. Był ojcem trzech synów i dwóch córek.

Definicja inżynierii oprogramowania

Bauer był współpracownikiem niemieckiego przedstawiciela Komitetu Naukowego NATO. W 1967 roku NATO dyskutowało o „Kryzysie oprogramowania”, a Bauer zaproponował termin „Inżynieria oprogramowania” jako sposób na pojmowanie zarówno problemu, jak i rozwiązania.

W 1972 roku Bauer opublikował następującą definicję inżynierii oprogramowania:

„Ustanowienie i wykorzystanie solidnych zasad inżynierii w celu ekonomicznego uzyskania oprogramowania, które jest niezawodne i wydajnie działa na rzeczywistych maszynach”.

Dziedzictwo

Od 1992 roku Uniwersytet Techniczny w Monachium przyznaje nagrodę Friedricha L. Bauera [ de ] w dziedzinie informatyki.

W 2014 roku Uniwersytet Techniczny w Monachium zmienił jego imię na swoją największą salę wykładową w budynku Wydziału Informatyki .

Nagrody

Doktoraty honoris causa

Publikacje

  •   Samelson, Klaus ; Bauer, Friedrich Ludwig (luty 1960). „Tłumaczenie formuł sekwencyjnych” . Komunikaty ACM . 3 (2): 76–83. doi : 10.1145/366959.366968 . S2CID 16646147 . , bardzo wpływowy artykuł na temat kompilatorów
  •    Baumann, Richard [w języku niemieckim] ; Feliciano, Manuel; Bauer, Friedrich Ludwig; Samelson, Klaus (1964). Wprowadzenie do ALGOL – Elementarz dla niespecjalistów, kładący nacisk na praktyczne zastosowania języka algorytmicznego . Szeregi w obliczeniach automatycznych. Englewood Cliffs, New Jersey, USA: Prentice-Hall, Inc. ISBN 0-13-477828-6 . LCCN 64-10740 . arka:/13960/t6qz35p37 . Źródło 2022-10-23 .
  •   Bauer, Friedrich Ludwig (1987). Projekt monachijski CIP: tom II: System transformacji programu CIP-S (notatki z wykładów z informatyki) . Skoczek. ISBN 978-3-5401-8779-0 .
  •   Bauer, Friedrich Ludwig; Wirsing, Martin (marzec 1991). Elementare Aussagenlogik (w języku niemieckim). Berlin – Heidelberg, Niemcy: Springer-Verlag . ISBN 3-540-52974-8 .
  •   Bauer, Friedrich Ludwig (2006). Odszyfrowane tajemnice: metody i maksymy kryptologii , wydanie 4 . Nowy Jork, USA: Springer . ISBN 978-3-5402-4502-5 .

Linki zewnętrzne

Pobrano z „ https://en.wikipedia.org/w/index.php?title=Friedrich_L._Bauer&oldid=1133118013 ”