Манфред Брой - Википедия - Manfred Broy

Манфред Брой
Manfred Broy 2004 1.jpeg
Манфред Брой 2004 ж.
Туған (1949-08-10) 10 тамыз 1949 (71 жас)
АзаматтықГермания
БілімPh.D., 1980
Ғылыми мансап
ӨрістерЕсептеу техникасы
МекемелерПассау университеті
Мюнхен техникалық университеті
ДиссертацияПараллель жұмыс істейтін бағдарламаларды түрлендіру  (1980)
Докторантура кеңесшісіФридрих Л.Бауэр
Веб-сайтwww.professoren.tum.де/ kk/ broy-manfred

Манфред Брой (1949 жылы 10 тамызда дүниеге келген, Ландсберг-ам-Лех ) неміс информатик, және емурит Fakultät für Informatik профессоры Мюнхен техникалық университеті, Гарчирлеу, Германия.

Өмірбаян

Broy ие болды Философия докторы (Ph.D.) 1980 ж. Кафедрасында Фридрих Л.Бауэр параллель жұмыс істейтін бағдарламаларды түрлендіру тақырыбында (Параллель ablaufender бағдарламасын трансформациялау).

1983 жылы ол математика және информатика факультетін құрды Пассау университеті, ол 1986 жылға дейін декан болды. 1989 ж Мюнхен техникалық университеті (TUM),[1] 1992 жылы ол информатика факультетінің негізін қалаушы деканы болды, ол осы уақытқа дейін математика және информатика факультетінің құрамына кірді. Содан бері ол Мюнхен техникалық университетінде сабақ береді.

2004 жылы ол жерлес ретінде сайланды Gesellschaft für Informatik[2] және 2007 жылы ол жеңіске жетті Конрад Зусе медалі.[3] Ол сонымен бірге Халықаралық бағдарламалық жасақтама және информатика журналы. Брой директор болды Халықаралық жазғы мектеп Marktoberdorf.[4]

Ол 2015 жылы 31 наурызда зейнетке шықты.

Таңдалған кітаптар

  • Брой, Манфред; Джонссон, Бенгт; Катун, Джост-Питер; Ликер, Мартин; Претшнер, Александр (2005). Реактивті жүйелерді модельдік тестілеу: кеңейтілген дәрістер. Информатика пәнінен дәрістер.
  • Брой, Манфред; Денерт, Эрнст (2002). Бағдарламалық жасақтама пионерлері.
  • Брой, Манфред; Грунбауэр, Йоханнес; Хоар, Тони (2007). Бағдарламалық жасақтама жүйесінің сенімділігі және қауіпсіздігі. НАТО Ғылым сериясы арқылы қауіпсіздік: Ақпараттық-коммуникациялық қауіпсіздік (НАТО-ның қауіпсіздігі… D: Ақпараттық-коммуникациялық қауіпсіздік). 9.
  • Брой, Манфред; Крюгер, Ингольф; Мейзингер, Майкл (2006). Автокөлік бағдарламалық жасақтамасына байланысты мобильді желілердегі қызметтер: Автомобильдік бағдарламалық жасақтама бойынша алғашқы семинар, ASWSD 2004 ж. Информатика пәнінен дәрістер. Сан-Диего, Калифорния, Америка Құрама Штаттары.
  • Брой, Манфред; Штайнбрюген, Ральф (2000). Есептеу жүйесін жобалау. НАТО-ның ғылыми сериялары: Компьютерлер және жүйелер туралы ғылымдар (НАТО ASI сериясы. III серия, компьютерлер және жүйелер туралы ғылымдар) Германия) НАТО-ның есептеу жүйесін жобалау бойынша жетілдірілген зерттеу институты (1998). Марктобердорф, Германия.
  • Broy, Manfred (1989). Есептеу ғылымындағы конструктивті әдістер: Халықаралық жазғы мектеп. НАТО ASI. F сериясы, компьютер және жүйелік ғылымдар).
  • Broy, Manfred (1996). Дедуктивті бағдарламаны жобалау. NATO ASI сериясы: Компьютер және жүйелік ғылымдар.
  • Хоар, Тони; Брой, Манфред; Штайнбрюген, Ральф (2001). Бағдарламалық жасақтаманың инженерлік теориялары. НАТО ғылыми сериясы. III серия, Компьютерлік және жүйелік ғылымдар, 180) Германиядан) Бағдарламалық жасақтаманың инженерлік теориялары бойынша НАТО-ның жетілдірілген зерттеу институты (2000). Марктобердорф, Германия ).
  • Брой, Манфред; Груенбауэр, Йоханнес; Харел, Дэвид; Хоар, Тони (2005). Бағдарламалық қамтамасыз етудің қарқынды жүйелерінің инженерлік теориялары. Бағдарламалық қамтамасыз етудің қарқынды жүйелерінің инженерлік теориялары бойынша НАТО-ның алдыңғы қатарлы зерттеу институтының еңбектері,… II: математика, физика және химия - Kindle арқылы.
  • Брой, Манфред; Бьорнер, Таңғы ас; Поттосин, Игорь В. (1993). Бағдарламалаудың формальды әдістері және олардың қолданылуы: Халықаралық конференция материалдары. Информатика пәнінен дәрістер. Академгородок, Новосибирск, Ресей.

Әдебиеттер тізімі

  1. ^ «Резюме Проф. Др. Х.ғ.д. Манфред Ханс Бертольд Брой» (PDF). Вена технологиялық университеті (TU Wien) (неміс тілінде). 2012. мұрағатталған түпнұсқа (PDF) 11 қазан 2014 ж. Алынған 12 мамыр 2013.
  2. ^ GI-Fellow сілтемесі Мұрағатталды 3 наурыз 2016 ж Wayback Machine, алынған 9 наурыз 2012 ж.
  3. ^ Қыс, Корнелия (2007 ж. 16 тамыз), «Manfred Broy aus München erhält Konrad-Zuse-Medaille - Höchste Informatik-Auszeichnung wird in Bremen verliehen», Wissenschaft ақпараты (неміс тілінде)
  4. ^ Бағдарламалау әдіснамасының теориялық негіздері бойынша Марктобердорф жазғы мектебі (1982). Брой, Манфред (ред.) Бағдарламалау әдіснамасының теориялық негіздері: Халықаралық жазғы мектептің дәрістері, 1981 ж. НАТО Advanced Study Institutes сериясы. 91. Рейдель. Алынған 2 қыркүйек 2015.

Сыртқы сілтемелер