Friedrich L. Bauer

Friedrich Ludwig Bauer
Friedrich Ludwig Bauer
Doğum	Friedrich Ludwig Bauer; 10 Haziran 1924; Regensburg, Almanya
Ölüm	26 Mart 2015 (90 yaşında)
Eğitim	Ludwig-Maximilians-Universität
Tanınma nedeni	Yığın (veri tipi); Sequential Formula Translation; ALGOL; Yazılım mühendisliği; Bauer–Fike teoremi
Çocuk(lar)	5
Ödüller	Iron Cross 2nd Class, ; Bundesverdienstkreuz 1st Class,; IEEE Computer Pioneer Award (1988)
Kariyeri
Dalı	Bilgisayar bilimi; Uygulamalı matematik
Çalıştığı kurumlar	Mainz Üniversitesi; Münih Teknik Üniversitesi
Tezler	Group-theoretic investigations of the theory of spin wave equations (1952); On quadratically convergent iteration methods for solving algebraic equations and eigenvalue problems (1954);
Doktora; danışmanları	Fritz Bopp, Georg Aumann
Doktora öğrencileri	Manfred Broy, David Gries, Josef Stoer, Peter Wynn, Christoph Zenger

Friedrich Ludwig "Fritz" Bauer (10 Haziran 1924 – 26 Mart 2015), Alman bilgisayar bilimi öncüsü ve Münih Teknik Üniversitesi'nde profesördü.

Yaşamı

