Friedrich L. Bauer | ||
|---|---|---|
Friedrich Ludwig Bauer 10. Juni 1924 | ||
| 26. März 2015 (90 Jahre alt) | ||
| Nationalität | Deutsch | |
| Alma Mater | Ludwig-Maximilians-Universität | |
| Bekannt für | Stack (Datenstruktur) , Sequenzielle Formelübersetzung, ALGOL | |
| Awards [19659008] Eisernes Kreuz 2. Klasse, Bundesverdienstkreuz 1. Klasse, IEEE-Computerpionierpreis (1988) | ||
| Wissenschaftlicher Werdegang | ||
| Felder | Informatik Angewandte Mathematik [19659004] Institutionen | Universität Mainz Technische Universität München |
| Doktorandin | Fritz Bopp, Georg Aumann | |
| Doktoranden | Manfred Broy, David Gries, Peter Wynn, Christoph Zenger | |
Friedrich Ludwig " Fritz " Bauer (10. Juni 1924 - 26. März 2015) war ein deutscher Informatiker und Professor an der Technischen Universität München.
Bauer erhielt sein Abitur 1942 und diente während des Zweiten Weltkriegs von 1943 bis 1945 in der Wehrmacht. Von 1946 bis 1950 studierte er Mathematik und theoretische Physik an der Ludwig-Maximilians-Universität in München. Bauer promovierte unter der Leitung von Fritz Bopp für seine Dissertation Gruppentheoretische Untersuchungen zur Theorie der Spinwellengleichungen ("Gruppentheoretische Untersuchungen der Theorie der Spinwellengleichungen") im Jahr 1952. Er beendete seine Habilitation Über quadratisch konvergente Iterationsverfahren zur Lösung von algebraischen Gleichungen und Eigenwertproblemen ("Über quadratisch konvergente Iterationsmethoden zur Lösung algebraischer Gleichungen und Eigenwertprobleme") an der Technischen Universität München. Nachdem er von 1954 bis 1958 an der Ludwig-Maximilians-Universität als Privatdozent unterrichtet hatte, wurde er außerordentlicher Professor für angewandte Mathematik an der Universität Mainz. Seit 1963 war er Professor für Mathematik und (seit 1972) Informatik an der Technischen Universität München. Er zog sich 1989 in den Ruhestand. [1]
Zu seinen frühen Arbeiten gehörte der Bau von Computermaschinen (z. B. der logische Relaiscomputer STANISLAUS von 1951-1955 [2]). In diesem Zusammenhang schlug er als erster die weit verbreitete Stack-Methode zur Ausdrucksbewertung vor. Bauer arbeitete auch in den Gremien mit, die die imperativen Programmiersprachen ALGOL 58 und dessen Nachfolger ALGOL 60 entwickelten, wichtige Vorgänger aller modernen imperativen Programmiersprachen. 1968 prägte Bauer den Begriff Software Engineering der seither weit verbreitet ist.
Bauer war ein einflussreicher Vertreter der Informatik als unabhängiges Fach an deutschen Universitäten.
Seine wissenschaftlichen Beiträge reichten von der numerischen Analyse (Bauer-Fike-Theorem) über Grundlagen der Interpretation und Übersetzung von Programmiersprachen bis zu späteren Arbeiten zur Systematik der Programmentwicklung, insbesondere Methoden und Systeme zur Programmtransformation (CIP-S) und den damit verbundenen Breitspektrum-Sprachsystem CIP-L. Er schrieb auch ein angesehenes Buch über Kryptologie, Entschlüsselte Geheimnisse jetzt in der vierten Auflage.
Er war der Doktorvater von 39 Studenten, darunter Manfred Broy, David Gries, Manfred Paul, Gerhard Seegmüller, Josef Stoer, Peter Wynn und Christoph Zenger.
Friedrich Bauer war mit Hildegard Bauer-Vogg verheiratet. Er war der Vater von drei Söhnen und zwei Töchtern.
Definition der Softwaretechnik [ edit ]
Bauer war ein Kollege des deutschen Vertreters des NATO-Wissenschaftskomitees. 1967 hatte die NATO über "Die Softwarekrise" diskutiert, und Bauer hatte den Begriff "Software Engineering" vorgeschlagen, um sowohl das Problem als auch die Lösung zu verstehen. [3]
Im Jahre 1972 Bauer veröffentlichte die folgende Definition des Software-Engineerings:
"Etablierung und Anwendung solider technischer Prinzipien zur wirtschaftlichen Beschaffung von Software, die zuverlässig ist und auf realen Maschinen effizient arbeitet." der Bayerischen Akademie der Wissenschaften in Mathematik und Naturwissenschaften
- Namensgeber des Friedrich-L.-Bauer-Preises für Informatik an der TU München
Im Jahr 2014 benannte die TU München ihren größten Hörsaal in der Abteilung für Informatik und Informatik nach Friedrich um Bauer.
- Ehrendoktorwürde
- 1974: Ehrendoktor der Universität von Grenoble
- 1989: Ehrendoktor der Universität Passau
- 1998: Ehrendoktor der Universität München (Neubiberg)
Publikationen ]
- 1960 "Sequential Formula Translation", Commun. ACM 3 (2): 76-83 (zusammen mit Klaus Samelson), ein sehr einflussreicher Artikel über Compiler
- 1964 Einführung in Algol Friedrich Ludwig Bauer, R. Baumann, M. Feliciano, K Samelson, Prentice Hall, ISBN 0-13-477828-6
- Bauer, Friedrich L. (1987). Das Münchner Projekt CIP: Band II: Das Programmtransformationssystem CIP-S (Vorlesungsskript in der Informatik) . Springer ISBN 978-3540187790.
- Bauer, Friedrich Ludwig; Wirsing, Martin (März 1991). Elementare Aussagenlogik . Berlin / Heidelberg: Springer-Verlag. ISBN 3-540-52974-8. ISBN 978-3-540-52974-3.
- 2006 Entschlüsselte Geheimnisse: Methoden und Maximen der Kryptologie 4. Auflage, New York, Springer, ISBN 3-540-24502-2
Literaturhinweise [ edit
- ^ "Verzeichnis der Professorinnen und Professoren der Universität Mainz". Gutenberg Biographics . Johannes Gutenberg-Universität Mainz . 16. Februar 2017 .
- ^ Hashigen, Ulf; Keil-Slawik, Reinhard; Norberg, Arthur L., Hrsg. (2002). Geschichte des Computers: Softwareprobleme . Berlin Heidelberg New York: Springer-Verlag. S. 15–16. ISBN 978-3-642-07653-4.
- ^ MacKenzie, Donald (2001). Mechanizing Proof: Computing, Risk and Trust . Cambridge: MIT Press. S. 34–36. ISBN 0-262-13393-8.
- ^ Bauer, F. L., "Software Engineering", Information Processing, 71, 1972
- ^ Herausgeber, ÖGV. (2015). Wilhelm-Exner-Medaille. Österreichische Handelsvereinigung. ÖGV. Österreich
Externe Links [ edit ]
No comments:
Post a Comment