Wilfried Brauer - Wilfried Brauer

Wilfried Brauer ve eşi Ute Brauer. Fotoğrafı çeken Peter van Emde Boas 18 Temmuz 1979'da Graz'da Landerzeughaus'ta 6. ICALP konferans.

Wilfried Brauer (* 8 Ağustos 1937, Berlin, Almanya, † 25 Şubat 2014, Bonn, Almanya[1]) bir Almanca bilgisayar uzmanı ve fahri profesör -de Münih Teknik Üniversitesi.[2]

Hayat ve iş

Brauer, Berlin Hür Üniversitesi'nde Matematik, Fizik ve Felsefe okudu. 1966 Matematik alanında Doktora derecesi aldı. Bonn Üniversitesi teorisi üzerine bir tez için profinite grupları.

1998'den 2001'e kadar başkanlık yaptı Gesellschaft für Informatik, Alman bilgisayar bilimleri topluluğu. 1994'ten 1999'a kadar başkan yardımcısıydı. Uluslararası Bilgi İşlem Federasyonu.[3]

Birkaç ödül ve onur aldı:

Yayınlar

Aşağıda Brauer tarafından yazılan kitaplardan bir seçki var.

  • Über das Turingsche Modell einer Rechenmaschine und den Begriff des Algorithmus, Diploma Tezi, Freie Universität Berlin, 1962
  • Zur Theorie der pro-endlichen Gruppen. Doktora Tezi, Universität Bonn, 1968 (Danışman: Wolfgang Krull )
  • Klaus Indermark ile: Algorithmen, Rekursive Funktionen und Formale Sprachen (Almanca), 1968.
  • Automatentheorie (Almanca), Teubner 1984.
  • ile Friedrich L. Bauer ve H.Schwichtenberg: Mantık ve Spesifikasyonların Cebiri, 1993
Editörlük

Referanslar

  1. ^ "GI onur üyesi Wilfried Brauer (Almanca) vefat etti". Gesellschaft für Informatik. 4 Mart 2014. Alındı 6 Mart 2014.
  2. ^ Christian Freksa, Matthias Jantzen, Rüdiger Valk (Eds.): Foundations of Computer Science: Potential - Theory - Cognition, altmışıncı doğum günü vesilesiyle Wilfried Brauer'e. Bilgisayar Bilimi Ders Notları 1337 Springer 1997, ISBN  3-540-63746-X
  3. ^ "IFIP Bülteni" (PDF). Mart 1999.
  4. ^ a b "Ehrendoktorwürde für Prof. Wilfried Brauer (Almanca)". www.uni-protokolle.de.
  5. ^ Prof. Dr. rer.nat'a fahri doktora verilmesi. Wilfried Brauer (Almanca)
  6. ^ "IFIP Bülteni" (PDF). Eylül 2002.
  7. ^ FU-Berlin: Institut für Informatik: Wilfried Brauer
  8. ^ "EATCS, 2014 bursiyerlerini gösteriyor", Dönüm Noktaları: Bilgisayar Bilimleri Ödülleri, Randevular, ACM'nin iletişimi, 58 (1): 24 Ocak 2015, doi:10.1145/2686734

Dış bağlantılar