Friedrich L. Bauer - Friedrich L. Bauer

„F. L. Bauer“ přeadresuje tady. Rakouského botanického ilustrátora viz Ferdinand Bauer.

Friedrich Ludwig Bauer
FriedrichLudwigBauer.jpg
narozený
Friedrich Ludwig Bauer

(1924-06-10)10. června 1924
Regensburg, Německo
Zemřel26. března 2015(2015-03-26) (ve věku 90)
NárodnostNěmec
VzděláváníLudwig-Maximilians-Universität
Známý jakoZásobník (datová struktura)
Sekvenční překlad vzorců
ALGOL
softwarové inženýrství
Bauer – Fikeova věta
Děti5
OceněníŽelezný kříž 2. třída,
Bundesverdienstkreuz 1. třída,
IEEE Cena Computer Pioneer (1988)
Vědecká kariéra
PolePočítačová věda
Aplikovaná matematika
InstituceUniverzita v Mohuči
Technická univerzita v Mnichově
Práce
  • Skupinové teoretické zkoumání teorie rovnic spinových vln (1952)
  • Na kvadraticky konvergentních iteračních metodách pro řešení algebraických rovnic a problémů vlastních čísel (1954)
Doktorští poradciFritz Bopp, Georg Aumann
DoktorandiManfred Broy, David Gries, Josef Stoer, Peter Wynn, Christoph Zenger

Friedrich Ludwig "Fritz" Bauer (10. června 1924 - 26. března 2015) byl Němec počítačový vědec a profesor na Technická univerzita v Mnichově.

Život

Bauer si vysloužil své Abitur v roce 1942 a sloužil v Wehrmacht během druhé světové války od roku 1943 do roku 1945. V letech 1946 až 1950 studoval matematiku a teoretická fyzika na Ludwig-Maximilians-Universität v Mnichov. Bauer přijal jeho doktor filozofie (Ph.D.) pod dohledem Fritz Bopp pro jeho práci Gruppentheoretische Untersuchungen zur Theorie der Spinwellengleichungen („Skupinové teoretické zkoumání teorie rovnic spinových vln“) v roce 1952. Dokončil habilitace teze Über quadratisch konvergente Iterationsverfahren zur Lösung von algebraischen Gleichungen und Eigenwertproblemen („O kvadraticky konvergentních metodách iterace pro řešení algebraických rovnic a problémů vlastních čísel“) v roce 1954 na Technická univerzita v Mnichově. Po výuce jako privatdozent na Ludwig-Maximilians-Universität od roku 1954 do roku 1958 se stal mimořádným profesorem aplikované matematiky na Univerzita v Mohuči. Od roku 1963 působil jako profesor matematiky a (od roku 1972) výpočetní techniky na Technické univerzitě v Mnichově. On odešel v roce 1989.[1]

Bauerova raná práce zahrnovala konstrukci výpočetní techniky (např. Počítač logického relé STANISLAUS z let 1951–1955[2]). V této souvislosti navrhl široce používaný jako první metoda zásobníku hodnocení výrazu.

Bauer byl členem výborů, které rozvíjely rozkazovací způsob počítač programovací jazyky ALGOL 58,[3] a jeho nástupce ALGOL 60,[4] důležitých předchůdců všech moderních imperativních programovacích jazyků. U ALGOL 58 byl Bauer u Němce Gesellschaft für Angewandte Mathematik und Mechanik (GAMM, Society of Applied Mathematics and Mechanics), který pracoval s Američany Sdružení pro výpočetní techniku (ACM).[3] U ALGOL 60 byl Bauer s Mezinárodní federace pro zpracování informací (IFIP) Pracovní skupina IFIP 2.1 o algoritmických jazycích a výpočtech,[4] který specifikováno, udržuje a podporuje jazyky ALGOL 60 a ALGOL 68.[5]

V roce 1968 vytvořil tento termín softwarové inženýrství který se od té doby hojně používá a stal se disciplínou v počítačové vědě.

Bauer byl vlivnou osobností při zakládání počítačová věda jako samostatný předmět na německých univerzitách.

Jeho vědecké příspěvky se šířily z numerická analýza (Bauer – Fikeova věta ) a základy interpretace a překladu programovacích jazyků, zejména k jeho pozdějším pracím o systematice vývoje programu programová transformace metody a systémy (CIP-S) a související širokospektrální jazyk systém CIP-L. Napsal také uznávanou knihu o kryptologie, Dešifrovaná tajemství, nyní ve čtvrtém vydání.

Byl to on doktorský poradce 39 studentů, včetně Rudolf Berghammer, Manfred Broy, David Gries, Manfred Paul, Gerhard Seegmüller, Josef Stoer, Peter Wynn, a Christoph Zenger.

