Friedrich L. 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 |
|
| 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ı[değiştir | kaynağı değiştir]
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ı[değiştir | kaynağı değiştir]
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ı[değiştir | kaynağı değiştir]
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ı[değiştir | kaynağı değiştir]
1992'den beri Münih Teknik Üniversitesi bilgisayar bilimleri alanında Friedrich L. Bauer Ödülü 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[değiştir | kaynağı değiştir]
- 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[değiştir | kaynağı değiştir]
- 1974: Grenoble Üniversitesi Fahri Doktoru
- 1989: Passau Üniversitesi Fahri Doktoru
- 1998: Münih Bundeswehr Üniversitesi (Neubiberg)'den fahri doktora
Yayınlar[değiştir | kaynağı değiştir]
- 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[değiştir | kaynağı değiştir]
- ^ "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: 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[değiştir | kaynağı değiştir]
 |
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
- 1924 doğumlular
- 2015 yılında ölenler
- Alman bilgisayar bilimcileri
- 20. yüzyıl Alman matematikçileri
- 21. yüzyıl Alman matematikçileri
- Matematik tarihçileri
- Programlama dili tasarımcıları
- Yazılım mühendisliği araştırmacıları
- Münih Teknik Üniversitesi öğretim üyeleri
- Münih Ludwig Maximilian Üniversitesinde öğrenim görenler
- Almanya Federal Cumhuriyeti Liyakat Nişanı sahipleri, 1. sınıf
- Avusturya Bilimler Akademisi üyeleri
- II. Dünya Savaşı'nda Nazi Almanyası'nın askerleri