Friedrich L. Bauer
Friedrich Ludwig Bauer
Friedrich Ludwig Bauer
10 June 1924
|Died||26 March 2015(aged 90)|
|Known for||Stack (data structure)|
Sequential Formula Translation
|Awards||Iron Cross 2nd Class, |
Bundesverdienstkreuz 1st Class,
IEEE Computer Pioneer Award (1988)
|Institutions||University of Mainz|
Technical University of Munich
|Doctoral advisors||Fritz Bopp, Georg Aumann|
|Doctoral students||Manfred Broy, David Gries, Josef Stoer, Peter Wynn, Christoph Zenger|
Bauer earned his Abitur in 1942 and served in the Wehrmacht during World War II, from 1943 to 1945. From 1946 to 1950, he studied mathematics and theoretical physics at Ludwig-Maximilians-Universität in Munich. Bauer received his Doctor of Philosophy (Ph.D.) under the supervision of Fritz Bopp for his thesis Gruppentheoretische Untersuchungen zur Theorie der Spinwellengleichungen ("Group-theoretic investigations of the theory of spin wave equations") in 1952. He completed his habilitation thesis Über quadratisch konvergente Iterationsverfahren zur Lösung von algebraischen Gleichungen und Eigenwertproblemen ("On quadratically convergent iteration methods for solving algebraic equations and eigenvalue problems") in 1954 at the Technical University of Munich. After teaching as a privatdozent at the Ludwig Maximilian University of Munich from 1954 to 1958, he became extraordinary professor for applied mathematics at the University of Mainz. Since 1963, he worked as a professor of mathematics and (since 1972) computer science at the Technical University of Munich. He retired in 1989.
Bauer's early work involved constructing computing machinery (e.g. the logical relay computer STANISLAUS from 1951–1955). In this context, he was the first to propose the widely used stack method of expression evaluation.
Bauer was a member of the committees that developed the imperative computer programming languages ALGOL 58, and its successor ALGOL 60, important predecessors to all modern imperative programming languages. For ALGOL 58, Bauer was with the German Gesellschaft für Angewandte Mathematik und Mechanik (GAMM, Society of Applied Mathematics and Mechanics) which worked with the American Association for Computing Machinery (ACM). For ALGOL 60, Bauer was with the International Federation for Information Processing (IFIP) IFIP Working Group 2.1 on Algorithmic Languages and Calculi, which specified, maintains, and supports the languages ALGOL 60 and ALGOL 68.
Bauer was an influential figure in establishing computer science as an independent subject in German universities, which until then was usually considered part of mathematics. In 1967, he held the first lecture in computer science at a German university at the Technical University of Munich, titled Information Processing. By 1972, computer science had become an independent academic discipline at the TUM. In 1992, it was separated from the Department of Mathematics to form an independent Department of Informatics, though Bauer had retired from his chair in 1989.
In 1968, he coined the term software engineering which has been in widespread use since, and has become a discipline in computer science.
His scientific contributions spread from numerical analysis (Bauer–Fike theorem) and fundamentals of interpretation and translation of programming languages, to his later works on systematics of program development, especially program transformation methods and systems (CIP-S) and the associated wide-spectrum language system CIP-L. He also wrote a well-respected book on cryptology, Decrypted secrets, now in its fourth edition.
Friedrich Bauer was married to Hildegard Bauer-Vogg. He was the father of three sons and two daughters.
Definition of software engineering
Bauer was a colleague of the German Representative the NATO Science Committee. In 1967, NATO had been discussing 'The Software Crisis' and Bauer had suggested the term 'Software Engineering' as a way to conceive of both the problem and the solution.
In 1972, Bauer published the following definition of software engineering:
"Establishment and use of sound engineering principles to economically obtain software that is reliable and works on real machines efficiently."
- 1944: Iron Cross 2nd Class
- 1968: Member of the Bavarian Academy of Sciences in mathematics and science class
- 1971: Bavarian Order of Merit
- 1978: Wilhelm Exner Medal (Austria).
- 1982: Federal Merit Cross 1st Class
- 1984: Member of the German Academy of Sciences Leopoldina
- 1986: Bavarian Maximilian Order for Science and Art
- 1987: Honorary Member of the Society for computer science
- 1988: Golden Ring of Honour of the German Museum
- 1988: IEEE Computer Pioneer Award
- 1997: Heinz-Maier-Leibnitz Medal from the Technical University of Munich
- 1998: corresponding member of the Austrian Academy of Sciences
- 2002: Honorary Member of the Deutsches Museum
- 2004: Silver Medal of Merit of the Bavarian Academy of Sciences
- 1974: Honorary Doctor of the University of Grenoble
- 1989: Honorary Doctor of the University of Passau
- 1998: Honorary doctorate from the Bundeswehr University Munich (Neubiberg)
- Samelson, Klaus; Bauer, Friedrich Ludwig (February 1960). "Sequential Formula Translation". Communications of the ACM. 3 (2): 76–83. doi:10.1145/366959.366968. S2CID 16646147., a very influential paper on compilers
- Bauer, Friedrich Ludwig; Baumann, R.; Feliciano, M.; Samelson, K. (1964). Introduction to Algol. Prentice Hall. ISBN 0-13-477828-6.
- Bauer, Friedrich L. (1987). The Munich Project CIP: Volume II: The Programme Transformation System CIP-S (Lecture Notes in Computer Science). Springer. ISBN 978-3-5401-8779-0.
- Bauer, Friedrich Ludwig; Wirsing, Martin (March 1991). Elementare Aussagenlogik (in German). Berlin – Heidelberg: Springer-Verlag. ISBN 3-540-52974-8.
- Bauer, Friedrich L. (2006). Decrypted Secrets: Methods and Maxims of Cryptology, 4th edition. New York: Springer. ISBN 978-3-5402-4502-5.
- "Verzeichnis der Professorinnen und Professoren der Universität Mainz". Gutenberg Biographics (in German). Johannes Gutenberg-Universität Mainz. Retrieved 16 February 2017.
- Hashigen, Ulf; Keil-Slawik, Reinhard; Norberg, Arthur L., eds. (2002). History of Computing: Software Issues. Berlin Heidelberg New York: Springer-Verlag. pp. 15–16. ISBN 978-3-642-07653-4.
- Perlis, A. J. (1981). "Talk on Computing in the Fifties". ACM National Conference. Nashville, Tennessee. Los Alamito, CA, 1995: (Transcript in J. A. N. Lee (ed.), Computer Pioneers, IEEE Computer Society Press. pp. 545–556).CS1 maint: location (link)
- Jeuring, Johan; Meertens, Lambert; Guttmann, Walter (17 August 2016). "Profile of IFIP Working Group 2.1". Foswiki. Retrieved 7 September 2020.
- Swierstra, Doaitse; Gibbons, Jeremy; Meertens, Lambert (2 March 2011). "ScopeEtc: IFIP21: Foswiki". Foswiki. Retrieved 7 September 2020.
- "History". TUM Department of Informatics. Retrieved 22 December 2020.
- Fritz Krückeberg: Die Geschichte der GI, p. 14; 2nd edition, November 2001, Gesellschaft für Informatik. , retrieved 9 February 2021
- Informatik Spektrum Volume 38, Issue 2, April 2015: Imprint Page A4
- MacKenzie, Donald (2001). Mechanizing Proof: Computing, Risk, and Trust. Cambridge: MIT Press. pp. 34–36. ISBN 0-262-13393-8.
- Bauer, Friedrich L. (1972). "Software Engineering". Information Processing. p. 71.
- Editor, ÖGV. (2015). Wilhelm Exner Medal. Austrian Trade Association. ÖGV. Austria.
|Wikimedia Commons has media related to Friedrich Ludwig Bauer.|
- Oral history interview with Friedrich L. Bauer, Charles Babbage Institute, University of Minnesota. Bauer discusses his education and early research, including the European side of the development of ALGOL, as well as his later work in numerical analysis and programming languages.
- Photograph of F. L. Bauer (provided by Brian Randell)
- Bauer about Rutishauser at a symposium at the ETH Zürich in 2002
- Friedrich L. Bauer at the Mathematics Genealogy Project
- Author profile in the database zbMATH