Friedrich Bauer byl ženatý s Hildegardou Bauer-Voggovou. Byl otcem tří synů a dvou dcer.

Definice softwarového inženýrství

Bauer byl kolegou německého zástupce Vědeckého výboru NATO. V roce 1967 NATO diskutovalo o „softwarové krizi“ a Bauer navrhl termín „softwarové inženýrství“ jako způsob, jak si představit problém i řešení.[6]

V roce 1972 Bauer publikoval následující definici softwarového inženýrství:

„Zavedení a použití principů zdravého inženýrství k ekonomickému získání softwaru, který je spolehlivý a pracuje na skutečných strojích efektivně.“[7]

Ocenění

1944: Železný kříž 2. třída
1968: člen Bavorská akademie věd ve třídě matematiky a přírodních věd
1971: Bavorský řád za zásluhy
1978: Medaile Wilhelma Exnera (Rakousko).[8]
1982: Federální záslužný kříž 1. třída
1984: člen Německá akademie věd Leopoldina
1986: Bavorský Maximiliánův řád pro vědu a umění
1987: čestný člen Společnosti pro informatiku
1988: Zlatý prsten cti Německého muzea
1988: Cena IEEE Computer Pioneer Award
1997: Heinz-Maier-Leibnitzova medaile z Technická univerzita v Mnichově
1998: odpovídající člen Rakouská akademie věd
2002: čestný člen Deutsches Museum
2004: Stříbrná medaile za zásluhy Bavorské akademie věd
Jmenovec ceny Friedricha L. Bauera za informatiku na TU v Mnichově

V roce 2014 přejmenovala TU Mnichov na svou největší posluchárnu na katedře informatiky a informatiky po Friedrichu Bauerovi.

Čestné doktoráty
1974: čestný doktor University of Grenoble
1989: čestný doktor University of Passau
1998: Čestný doktorát z Bundeswehr University Mnichov (Neubiberg)

Publikace

  • Samelson, Klaus; Bauer, Friedrich Ludwig (únor 1960). "Sekvenční překlad vzorců". Komunikace ACM. 3 (2): 76–83. doi:10.1145/366959.366968., velmi vlivný referát o kompilátorech
  • Bauer, Friedrich Ludwig; Baumann, R .; Feliciano, M .; Samelson, K. (1964). Úvod do Algolu. Prentice Hall. ISBN  0-13-477828-6.
  • Bauer, Friedrich L. (1987). Mnichovský projekt CIP: Volume II: The Program Transformation System CIP-S (Lecture Notes in Computer Science). Springer. ISBN  978-3-5401-8779-0.
  • Bauer, Friedrich Ludwig; Wirsing, Martin (Březen 1991). Elementare Aussagenlogik (v němčině). Berlín - Heidelberg: Springer-Verlag. ISBN  3-540-52974-8.
  • Bauer, Friedrich L. (2006). Decrypted Secrets: Methods and Maxims of Cryptology, 4. vydání. New York: Springer. ISBN  978-3-5402-4502-5.

Reference

  1. ^ „Verzeichnis der Professorinnen und Professoren der Universität Mainz“. Gutenbergova biografie (v němčině). Johannes Gutenberg-Universität Mainz. Citováno 16. února 2017.
  2. ^ Hashigen, Ulf; Keil-Slawik, Reinhard; Norberg, Arthur L., eds. (2002). Historie výpočetní techniky: Problémy se softwarem. Berlin Heidelberg New York: Springer-Verlag. str. 15–16. ISBN  978-3-642-07653-4.
  3. ^ A b Perlis, A. J. (1981). "Diskuse o práci na počítači v padesátých letech". ACM národní konference. Nashville, Tennessee. Los Alamito, CA, 1995: (Transcript in J. A. N. Lee (ed.), Computer Pioneers, IEEE Computer Society Press. Pp. 545–556).CS1 maint: umístění (odkaz)
  4. ^ A b Jeuring, Johan; Meertens, Lambert; Guttmann, Walter (17. srpna 2016). „Profil pracovní skupiny IFIP 2.1“. Foswiki. Citováno 7. září 2020.
  5. ^ Swierstra, Doaitse; Gibbons, Jeremy; Meertens, Lambert (2. března 2011). „ScopeEtc: IFIP21: Foswiki“. Foswiki. Citováno 7. září 2020.
  6. ^ MacKenzie, Donald (2001). Mechanizace důkazu: výpočet, riziko a důvěra. Cambridge: MIT Press. str. 34–36. ISBN  0-262-13393-8.
  7. ^ Bauer, Friedrich L. (1972). "Softwarové inženýrství". Zpracování informací. str. 71.
  8. ^ Editor, ÖGV. (2015). Medaile Wilhelma Exnera. Rakouské obchodní sdružení. ÖGV. Rakousko.

externí odkazy