Вильфрид Брауэр - Wilfried Brauer

Вильфрид Брауэр и его жена Уте Брауэр. Фотография сделана Питер ван Эмде Боас 18 июля 1979 г. в Landerzeughaus в Граце во время 6-го ИКАЛП конференция.

Вильфрид Брауэр (* 8 августа 1937 г. в Берлине, Германия; † 25 февраля 2014 г. в Бонне, Германия[1]) был Немецкий специалист в области информатики и Заслуженный профессор в отставке в Технический университет Мюнхена.[2]

Жизнь и работа

Брауэр изучал математику, физику и философию в Свободном университете Берлина. Он получил степень доктора математики в 1966 г. Боннский университет для диссертации по теории проконечные группы.

С 1998 по 2001 год он был председателем Gesellschaft für Informatik, Немецкое общество информатики. С 1994 по 1999 год он был вице-президентом Международная федерация обработки информации.[3]

Он получил несколько наград и наград:

Публикации

Ниже представлена ​​подборка книг, написанных Брауэром.

  • Über das Turingsche Modell einer Rechenmaschine und den Begriff des Algorithmus, дипломная работа, Свободный университет Берлина, 1962 г.
  • Zur Theorie der pro-endlichen Gruppen. Докторская диссертация, Боннский университет, 1968 (научный руководитель: Вольфганг Круль )
  • с Клаусом Индермарком: алгоритмы, Rekursive Funktionen und Formale Sprachen (на немецком языке), 1968.
  • Automatentheorie (на немецком языке), Teubner 1984.
  • с Фридрих Л. Бауэр и Х. Швихтенберг: логика и алгебра спецификаций, 1993
Редакция

Рекомендации

  1. ^ "Ушел из жизни почетный член GI Вильфрид Брауэр (на немецком языке)". Gesellschaft für Informatik. 4 марта 2014 г.. Получено 6 марта 2014.
  2. ^ Кристиан Фрекса, Маттиас Янцен, Рюдигер Валк (редакторы): «Основы компьютерных наук: потенциал - теория - познание» - Вильфриду Брауэру по случаю его шестидесятилетия. Конспект лекций по информатике 1337 Springer 1997, ISBN  3-540-63746-X
  3. ^ "Информационный бюллетень ИФИП" (PDF). Март 1999 г.
  4. ^ а б "Ehrendoktorwürde für Prof. Wilfried Brauer (на немецком языке)". www.uni-protokolle.de.
  5. ^ Присуждение почетной докторской степени профессору Dr. rer.nat. Вильфрид Брауэр (на немецком языке)
  6. ^ "Информационный бюллетень ИФИП" (PDF). Сентябрь 2002 г.
  7. ^ FU-Berlin: Institut für Informatik: Вильфрид Брауэр
  8. ^ «EATCS называет стипендиатов 2014 года», Milestones: Computer Science Awards, Назначения, Коммуникации ACM, 58 (1): 24 января 2015 г., Дои:10.1145/2686734

внешняя ссылка