Friedrich L. Bauer

Last updated
Friedrich L. Bauer
FriedrichLudwigBauer.jpg
Born
Friedrich Ludwig Bauer

(1924-06-10)10 June 1924
Died26 March 2015(2015-03-26) (aged 90)
NationalityGerman
Alma mater Ludwig-Maximilians-Universität
Known for Stack (data structure),
Sequential Formula Translation,
ALGOL
Awards Iron Cross 2nd Class,
Bundesverdienstkreuz 1st Class,
IEEE Computer Pioneer Award (1988)
Scientific career
Fields Computer Science
Applied Mathematics
Institutions University of Mainz
Technical University of Munich
Doctoral advisor Fritz Bopp, Georg Aumann
Doctoral students Manfred Broy, David Gries, Josef Stoer, Peter Wynn, Christoph Zenger

Friedrich Ludwig "Fritz" Bauer (10 June 1924 – 26 March 2015) was a German computer scientist and professor at the Technical University of Munich.

Contents

Life

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 doctorate 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 Ü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 privatdozent at Ludwig-Maximilians-Universität 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 Technical University of Munich. He retired in 1989. [1]

Bauer's early work involved the construction of computing machinery (e.g. the logical relay computer STANISLAUS from 1951-1955 [2] ). In this context, he was the first to propose the widely used stack method of expression evaluation. Bauer also worked in the committees that developed the imperative computer programming languages ALGOL 58 and its successor ALGOL 60, important predecessors to all modern imperative programming languages. In 1968, Bauer coined the term Software Engineering which has been in widespread use since.

Bauer was an influential figure in establishing computer science as an independent subject in German universities.

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.

He was the doctoral advisor of 39 students, including Manfred Broy, David Gries, Manfred Paul, Gerhard Seegmüller, Josef Stoer, Peter Wynn, and Christoph Zenger.

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. [3]

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." [4]

Awards

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). [5]
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
Namesake of the Friedrich L. Bauer Prize for computer science at the TU Munich

In 2014 the TU Munich renamed their largest lecture hall in the department of Informatics and Computer Science after Friedrich Bauer.

Honorary doctorates
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)

Publications

Related Research Articles

Tony Hoare British computer scientist

Sir Charles Antony Richard Hoare is a British computer scientist. He developed the sorting algorithm quicksort in 1959/1960. He also developed Hoare logic for verifying program correctness, and the formal language communicating sequential processes (CSP) to specify the interactions of concurrent processes and the inspiration for the occam programming language.

Peter Naur Danish computer scientist

Peter Naur was a Danish computer science pioneer and Turing award winner. His last name is the "N" in the BNF notation, used in the description of the syntax for most programming languages. He contributed to the creation of the ALGOL 60 programming language.

Ludwig Maximilian University of Munich Public university in Munich, Germany

Ludwig Maximilian University of Munich is a public research university located in Munich, Germany.

ALGOL 58, originally named IAL, is one of the family of ALGOL computer programming languages. It was an early compromise design soon superseded by ALGOL 60. According to John Backus

"The Zurich ACM-GAMM Conference had two principal motives in proposing the IAL: (a) To provide a means of communicating numerical methods and other procedures between people, and (b) To provide a means of realizing a stated process on a variety of machines..."

Bruno Buchberger Austrian mathematician

Bruno Buchberger is Professor of Computer Mathematics at Johannes Kepler University in Linz, Austria. In his 1965 Ph.D. thesis, he created the theory of Gröbner bases, and has developed this theory throughout his career. He named these objects after his advisor Wolfgang Gröbner. Since 1995, he has been active in the Theorema project at the University of Linz.

The Gottfried Wilhelm Leibniz Prize is a program of the Deutsche Forschungsgemeinschaft which awards prizes “to exceptional scientists and academics for their outstanding achievements in the field of research.” It was established in 1985 and up to ten prizes are awarded annually to individuals or research groups working at a research institution in Germany or at a German research institution abroad.

David Gries is an American computer scientist at Cornell University, United States primarily known for his books The Science of Programming (1981) and A Logical Approach to Discrete Math.

Ludwigstrasse street in Munich

The Ludwigstraße in Munich is one of the city's four royal avenues next to the Brienner Straße, the Maximilianstraße and the Prinzregentenstraße. Principal was King Ludwig I of Bavaria, the avenue is named in his honour. The city's grandest boulevard with its public buildings still maintains its architectural uniformity envisioned as a grand street "worthy the kingdom" as requested by the king. The Ludwigstraße has served also for state parades and funeral processions.

Manfred Broy German computer scientist

Manfred Broy is a German computer scientist, and an emeritus professor in the Fakultät für Informatik at the Technische Universität München, Garching, Germany.

Klaus Samelson was a German mathematician, physicist, and computer pioneer in the area of programming language translation and push-pop stack algorithms for sequential formula translation on computers.

Wolfgang Bibel computer scientist

Leonhard Wolfgang Bibel is a German computer scientist, mathematician and Professor emeritus at the Department of Computer Science of the Technische Universität Darmstadt. He was one of the founders of the research area of artificial intelligence in Germany and Europe and has been named as one of the ten most important researchers in the German artificial intelligence history by the Gesellschaft für Informatik. Bibel established the necessary institutions, conferences and scientific journals and promoted the necessary research programs to establish the field of artificial intelligence.

Hans Friedrich Zacher was a German academician. He was a professor at the Ludwig Maximilian University of Munich and was the President of the Max Planck Society from 1990 till 1996.

Wilfried Brauer German computer scientist

Wilfried Brauer was a German computer scientist and professor emeritus at Technical University of Munich.

Friedrich C. Simmel is a German biophysicist and professor at the Technical University Munich. He is a researcher in the field of DNA nanotechnology and is best known for his work on DNA nanomachines and dynamic DNA-based systems.

Josef Stoer German mathematician

Josef Stoer is a German mathematician specializing in numerical analysis and professor emeritus of the Institut für Mathematik of Universität Würzburg.

Gunther Schmidt is a German mathematician who works also in informatics.

Martin Wirsing is a German computer scientist, and Professor at the Ludwig-Maximilians-Universität München, Germany.

Erich Hüttenhain was a German academic mathematician and cryptographer (Cryptography) and considered a leading cryptanalyst in the Third Reich. He was Head of the cryptanalysis unit at OKW/Chi, the Cipher Department of the High Command of the Wehrmacht.

Hermann Bottenbruch was a German mathematician and computer scientist.

Helmut Schwichtenberg German mathematician and computer scientist

Helmut Schwichtenberg is a German mathematical logician.

References

  1. "Verzeichnis der Professorinnen und Professoren der Universität Mainz". Gutenberg Biographics (in German). Johannes Gutenberg-Universität Mainz. Retrieved 16 February 2017.
  2. 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.
  3. MacKenzie, Donald (2001). Mechanizing Proof: Computing, Risk, and Trust. Cambridge: MIT Press. pp. 34–36. ISBN   0-262-13393-8.
  4. Bauer, F.L., "Software Engineering", Information Processing, 71, 1972
  5. Editor, ÖGV. (2015). Wilhelm Exner Medal. Austrian Trade Association. ÖGV. Austria.