Friedrich Ludwig " Fritz " Bauer (10 de junio de 1924 - 26 de marzo de 2015) fue un pionero alemán de la informática y profesor en la Universidad Técnica de Múnich .
Friedrich Ludwig Bauer | |
---|---|
Nació | Friedrich Ludwig Bauer 10 de junio de 1924 |
Fallecido | 26 de marzo de 2015 | (90 años)
Educación | Ludwig-Maximilians-Universität |
Conocido por | Pila (estructura de datos) Traducción secuencial de fórmulas Ingeniería de software ALGOL Teorema de Bauer-Fike |
Niños | 5 |
Premios | Iron Cross 2nd Class, Bundesverdienstkreuz 1st Class, IEEE Computer Pioneer Award (1988) |
Carrera científica | |
Campos | Ciencias de la computación Matemáticas aplicadas |
Instituciones | Universidad de Mainz Technical University of Munich |
Tesis |
|
Consejeros de doctorado | Fritz Bopp , Georg Aumann |
Estudiantes de doctorado | Manfred Broy , David Gries , Josef Stoer , Peter Wynn y Christoph Zenger |
La vida
Bauer obtuvo su Abitur en 1942 y sirvió en la Wehrmacht durante la Segunda Guerra Mundial, de 1943 a 1945. De 1946 a 1950, estudió matemáticas y física teórica en la Ludwig-Maximilians-Universität de Munich . Bauer recibió su Doctorado en Filosofía (Ph.D.) bajo la supervisión de Fritz Bopp por su tesis Gruppentheoretische Untersuchungen zur Theorie der Spinwellengleichungen ("Investigaciones teóricas de grupos de la teoría de ecuaciones de ondas de espín") en 1952. Completó su tesis de habilitación Über quadratisch konvergente Iterationsverfahren zur Lösung von algebraischen Gleichungen und Eigenwertproblemen ("Sobre métodos de iteración cuadráticamente convergentes para resolver ecuaciones algebraicas y problemas de valores propios") en 1954 en la Universidad Técnica de Munich . Después de enseñar como profesor privado en la Universidad Ludwig Maximilian de Munich de 1954 a 1958, se convirtió en profesor extraordinario de matemáticas aplicadas en la Universidad de Mainz . Desde 1963, trabajó como profesor de matemáticas y (desde 1972) informática en la Universidad Técnica de Munich. Se retiró en 1989. [1]
Trabaja
El trabajo inicial de Bauer implicó la construcción de maquinaria informática (por ejemplo, la computadora de relé lógico STANISLAUS de 1951-1955 [2] ). En este contexto, fue el primero en proponer el método de evaluación de expresiones de pila ampliamente utilizado .
Bauer fue miembro de los comités que desarrollaron los imperativos lenguajes de programación informática ALGOL 58 , [3] y su sucesor ALGOL 60 , [4] importantes predecesores de todos los lenguajes de programación imperativos modernos. Para ALGOL 58, Bauer estuvo con la Gesellschaft für Angewandte Mathematik und Mechanik alemana (GAMM, Sociedad de Matemática y Mecánica Aplicadas) que trabajó con la Asociación Americana de Maquinaria de Computación (ACM). [3] Para ALGOL 60, Bauer estaba con el Grupo de Trabajo 2.1 sobre Lenguajes y Cálculos Algorítmicos de la Federación Internacional para el Procesamiento de la Información (IFIP) , [4] que especificaba , mantiene y apoya los lenguajes ALGOL 60 y ALGOL 68 . [5]
Bauer fue una figura influyente en el establecimiento de la informática como asignatura independiente en las universidades alemanas, que hasta entonces solía considerarse parte de las matemáticas . En 1967, impartió la primera conferencia sobre informática en una universidad alemana de la Universidad Técnica de Munich , titulada Procesamiento de la información . En 1972, la informática se había convertido en una disciplina académica independiente en el TUM. En 1992, se separó del Departamento de Matemáticas para formar un Departamento de Informática independiente , aunque Bauer se había retirado de su cátedra en 1989. [6]
En 1968, acuñó el término ingeniería de software, que se ha utilizado ampliamente desde entonces y se ha convertido en una disciplina de la informática.
Sus contribuciones científicas se extendieron desde el análisis numérico ( teorema de Bauer-Fike ) y los fundamentos de interpretación y traducción de lenguajes de programación, hasta sus trabajos posteriores sobre sistemática del desarrollo de programas, especialmente métodos y sistemas de transformación de programas (CIP-S) y el amplio espectro asociado. sistema de lenguaje CIP-L. También escribió un libro muy respetado sobre criptología , Secretos descifrados , ahora en su cuarta edición.
Fue asesor de doctorado de 39 estudiantes, incluidos Rudolf Berghammer , Manfred Broy , David Gries , Manfred Paul, Gerhard Seegmüller, Josef Stoer , Peter Wynn y Christoph Zenger .
Friedrich Bauer fue uno de los 19 miembros fundadores de la Sociedad Alemana de Informática . [7] Fue editor de Informatik Spektrum desde su fundación en 1978, y ocupó ese cargo hasta su muerte. [8]
Friedrich Bauer estaba casado con Hildegard Bauer-Vogg. Era padre de tres hijos y dos hijas.
Definición de ingeniería de software
Bauer era un colega del representante alemán en el Comité Científico de la OTAN. En 1967, la OTAN había estado discutiendo "La crisis del software" y Bauer había sugerido el término "Ingeniería del software" como una forma de concebir tanto el problema como la solución. [9]
En 1972, Bauer publicó la siguiente definición de ingeniería de software:
"Establecimiento y uso de principios de ingeniería sólidos para obtener de manera económica un software que sea confiable y funcione en máquinas reales de manera eficiente". [10]
Legado
Desde 1992, la Universidad Técnica de Munich ha otorgado el Premio Friedrich L. Bauer
en informática.En 2014, la Universidad Técnica de Munich cambió el nombre de su sala de conferencias más grande en el edificio del Departamento de Informática en su honor.
Premios
- 1944: Cruz de Hierro de 2a clase
- 1968: Miembro de la Academia de Ciencias de Baviera en la clase de matemáticas y ciencias.
- 1971: Orden del Mérito de Baviera
- 1978: Medalla Wilhelm Exner (Austria). [11]
- 1982: Primera clase de la Cruz Federal al Mérito
- 1984: Miembro de la Academia Alemana de Ciencias Leopoldina.
- 1986: Orden Maximiliana de Baviera para la ciencia y el arte
- 1987: Miembro de Honor de la Sociedad de Ciencias de la Computación.
- 1988: Anillo de Oro de Honor del Museo Alemán
- 1988: Premio IEEE Computer Pioneer
- 1997: Medalla Heinz-Maier-Leibnitz de la Universidad Técnica de Munich
- 1998: miembro correspondiente de la Academia de Ciencias de Austria
- 2002: Miembro de Honor del Deutsches Museum
- 2004: Medalla de Plata al Mérito de la Academia de Ciencias de Baviera
Doctorados honorarios
- 1974: Doctor honoris causa por la Universidad de Grenoble
- 1989: Doctor Honoris Causa de la Universidad de Passau
- 1998: Doctorado honoris causa por la Bundeswehr University Munich (Neubiberg)
Publicaciones
- Samelson, Klaus ; Bauer, Friedrich Ludwig (febrero de 1960). "Traducción secuencial de fórmulas". Comunicaciones de la ACM . 3 (2): 76–83. doi : 10.1145 / 366959.366968 . S2CID 16646147 ., un artículo muy influyente sobre compiladores
- Bauer, Friedrich Ludwig; Baumann, R .; Feliciano, M .; Samelson, K. (1964). Introducción a Algol . Prentice Hall. ISBN 0-13-477828-6.
- Bauer, Friedrich L. (1987). El Proyecto Munich CIP: Volumen II: El Sistema de Transformación de Programas CIP-S (Lecture Notes in Computer Science) . Saltador. ISBN 978-3-5401-8779-0.
- Bauer, Friedrich Ludwig; Wirsing, Martin (marzo de 1991). Elementare Aussagenlogik (en alemán). Berlín - Heidelberg: Springer-Verlag . ISBN 3-540-52974-8.
- Bauer, Friedrich L. (2006). Secretos descifrados: métodos y máximas de la criptología , 4ª edición . Nueva York: Springer . ISBN 978-3-5402-4502-5.
Referencias
- ^ "Verzeichnis der Professorinnen und Professoren der Universität Mainz" . Gutenberg Biographics (en alemán). Johannes Gutenberg-Universität Mainz . Consultado el 16 de febrero de 2017 .
- ^ Hashigen, Ulf; Keil-Slawik, Reinhard; Norberg, Arthur L., eds. (2002). Historia de la informática: problemas de software . Berlín Heidelberg Nueva York: Springer-Verlag. págs. 15-16. ISBN 978-3-642-07653-4.
- ^ a b Perlis, AJ (1981). "Charla sobre informática en los años cincuenta". Conferencia Nacional ACM. Nashville, Tennessee . Los Alamito, CA, 1995: (Transcripción en JAN Lee (ed.), Computer Pioneers, IEEE Computer Society Press. Págs. 545–556).Mantenimiento de CS1: ubicación ( enlace )
- ^ a b Jeuring, Johan; Meertens, Lambert ; Guttmann, Walter (17 de agosto de 2016). "Perfil del Grupo de Trabajo 2.1 de IFIP" . Foswiki . Consultado el 7 de septiembre de 2020 .
- ^ Swierstra, Doaitse; Gibbons, Jeremy ; Meertens, Lambert (2 de marzo de 2011). "ScopeEtc: IFIP21: Foswiki" . Foswiki . Consultado el 7 de septiembre de 2020 .
- ^ "Historia" . Departamento de Informática de TUM . Consultado el 22 de diciembre de 2020 .
- ↑ Fritz Krückeberg: Die Geschichte der GI, p. 14; 2ª edición, noviembre de 2001, Gesellschaft für Informatik. [1] , consultado el 9 de febrero de 2021.
- ^ Informatik Spektrum Volumen 38, número 2, abril de 2015: página de impresión A4
- ^ MacKenzie, Donald (2001). Mecanizar la prueba: informática, riesgo y confianza . Cambridge: MIT Press. págs. 34–36. ISBN 0-262-13393-8.
- ^ Bauer, Friedrich L. (1972). "Ingeniería de software". Procesamiento de información . pag. 71.
- ^ Editor, ÖGV. (2015). Medalla Wilhelm Exner. Asociación de Comercio de Austria. ÖGV. Austria.
enlaces externos
- Entrevista de historia oral con Friedrich L. Bauer , Instituto Charles Babbage , Universidad de Minnesota. Bauer analiza su educación e investigación temprana, incluido el lado europeo del desarrollo de ALGOL , así como su trabajo posterior en análisis numérico y lenguajes de programación.
- Fotografía de FL Bauer (proporcionada por Brian Randell )
- Bauer sobre Rutishauser en un simposio en la ETH Zürich en 2002
- Friedrich L. Bauer en el Proyecto de genealogía matemática
- Perfil de autor en la base de datos zbMATH