Bauer, 1942'de Abitur derecesini aldı ve 1943'ten 1945'e kadar II. Dünya Savaşı sırasında Wehrmacht'ta görev yaptı. 1946'dan 1950'ye kadar Münih'teki Ludwig-Maximilians-Universität'ta matematik ve teorik fizik okudu. Bauer, 1952 yılında Fritz Bopp'un danışmanlığında Gruppentheoretische Untersuchungen zur Theorie der Spinwellengleichungen ("Spin dalga denklemleri teorisinin grup-teorik incelemeleri") adlı teziyle Felsefe Doktoru (Ph.D.) unvanını aldı. Über quadratisch konvergente Iterationsverfahren zur Lösung von algebraischen Gleichungen und Eigenwertproblemen ("Cebirsel denklemlerin ve özdeğer problemlerinin çözümü için kuadratik olarak yakınsak iterasyon yöntemleri üzerine") adlı habilitasyon tezini 1954 yılında Münih Teknik Üniversitesi'nde tamamladı. 1954-1958 yılları arasında Münih Ludwig Maximilian Üniversitesi'nde privatdozent olarak ders verdikten sonra Mainz Üniversitesi'nde uygulamalı matematik alanında olağanüstü profesör oldu. 1963'ten beri Münih Teknik Üniversitesi'nde matematik ve (1972'den beri) bilgisayar bilimleri profesörü olarak çalıştı. 1989 yılında emekli oldu.^[1]

Çalışmaları

Friedrich L. Bauer, 29 Mayıs 1995 tarihinde Informatik Spektrum'un editörler toplantısında.

Bauer'in ilk çalışmaları hesaplama makinelerinin yapımını içeriyordu (örneğin 1951-1955 yılları arasında mantıksal röle bilgisayarı STANISLAUS^[2]). Bu bağlamda, yaygın olarak kullanılan yığın yöntemi ifade değerlendirme yöntemini öneren ilk kişi olmuştur.

Bauer, tüm modern zorunlu bilgisayar programlama dillerinin önemli öncülleri olan ALGOL 58,^[3] ve halefi ALGOL 60,^[4] zorunlu bilgisayar programlama dillerini geliştiren komitelerin bir üyesiydi. ALGOL 58 için Bauer, Amerikan Association for Computing Machinery (ACM) ile birlikte çalışan Alman Gesellschaft für Angewandte Mathematik und Mechanik (GAMM, Uygulamalı Matematik ve Mekanik Topluluğu) ile birlikte çalıştı.^[3] ALGOL 60 için Bauer, ALGOL 60 ve ALGOL 68 dillerini belirleyen, sürdüren ve destekleyen International Federation for Information Processing (IFIP) IFIP Working Group 2.1 on Algorithmic Languages and Calculi^[4] ile birlikte çalışmıştır.^[5]

Bauer, o zamana kadar genellikle matematiğin bir parçası olarak kabul edilen bilgisayar biliminin Alman üniversitelerinde bağımsız bir konu olarak kurulmasında etkili bir figürdü. 1967 yılında, bir Alman üniversitesinde bilgisayar bilimleri alanındaki ilk dersi Münih Teknik Üniversitesi'nde Bilgi İşleme (Information Processing) başlığıyla verdi. 1972 yılına gelindiğinde bilgisayar bilimleri TUM'da bağımsız bir akademik disiplin haline gelmişti. Bauer 1989 yılında kürsüsünden emekli olmasına rağmen, 1992 yılında Matematik Bölümü'nden ayrılarak bağımsız bir Enformatik Bölümü oluşturuldu.^[6]

1968 yılında, o zamandan beri yaygın olarak kullanılan ve bilgisayar bilimlerinde bir disiplin haline gelen yazılım mühendisliği terimini ortaya attı.

Bilimsel katkıları, sayısal analiz (Bauer-Fike teoremi) ve programlama dillerinin yorumlanması ve çevirisinin temellerinden, program geliştirme sistematiği üzerine daha sonraki çalışmalarına, özellikle program dönüştürme yöntemleri ve sistemleri (CIP-S) ve ilişkili geniş spektrumlu dil sistemi CIP-L'ye kadar yayılmıştır. Ayrıca kriptoloji üzerine saygın bir kitap olan ve şu anda dördüncü baskısında olan Decrypted secrets (Şifresi çözülmüş sırlar) kitabını yazmıştır.

Aralarında Rudolf Berghammer, Manfred Broy, David Gries, Manfred Paul, Gerhard Seegmüller, Josef Stoer, Peter Wynn ve Christoph Zenger'in de bulunduğu 39 öğrencinin doktora danışmanı olmuştur.

Friedrich Bauer Alman Bilişim Topluluğu'nun 19 kurucu üyesinden biriydi.^[7] 1978'deki kuruluşundan itibaren Informatik Spektrum'un editörlüğünü yaptı ve ölümüne kadar bu görevi sürdürdü.^[8]

Friedrich Bauer, Hildegard Bauer-Vogg ile evliydi. Üç erkek ve iki kız çocuk babasıydı.

Yazılım mühendisliğinin tanımı

Bauer, NATO Bilim Komitesindeki Alman Temsilcinin meslektaşıydı. NATO 1967 yılında "Yazılım Krizi"ni tartışıyordu ve Bauer hem sorunu hem de çözümü kavramanın bir yolu olarak "Yazılım Mühendisliği" terimini önermişti.^[9]

1972 yılında Bauer yazılım mühendisliğinin aşağıdaki tanımını yayınlamıştır: "Güvenilir ve gerçek makinelerde verimli bir şekilde çalışan yazılımları ekonomik olarak elde etmek için sağlam mühendislik ilkelerinin oluşturulması ve kullanılması."^[10]

Mirası

1992'den beri Münih Teknik Üniversitesi bilgisayar bilimleri alanında Friedrich L. Bauer Ödülü [de] vermektedir.

Münih Teknik Üniversitesi, 2014 yılında Enformatik Bölümü binasındaki en büyük amfiye onun adını vermiştir.

Ödüller

1944: Iron Cross 2nd Class
1968: Matematik ve fen bilimleri alanında Bavyera Bilimler Akademisi üyesi
1971: Bavarian Order of Merit
1978: Wilhelm Exner Madalyası (Avusturya).^[11]
1982: Federal Merit Cross 1st Class
1984: Alman Bilimler Akademisi Leopoldina üyesi
1986: Bavarian Maximilian Order for Science and Art
1987: Bilgisayar Bilimleri Derneği Onursal Üyesi
1988: Alman Müzesi Altın Onur Yüzüğü
1988: IEEE Computer Pioneer Award
1997: Münih Teknik Üniversitesi'nden Heinz-Maier-Leibnitz Madalyası
1998: Avusturya Bilimler Akademisi'nin ilgili üyesi
2002: Deutsches Museum Onursal Üyesi
2004: Bavyera Bilimler Akademisi Gümüş Liyakat Madalyası

Fahri doktoralar

1974: Grenoble Üniversitesi Fahri Doktoru
1989: Passau Üniversitesi Fahri Doktoru
1998: Münih Bundeswehr Üniversitesi (Neubiberg)'den fahri doktora

Yayınlar

Samelson, Klaus; Bauer, Friedrich Ludwig (February 1960). "Sequential Formula Translation". Communications of the ACM. 3 (2). ss. 76-83. doi:10.1145/366959.366968 . , derleyiciler üzerine çok etkili bir makale
Baumann, Richard; Feliciano, Manuel; Bauer, Friedrich Ludwig; Samelson, Klaus (1964). Introduction to ALGOL – A primer for the non-specialist, emphasizing the practical uses of the algorithmic language. Series in Automatic Computation. Englewood Cliffs, New Jersey, USA: Prentice-Hall, Inc. ISBN 0-13-477828-6. LCCN 64-10740. ark:/13960/t6qz35p37. Erişim tarihi: 23 Ekim 2022.
Bauer, Friedrich Ludwig (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 (Almanca). Berlin – Heidelberg, Germany: Springer-Verlag. ISBN 3-540-52974-8.
Bauer, Friedrich Ludwig (2006). Decrypted Secrets: Methods and Maxims of Cryptology, 4th edition. New York, USA: Springer. ISBN 978-3-5402-4502-5.

Kaynakça

^ "Verzeichnis der Professorinnen und Professoren der Universität Mainz". Gutenberg Biographics (Almanca). Johannes Gutenberg-Universität Mainz. 17 Şubat 2017 tarihinde kaynağından arşivlendi. Erişim tarihi: 16 Şubat 2017.
^ Hashigen, Ulf; Keil-Slawik, Reinhard; Norberg, Arthur Lawrence, (Ed.) (2002). History of Computing: Software Issues. Berlin Heidelberg New York: Springer-Verlag. ss. 15-16. ISBN 978-3-642-07653-4.
^ ^a ^b Perlis, Alan Jay (1981). "Talk on Computing in the Fifties". ACM National Conference. Nashville, Tennessee. Los Alamito, California, 1995: (Transcript in J. A. N. Lee (ed.), Computer Pioneers, IEEE Computer Society Press. ss. 545-556.
^ ^a ^b Jeuring, Johan; Meertens, Lambert; Guttmann, Walter (17 Ağustos 2016). "Profile of IFIP Working Group 2.1". Foswiki. 8 Mart 2021 tarihinde kaynağından arşivlendi. Erişim tarihi: 7 Eylül 2020.
^ Swierstra, S. Doaitse; Gibbons, Jeremy; Meertens, Lambert (2 Mart 2011). "ScopeEtc: IFIP21: Foswiki". Foswiki. 2 Eylül 2018 tarihinde kaynağından arşivlendi. Erişim tarihi: 7 Eylül 2020.
^ "History". TUM Department of Informatics. 13 Aralık 2020 tarihinde kaynağından arşivlendi. Erişim tarihi: 22 Aralık 2020.
^ Fritz Krückeberg [de]: Die Geschichte der GI, p. 14; 2nd edition, November 2001, Gesellschaft für Informatik. [1] 23 Şubat 2019 tarihinde Wayback Machine sitesinde arşivlendi., 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. ss. 34-36. ISBN 0-262-13393-8.
^ Bauer, Friedrich Ludwig (1972). "Software Engineering". Information Processing. s. 71.
^ Editor, ÖGV. (2015). Wilhelm Exner Medal. Austrian Trade Association. ÖGV. Austria.

Dış bağlantılar

Wikimedia Commons'ta Friedrich L. Bauer ile ilgili ortam dosyaları bulunmaktadır.

Oral history interview with Friedrich L. Bauer, Charles Babbage Institute, University of Minnesota. Bauer, ALGOL'ün geliştirilmesinin Avrupa ayağı da dahil olmak üzere eğitimini ve erken dönem araştırmalarını ve daha sonra sayısal analiz ve programlama dilleri üzerine yaptığı çalışmaları tartışır.
Photograph of Friedrich L. Bauer (Brian Randell tarafından sağlanmıştır)
Bauer about Rutishauser at a symposium at the ETH Zürich in 2002
Mathematics Genealogy Project'te Friedrich L. Bauer
Author profile in the database zbMATH

[GutenbergBiographics2016-1] "Verzeichnis der Professorinnen und Professoren der Universität Mainz". Gutenberg Biographics (Almanca). Johannes Gutenberg-Universität Mainz. 17 Şubat 2017 tarihinde kaynağından arşivlendi. Erişim tarihi: 16 Şubat 2017.

[Hashigen_2002-2] Hashigen, Ulf; Keil-Slawik, Reinhard; Norberg, Arthur Lawrence, (Ed.) (2002). History of Computing: Software Issues. Berlin Heidelberg New York: Springer-Verlag. ss. 15-16. ISBN 978-3-642-07653-4.

[GAMM-3] Perlis, Alan Jay (1981). "Talk on Computing in the Fifties". ACM National Conference. Nashville, Tennessee. Los Alamito, California, 1995: (Transcript in J. A. N. Lee (ed.), Computer Pioneers, IEEE Computer Society Press. ss. 545-556.

[IFIP-4] Jeuring, Johan; Meertens, Lambert; Guttmann, Walter (17 Ağustos 2016). "Profile of IFIP Working Group 2.1". Foswiki. 8 Mart 2021 tarihinde kaynağından arşivlendi. Erişim tarihi: 7 Eylül 2020.

[Swierstra_2011-5] Swierstra, S. Doaitse; Gibbons, Jeremy; Meertens, Lambert (2 Mart 2011). "ScopeEtc: IFIP21: Foswiki". Foswiki. 2 Eylül 2018 tarihinde kaynağından arşivlendi. Erişim tarihi: 7 Eylül 2020.

[TUM-6] "History". TUM Department of Informatics. 13 Aralık 2020 tarihinde kaynağından arşivlendi. Erişim tarihi: 22 Aralık 2020.

[Krückeberg_2001-7] Fritz Krückeberg [de]: Die Geschichte der GI, p. 14; 2nd edition, November 2001, Gesellschaft für Informatik. [1] 23 Şubat 2019 tarihinde Wayback Machine sitesinde arşivlendi., retrieved 9 February 2021

[IS_2015-8] Informatik Spektrum Volume 38, Issue 2, April 2015: Imprint Page A4

[MacKenzie_2001-9] MacKenzie, Donald (2001). Mechanizing Proof: Computing, Risk, and Trust. Cambridge: MIT Press. ss. 34-36. ISBN 0-262-13393-8.

[Bauer_1972-10] Bauer, Friedrich Ludwig (1972). "Software Engineering". Information Processing. s. 71.

[WEM_2015-11] Editor, ÖGV. (2015). Wilhelm Exner Medal. Austrian Trade Association. ÖGV. Austria.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]